Sciweavers

981 search results - page 90 / 197
» Semantics for an Agent Communication Language
Sort
View
IFIP
2004
Springer
15 years 3 months ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
CJ
2010
105views more  CJ 2010»
14 years 7 months ago
Efficient Semantic Information Exchange for Ambient Intelligence
This paper studies semantic efficiency measures for ambient intelligence. We follow an agent-based approach and investigate how large quantities of information can be efficiently ...
Jurriaan van Diggelen, Robbert-Jan Beun, Rogier M....
HIPS
1998
IEEE
15 years 2 months ago
Constructive and Adaptable Distributed Shared Memory
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...
Jordi Bataller, José M. Bernabéu-Aub...
IAT
2003
IEEE
15 years 3 months ago
On Need-driven Proactive Information Exchanges in Agent Teams
Members of high-performing human teams can often anticipate information needs of teammates and offer relevant information to them proactively. Such capabilities are highly desirab...
John Yen, Xiaocong Fan, Richard A. Volz
FSTTCS
2006
Springer
15 years 1 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird