6756 search results - page 1160 / 1352 » Distributed Shared State |
182
click to vote
SC
2004
ACM
16 years 12 days ago
2004
ACM
There exist many application classes for which the users have significant flexibility in the quality of output they desire. At the same time, there are other constraints, such a...
197
Voted
SC
2004
ACM
16 years 12 days ago
2004
ACM
Virtual machines provide flexible, powerful execution environments for Grid computing, offering isolation and security mechanisms complementary to operating systems, customization...
185
Voted
WOSP
2004
ACM
16 years 12 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
176
click to vote
CONCUR
2004
Springer
16 years 11 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
186
click to vote
ECUMN
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Call admission control is a principal component for QoS delivery in IP networks. It determines the extent to which network resources are utilized. It determines also whet...