162 search results - page 19 / 33 » A Rule System for Network-Centric Operation in Massively Dis... |
CONCUR
2003
Springer
14 years 23 days ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
Cloud enabled systems have become a crucial component to efficiently process and analyze massive amounts of data. One of the key data processing and analysis operations is the Sim...
MOBIQUITOUS
2005
IEEE
14 years 1 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...
NOSSDAV
2009
Springer
14 years 2 months ago
2009
Springer
This article proposes a new distributed architecture for update message exchange in massively multi-user virtual environments (MMVE). MMVE applications require delivery of updates...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...