2468 search results - page 386 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
130
Voted
EDOC
2007
IEEE
15 years 10 months 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...
113
Voted
CAV
2009
Springer
16 years 4 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...
110
Voted
IPPS
2007
IEEE
15 years 10 months 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...
145
Voted
ACSAC
2007
IEEE
15 years 10 months 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...
129
Voted
ICRA
2007
IEEE
15 years 10 months 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...