Sciweavers

354 search results - page 63 / 71
» KQML As An Agent Communication Language
Sort
View
CORR
2010
Springer
205views Education» more  CORR 2010»
13 years 7 months ago
Behavioral Simulations in MapReduce
In many scientific domains, researchers are turning to large-scale behavioral simulations to better understand real-world phenomena. While there has been a great deal of work on s...
Guozhang Wang, Marcos Antonio Vaz Salles, Benjamin...
VL
1996
IEEE
130views Visual Languages» more  VL 1996»
13 years 11 months ago
Seeing Systolic Computations in a Video Game World
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...
Kenneth M. Kahn
POPL
1999
ACM
13 years 11 months ago
Types for Mobile Ambients
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
Luca Cardelli, Andrew D. Gordon
CORR
2007
Springer
85views Education» more  CORR 2007»
13 years 7 months ago
Multimodal Meaning Representation for Generic Dialogue Systems Architectures
An unified language for the communicative acts between agents is essential for the design of multi-agents architectures. Whatever the type of interaction (linguistic, multimodal, ...
Frédéric Landragin, Alexandre Denis,...
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 21 days ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb