4044 search results - page 570 / 809 » The Evolution of a Distributed Operating System |
149
click to vote
ATAL
2005
Springer
16 years 4 days 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. ...
153
click to vote
NOSSDAV
2004
Springer
15 years 12 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...
169
click to vote
IEEEPACT
2003
IEEE
15 years 12 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...
212
click to vote
CONCUR
2003
Springer
15 years 11 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...
183
click to vote
SRDS
2000
IEEE
15 years 11 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...