227 search results - page 34 / 46 » Quantitative verification: models techniques and tools |
120
click to vote
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
141
Voted
APN
2000
Springer
15 years 5 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
121
click to vote
IJAOSE
2010
14 years 11 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
94
Voted
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
137
click to vote
VALUETOOLS
2006
ACM
15 years 7 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...