9785 search results - page 106 / 1957 » Open Agent Systems |
124
Voted
LOGCOM
2006
15 years 3 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 ...
138
Voted
AAI
2004
15 years 3 months ago
2004
In open environments in which autonomous agents can break contracts, computational models of trust have an important role to play in determining who to interact with and how inter...
140
click to vote
MIG
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. There are very few software frameworks for steering behaviors that are publicly available for developing, evaluating, and sharing steering algorithms. Furthermore, there ...
135
click to vote
ICIA
2007
15 years 6 months ago
2007
There is a growing interest in intelligent assistants for a variety of applications from organizing tasks for knowledge workers to helping people with dementia. In our earlier wor...
113
Voted
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...