3052 search results - page 92 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
AOSD
2009
ACM
13 years 10 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...
DBPL
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Agent-based simulation is increasingly used to analyze the performance of complex systems. There are two main ways agentbased models are built -- from equation-based models and di...