4143 search results - page 243 / 829 » A theory of distributed aspects |
181
click to vote
CIKM
2008
Springer
15 years 8 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...
160
click to vote
ATAL
2007
Springer
16 years 27 days 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...
165
click to vote
ATAL
2005
Springer
16 years 8 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 ...
139
click to vote
ATAL
2005
Springer
16 years 5 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...
140
click to vote
COR
1999
15 years 6 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...