2393 search results - page 458 / 479 » Cloud Service Engineering |
POPL
2010
ACM
14 years 4 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
ICDCS
2009
IEEE
14 years 4 months ago
2009
IEEE
Users and administrators of large distributed systems are frequently in need of monitoring and management of its various components, data items and resources. Though there exist s...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
The vulnerabilities which plague computers cause endless grief to users. Slammer compromised millions of hosts in minutes; a hit-list worm would take under a second. Recently prop...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
Antiquity is a wide-area distributed storage system designed to provide a simple storage service for applications like file systems and back-up. The design assumes that all serve...
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
For many years, online criminals have been able to conduct their illicit activities by masquerading behind disreputable Internet Service Providers (ISPs). For example, organizatio...