2468 search results - page 386 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
164
click to vote
EDOC
2007
IEEE
16 years 19 days ago
2007
IEEE
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
147
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
151
click to vote
IPPS
2007
IEEE
16 years 18 days ago
2007
IEEE
Power-aware processors operate in various power modes to reduce energy consumption with a corresponding decrease in peak processor throughput. Recent work has shown power-aware cl...
184
click to vote
ACSAC
2007
IEEE
16 years 19 days ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
163
click to vote
ICRA
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— Particle filters have been applied with great success to various state estimation problems in robotics. However, particle filters often require extensive parameter tw...