221 search results - page 2 / 45 » A Formal Framework Supporting the Specification of the Inter... |
ENTCS
2008
13 years 5 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
PRIMA
2001
Springer
13 years 9 months ago
2001
Springer
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...
TELSYS
2002
13 years 5 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
DPPI
2007
ACM
13 years 9 months ago
2007
ACM
Abstract. For many years, the HCI community has harbored a vision of interacting with intelligent, embodied computer agents. However, the reality of this vision remains elusive. Fr...
AIIA
2011
Springer
12 years 5 months ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...