2043 search results - page 288 / 409 » Reasoning About Security Models |
94
Voted
PRIMA
2004
Springer
15 years 6 months ago
2004
Springer
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
105
Voted
AGENTCL
2003
Springer
15 years 6 months ago
2003
Springer
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches have considered the semantics of commitments and how to check compliance with th...
91
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
100
click to vote
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
107
click to vote
LORI
2009
Springer
15 years 5 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...