1087 search results - page 49 / 218 » Achieving Distributed Control through Model Checking |
HPDC
2007
IEEE
14 years 2 months ago
2007
IEEE
In Internet-scale distributed systems, replicationbased scheme has been widely deployed to increase the availability and efficiency of services. Hence, consistency maintenance amo...
ICLP
2003
Springer
14 years 1 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
IPPS
1998
IEEE
14 years 2 days ago
1998
IEEE
The UPIO (User-controllable Parallel I/O) we proposed xtends the abstraction of a linear file model into an n-dimensional file model, making it possible to control the layout of d...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
—The opening of under-utilized spectrum creates the opportunity of substantial performance improvement through cognitive radio techniques. However, the real network performance m...
KESAMSTA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...