4887 search results - page 559 / 978 » System Level Design Using C |
155
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
160
click to vote
CI
2007
15 years 6 months ago
2007
In this paper we present a computational approach to developing effective training systems for virtual simulation environments. In particular, we focus on a Naval simulation syste...
185
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
143
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
This paper reports our experiences building PlanetLab over the last four years. It identifies the requirements that shaped PlanetLab, explains the design decisions that resulted fr...
153
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...