1268 search results - page 208 / 254 » Verifying distributed systems: the operational approach |
SOQUA
2007
13 years 11 months ago
2007
The impossibility of statically determining the behavior of complex systems that interact at runtime with heterogeneous devices and remote entities, may lead to unexpected system ...
CLUSTER
2000
IEEE
14 years 2 months ago
2000
IEEE
As a novel approach to software maintenance in large clusters of PCs requiring multiple OS installations we implemented partition cloning and partition repositories as well as a s...
ICDCSW
2005
IEEE
14 years 3 months ago
2005
IEEE
Error resilient encoding in video communication is becoming increasingly important due to data transmission over unreliable channels. In this paper, we propose a new power-aware e...
USS
2008
14 years 7 days ago
2008
Large-scale bandwidth-based distributed denial-of-service (DDoS) attacks can quickly knock out substantial parts of a network before reactive defenses can respond. Even traffic flo...
EUROSYS
2010
ACM
14 years 3 months ago
2010
ACM
Targeting the operating system (OS) kernels, kernel rootkits pose a formidable threat to computer systems and their users. Recent efforts have made significant progress in blocki...