1052 search results - page 103 / 211 » Distributed Logic Programming using Mobile Agents |
119
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
108
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
105
click to vote
SEKE
2001
Springer
15 years 5 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
125
click to vote
ICTAI
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
SAC
2000
ACM
15 years 5 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...