156 search results - page 30 / 32 » Temporal Logics for Representing Agent Communication Protoco... |
KI
2008
Springer
13 years 6 months ago
2008
Springer
Ambient Intelligent (AmI) environments are supposed to act proactively anticipating the user's needs and preferences, therefore the capability of an AmI system to learn those ...
CN
1998
13 years 6 months ago
1998
In traditional commerce, brokers act as middlemen between customers and providers, aggregating, repackaging and adding value to products, services or information. In the broadest ...
ATAL
2009
Springer
14 years 26 days ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
PPDP
2005
Springer
13 years 11 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
ATAL
2009
Springer
14 years 26 days ago
2009
Springer
Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place...