481 search results - page 64 / 97 » Model Checking Abstract State Machines and Beyond |
170
click to vote
WISES
2003
15 years 7 months ago
2003
Abstract — Since sensor/actuator networks are to be used in error-prone environments, it is required that media access protocols for such networks are tolerant to failures. Field...
173
click to vote
EPEW
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of c...
152
click to vote
IEICET
2006
15 years 6 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
165
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
148
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...