Sciweavers

28821 search results - page 402 / 5765
» Distributed and parallel systems
Sort
View
157
Voted
PODC
2010
ACM
15 years 6 months ago
Brief announcement: efficient graph algorithms without synchronization
We give a graph decomposition technique that creates entirely independent subproblems for graph problems such as coloring and dominating sets that can be solved without synchroniz...
Johannes Schneider, Roger Wattenhofer
159
Voted
ICPPW
1999
IEEE
15 years 9 months ago
Caching and Multicasting in DBS Systems
The use of Caching and Multicasting has been studied extensively in the context of terrestrial networks. However, the use of these technologies in a Direct Broadcast Satellite(DBS...
Mingyan Liu, Manish Karir, John S. Baras
IPPS
2006
IEEE
15 years 11 months ago
Plan-based replication for fault-tolerant multi-agent systems
The growing importance of multi-agent applications and the need for a higher quality of service in these systems justify the increasing interest in fault-tolerant multi-agent syst...
Alessandro de Luna Almeida, Samir Aknine, Jean-Pie...
COORDINATION
2008
Springer
15 years 6 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
133
Voted
CONCUR
2000
Springer
15 years 9 months ago
Weak Bisimulation for Probabilistic Systems
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
Anna Philippou, Insup Lee, Oleg Sokolsky