Sciweavers

118 search results - page 3 / 24
» From Theory to Practice in Multiagent System Design: The Cas...
Sort
View
GLOBAL
2003
Springer
13 years 10 months ago
The Klaim Project: Theory and Practice
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...
SIGMOD
2008
ACM
143views Database» more  SIGMOD 2008»
14 years 5 months ago
Middleware-based database replication: the gaps between theory and practice
The need for high availability and performance in data management systems has been fueling a long running interest in database replication from both academia and industry. However...
Emmanuel Cecchet, George Candea, Anastasia Ailamak...
CIE
2007
Springer
13 years 11 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
FLAIRS
2006
13 years 7 months ago
Using Activity Theory to Model Context Awareness: A Qualitative Case Study
In this paper, we describe an approach to modelling contextaware systems starting on the knowledge level. We make use of ideas from Activity Theory to structure the general contex...
Jörg Cassens, Anders Kofod-Petersen
ENC
2004
IEEE
13 years 9 months ago
Distributed Learning in Intentional BDI Multi-Agent Systems
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
Alejandro Guerra-Hernández, Amal El Fallah-...