Search Sciweavers | Sciweavers

65 search results - page 3 / 13

» logcom 2006

Voted

LOGCOM
2010

77views more LOGCOM 2010»

Rule Systems for Run-time Monitoring: from Eagle to RuleR

14 years 7 months ago

Download www.havelund.com

Howard Barringer, David E. Rydeheard, Klaus Havelu...

claim paper

Read More »

Voted

LOGCOM
2010

64views more LOGCOM 2010»

Presentation of Set Functors: A Coalgebraic Perspective

14 years 7 months ago

Download www.iti.cs.tu-bs.de

Jirí Adámek, H. Peter Gumm, Vera Trn...

claim paper

Read More »

click to vote

LOGCOM
2006

64views more LOGCOM 2006»

A Logic of Probability with Decidable Model Checking

14 years 9 months ago

Download www.cs.tau.ac.il

Danièle Beauquier, Alexander Moshe Rabinovi...

claim paper

Read More »

click to vote

LOGCOM
2000

69views more LOGCOM 2000»

Measuring similarity in belief revision

14 years 9 months ago

Download pavlos.bma.upatras.gr

Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak

claim paper

Read More »

click to vote

LOGCOM
2002

52views more LOGCOM 2002»

Verifying Concurrent Systems with Symbolic Execution

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers