5149 search results - page 927 / 1030 » Timed Asynchronous Distributed Systems |
104
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
111
click to vote
HICSS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes an agent-based architecture designed to support the interoperation of distributed and disparate information processing tools and resources. This work is based...
123
click to vote
SCCC
1999
IEEE
15 years 6 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
112
click to vote
INFOCOM
1997
IEEE
15 years 6 months ago
1997
IEEE
Replication is a commonly proposed solution to problems of scale associated with distributed services. However, when a service is replicated, each client must be assigned a server...
138
Voted
MAAMAW
1994
Springer
15 years 6 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...