8555 search results - page 1382 / 1711 » Property Based Coordination |
193
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
176
click to vote
BERTINORO
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Peer-to-peer networks have often been touted as the ultimate solution to scalability. Although cooperative techniques have been initially used almost exclusively for cont...
190
click to vote
BTW
2005
Springer
16 years 11 days ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
193
Voted
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
The provision of context-aware services in terms of the anytime/anywhere/anymedia paradigm requires the consideration of certain context properties in terms of time, location, devi...
198
click to vote
CCS
2005
ACM
16 years 11 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...