4044 search results - page 393 / 809 » The Evolution of a Distributed Operating System |
147
click to vote
PDPTA
2004
15 years 6 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
145
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
145
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a distributed middleware architecture based on a service-oriented approach, to manage high volume sensor events. Event management takes a multi-step operation f...
139
click to vote
SPAA
2006
ACM
15 years 11 months ago
2006
ACM
Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important parallel algorithms to implement efficient parallel programs manipulating trees. Desp...
120
Voted
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...