622 search results - page 93 / 125 » The Agent Modeling Language (AMOLA) |
AIMSA
2008
Springer
14 years 2 months ago
2008
Springer
Abstract This paper attempts to define an emotional model for virtual agents that behave autonomously in social worlds. We adopt shallow modeling based on the decomposition of the...
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
ICMI
2009
Springer
14 years 2 months ago
2009
Springer
: We report on a new kind of culturally-authentic embodied conversational agent more in line with the ways that culture and ethnicity function in the real world. On the basis of th...
VLDB
2002
ACM
13 years 7 months ago
2002
ACM
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
ISSTA
2009
ACM
14 years 11 days ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...