20655 search results - page 3777 / 4131 » Exploring Software Systems |
224
click to vote
PODC
1999
ACM
15 years 11 months ago
1999
ACM
In this paper, we describe an e cient software-only Distributed Shared Memory (DSM) consistency protocol for an unconventional but important application domain - object transactio...
181
Voted
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
Electronic commerce is emerging as a major Websupported application. In this paper we argue that database technology can, and should, provide the backbone for a wide range of such...
182
click to vote
SIGMETRICS
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we describe our experiments on digital video applications, concentrating on the static and dynamic tradeo s involved in video playback. Our results were extracted fr...
218
click to vote
ZUM
1997
Springer
15 years 11 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
207
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Norm-governed virtual organizations define, govern and facilitate coordinated resource sharing and problem solving in societies of agents. With an explicit account of norms, openn...