1633 search results - page 313 / 327 » On the Verification of Temporal Properties |
153
click to vote
EMSOFT
2009
Springer
16 years 19 days ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
157
click to vote
QEST
2007
IEEE
16 years 10 days 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
INFOCOM
2006
IEEE
16 years 2 days ago
2006
IEEE
— A key function for network traffic monitoring and analysis is the ability to perform aggregate queries over multiple data streams. Change detection is an important primitive w...
166
click to vote
LCN
2006
IEEE
16 years 2 days ago
2006
IEEE
— Recently, researchers have discovered that many of social, natural and biological networks are characterized by scale-free power-law connectivity distribution and a few densely...
167
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. This paper investi...