1382 search results - page 193 / 277 » Formal Analysis of Online Algorithms |
177
click to vote
IEEEAMS
2003
IEEE
15 years 11 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
172
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
145
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
129
click to vote
CRYPTO
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. A computer disk drive's motor speed varies slightly but irregularly, principally because of air turbulence inside the disk's enclosure. The unpredictability of ...
144
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Computer Supported Cooperative Work (CSCW) defines software tools and technology to support groups of people working together on a project, often at different sites [5]. In this wo...