3082 search results - page 26 / 617 » Deviation Analysis: A New Use of Model Checking |
160
click to vote
WIOPT
2005
IEEE
15 years 11 months ago
2005
IEEE
Using decentralized reputation systems is a promising approach to ensuring cooperation and fairness in Mobile Ad-Hoc Networks. However, they are vulnerable to liars and robustness...
173
Voted
ECBS
2007
IEEE
15 years 9 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
153
click to vote
ENTCS
2006
15 years 5 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
181
click to vote
HICSS
2009
IEEE
16 years 4 days ago
2009
IEEE
Can models of collaboration serve as a foundation for development of collaborative technologies in much the same way that engineers use models when developing complex systems? We ...
130
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...