2812 search results - page 483 / 563 » Secrecy in Multiagent Systems |
113
click to vote
ENTCS
2006
15 years 1 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
110
click to vote
JNW
2008
15 years 1 months ago
2008
Service personalization is an important goal for any smart environment. Comfort systems may be adjusted in an automatic way when a given user is present, and multimedia devices may...
114
click to vote
JUCS
2006
15 years 1 months ago
2006
: To many people, home is a sanctuary. For those people who need special medical care, they may need to be pulled out of their home to meet their medical needs. As the population a...
106
click to vote
LOGCOM
2006
15 years 1 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
112
click to vote
TROB
2008
15 years 1 months ago
2008
Distributed motion planning of multiple agents raises fundamental and novel problems in control theory and robotics. In particular, in applications such as coverage by mobile senso...