Sciweavers

2398 search results - page 386 / 480
» On modelling agent systems with Erlang
Sort
View
AAMAS
1999
Springer
15 years 6 months ago
Fully Embodied Conversational Avatars: Making Communicative Behaviors Autonomous
: Although avatars may resemble communicative interface agents, they have for the most part not profited from recent research into autonomous embodied conversational systems. In pa...
Justine Cassell, Hannes Högni Vilhjálm...
ATAL
2008
Springer
15 years 9 months ago
Approximating power indices
Many multiagent domains where cooperation among agents is crucial to achieving a common goal can be modeled as coalitional games. However, in many of these domains, agents are une...
Yoram Bachrach, Evangelos Markakis, Ariel D. Proca...
FOSSACS
2010
Springer
16 years 1 months ago
The Complexity of Synchronous Notions of Information Flow Security
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
Franck Cassez, Ron van der Meyden, Chenyi Zhang
TARK
1998
Springer
15 years 11 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
ISN
1995
Springer
15 years 10 months ago
Managing the TMN
Metamanagement provides a means to manage the management processes, systems and software comprising a TMN system. In this paper we present the basic requirements of metamanagement,...
Stelios Sartzetakis, Costas Stathopoulos, Vana Kal...