Sciweavers

3293 search results - page 604 / 659
» Communicative Autonomous Agents
Sort
View
ECAI
2006
Springer
15 years 1 months ago
Towards ACL Semantics Based on Commitments and Penalties
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
Leila Amgoud, Florence Dupin de Saint-Cyr
CCGRID
2008
IEEE
14 years 11 months ago
Formal Verification of a Grid Resource Allocation Protocol
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
Mathias Dalheimer, Franz-Josef Pfreundt, Peter Mer...
FORTE
2004
14 years 11 months ago
A Construction Kit for Modeling the Security of M-commerce Applications
Abstract. In this article we present a method to avoid security problems in modern m-commerce applications. The security problems that we are addressing are breaches of security du...
Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
IJCAI
2001
14 years 11 months ago
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
Patrick Doherty, Witold Lukaszewicz, Andrzej Szala...
TELECARE
2004
162views Healthcare» more  TELECARE 2004»
14 years 11 months ago
TeleCARE: Collaborative virtual elderly support communities
The growing percentage of elderly population imposes an urgent need to develop new approaches to care provision. Integration of a number of technologies such as multi-agent systems...
Luis M. Camarinha-Matos, Hamideh Afsarmanesh