662 search results - page 97 / 133 » Model Checking Procedures for Infinite State Systems |
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
151
click to vote
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— In this contribution, we propose an efficient collaborative strategy for online change detection, in a distributed sensor network. The collaborative strategy ensures t...
AAAI
2007
15 years 2 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
104
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Speech recognition applications are known to require a significant amount of resources (memory, computing power). However, embedded speech recognition systems, such as in mobile p...
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...