Sciweavers

3914 search results - page 31 / 783

» Automating SLA modeling

21

LPAR
2007
Springer

117views Automated Reasoning» more LPAR 2007»

Algorithms for Propositional Model Counting

14 years 1 months ago

Algorithms for Propositional Model Counting

Download www.dur.ac.uk

Marko Samer, Stefan Szeider

claim paper

Read More »

17

TARK
2007
Springer

105views Automated Reasoning» more TARK 2007»

A canonical model for interactive unawareness

14 years 1 months ago

A canonical model for interactive unawareness

Download www.bgse.uni-bonn.de

Aviad Heifetz, Martin Meier, Burkhard C. Schipper

claim paper

Read More »

22

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

14 years 1 months ago

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

17

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

14 years 1 months ago

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

18

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

14 years 1 months ago

Bounded Model Checking of Pointer Programs

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

« Prev « First page 31 / 783 Last » Next »