1237 search results - page 223 / 248 » Foundations of Modelling and Simulation of Complex Systems |
131
click to vote
QEST
2007
IEEE
15 years 10 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 ...
135
Voted
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
108
click to vote
DFT
2006
IEEE
15 years 9 months ago
2006
IEEE
Continued increase in complexity of digital image sensors means that defects are more likely to develop in the field, but little concrete information is available on in-field defe...
113
click to vote
WACV
2005
IEEE
15 years 9 months ago
2005
IEEE
While a large number of vision applications rely on the mapping between 3D scenes and their corresponding 2D camera images, the question that occurs to most researchers is what, i...
134
click to vote
FORTE
2000
15 years 5 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...