Search Sciweavers | Sciweavers

457 search results - page 1 / 92

» Distributed verification with LoLA

click to vote

EMISA
2002
Springer

79views Information Technology» more EMISA 2002»

Distributed verification with LoLA

13 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

Karsten Schmidt 0004

claim paper

Read More »

click to vote

CORR
2010
Springer

71views Education» more CORR 2010»

Distributed Verification and Hardness of Distributed Approximation

13 years 2 months ago

Download www.liafa.jussieu.fr

Atish Das Sarma, Stephan Holzer, Liah Kor, Amos Ko...

claim paper

Read More »

click to vote

FLAIRS
2000

103views Artificial Intelligence» more FLAIRS 2000»

Distributed Multi-Agent MSBN: Implementing Verification

13 years 6 months ago

Download www.aaai.org

Multiply Sectioned Bayesian Networks (MSBN)provide a coherence framework for multi-agent distributed interpretation tasks. Duringthe construction or dynamicformation of an MSBN,au...

Hongyu Geng, Yang Xiang

claim paper

Read More »

click to vote

FUIN
2010

172views more FUIN 2010»

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

13 years 2 months ago

Download home.hib.no

Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...

Michal Knapik, Wojciech Penczek, Maciej Szreter, A...

claim paper

Read More »

click to vote

IPPS
2000
IEEE

91views Distributed And Parallel Com...» more IPPS 2000»

Verification Methods for Weaker Shared Memory Consistency Models

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers