570 search results - page 96 / 114 » concurrency 2006 |
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
89
Voted
DILS
2006
Springer
15 years 1 months ago
2006
Springer
Steps in scientific workflows often generate collections of results, causing the data flowing through workflows to become increasingly nested. Because conventional workflow compone...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
A new search algorithm for solving distributed constraint optimization problems (DisCOPs) is presented. Agents assign variables sequentially and propagate their assignments asynchr...
EDBT
2006
ACM
15 years 1 months ago
2006
ACM
Recently, progress indicators have been proposed for SQL queries in RDBMSs. All previously proposed progress indicators consider each query in isolation, ignoring the impact simult...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...