4044 search results - page 570 / 809 » The Evolution of a Distributed Operating System |
111
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
110
Voted
NOSSDAV
2004
Springer
15 years 9 months ago
2004
Springer
Overlays have been proposed as a means to improve application performance in many areas, including multimedia streaming and content distribution. Some overlays use parallel transm...
128
Voted
IEEEPACT
2003
IEEE
15 years 8 months ago
2003
IEEE
Shared memory multiprocessor systems typically provide a set of hardware primitives in order to support synchronization. Generally, they provide single-word read-modify-write hard...
167
Voted
CONCUR
2003
Springer
15 years 8 months 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...
125
Voted
SRDS
2000
IEEE
15 years 8 months ago
2000
IEEE
Fault-tolerance is fundamental to the further development of mobile agent applications. In the context of mobile agents, fault-tolerance prevents a partial or complete loss of the...