Sciweavers

1823 search results - page 313 / 365
» Agent Amplified Communication
Sort
View
CCGRID
2008
IEEE
15 years 1 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
15 years 1 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
15 years 1 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»
15 years 1 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
MRC
2003
182views Robotics» more  MRC 2003»
15 years 1 months ago
Virtual Synergy: A Human-Robot Interface for Urban Search and Rescue
This paper describes the Virtual Synergy interface, which combines a three dimensional graphical interface with physical robots to allow for collaboration among multiple human res...
Sheila Tejada, Andrew Cristina, Priscilla Goodwyne...