1615 search results - page 212 / 323 » Distributed Forward Checking |
129
click to vote
MOMM
2009
ACM
15 years 7 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
120
Voted
SSS
2009
Springer
15 years 7 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
117
click to vote
PPDP
2001
Springer
15 years 7 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
109
click to vote
SRDS
1997
IEEE
15 years 6 months ago
1997
IEEE
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...
145
click to vote
DAC
1996
ACM
15 years 6 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...