23557 search results - page 4106 / 4712 » Distributed Computing - Introduction |
155
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
Coalition formation is an important form of interaction in multiagent systems. It enables the agents to satisfy tasks that they would otherwise be unable to perform, or would perf...
164
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
Data outsourcing is becoming today a successful solution that allows users and organizations to exploit external servers for the distribution of resources. Some of the most challe...
194
Voted
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
171
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
164
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...