Sciweavers

3914 search results - page 31 / 783

» Automating SLA modeling

141

LPAR
2007
Springer

117views Automated Reasoning» more LPAR 2007»

Algorithms for Propositional Model Counting

16 years 2 days ago

Algorithms for Propositional Model Counting

Download www.dur.ac.uk

Marko Samer, Stefan Szeider

claim paper

Read More »

118

Voted

TARK
2007
Springer

105views Automated Reasoning» more TARK 2007»

A canonical model for interactive unawareness

16 years 1 days ago

A canonical model for interactive unawareness

Download www.bgse.uni-bonn.de

Aviad Heifetz, Martin Meier, Burkhard C. Schipper

claim paper

Read More »

139

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

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

15 years 11 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 »

109

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

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

15 years 11 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 »

108

Voted

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 11 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 »