1268 search results - page 182 / 254 » Verifying distributed systems: the operational approach |
SACMAT
2010
ACM
14 years 2 months ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...
CLOUD
2010
ACM
14 years 3 months ago
2010
ACM
This paper investigates what it entails to provide I/O service diļ¬erentiation and performance isolation for virtual machines on individual multicore nodes in cloud platforms. Sh...
MOBIQUITOUS
2005
IEEE
14 years 3 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Many large-scale production applications often have very long executions times and require periodic data checkpoints in order to save the state of the computation for program rest...
OTM
2007
Springer
14 years 4 months ago
2007
Springer
Optimistic distributed systems often rely on version vectors or their variants in order to track updates on replicated objects. Some of these mechanisms rely on some form of global...