4143 search results - page 243 / 829 » A theory of distributed aspects |
201
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
Structured P2P overlays supporting standard database functionalities are a popular choice for building large-scale distributed data management systems. In such systems, estimating...
181
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
184
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
The choice of the offer to propose at a given step in a negotiation dialogue is a strategic matter and depends broadly on the profile of the agent and its mental states. The aim ...
161
click to vote
ATAL
2005
Springer
16 years 26 days ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
153
click to vote
COR
1999
15 years 7 months ago
1999
We present a selective survey of the main results obtained in spatial economic theory. Our focus is on "rm location. We start with the simplest location problem and proceed t...