6808 search results - page 610 / 1362 » Distributed Concurrency Control |
183
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
195
click to vote
P2P
2006
IEEE
16 years 1 months ago
2006
IEEE
Peer-to-peer systems (p2p) are highly dynamic in nature. They may consist of millions of peers joining only for a limited period of time, resulting in hundreds of join and leave e...
146
click to vote
CCGRID
2005
IEEE
16 years 25 days ago
2005
IEEE
We present an architectural framework for specifying and processing co-reservations in Grid environments. Compared to other approaches, our co-reservation framework is more genera...
171
click to vote
ICTAI
2005
IEEE
16 years 24 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
155
click to vote
ATAL
2005
Springer
16 years 23 days ago
2005
Springer
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...