Sciweavers

6722 search results - page 560 / 1345
» Reuse-Conducive Development Environments
Sort
View
AAMAS
1999
Springer
15 years 6 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh
198
Voted
IJMI
2002
142views more  IJMI 2002»
15 years 6 months ago
Quality assured trusted third parties for deploying secure internet-based healthcare applications
In this paper we present a complete reference framework for the provision of quality assured Trusted Third Party (TTP) services within a medical environment. The main objective is...
Dimitrios Lekkas, Stefanos Gritzalis, Sokratis K. ...
AROBOTS
1999
118views more  AROBOTS 1999»
15 years 6 months ago
GripSee: A Gesture-Controlled Robot for Object Perception and Manipulation
We have designed a research platform for a perceptually guided robot, which also serves as a demonstrator for a coming generation of service robots. In order to operate semi-autono...
Mark Becker, Efthimia Kefalea, Eric Maël, Chr...
CG
1999
Springer
15 years 6 months ago
Virtual reality as a tool for verification of assembly and maintenance processes
Business process re-engineering is becoming a main focus in today's efforts to overcome problems and deficits in the automotive and aerospace industries (e.g., integration in...
Antonino Gomes de Sá, Gabriel Zachmann
CN
1999
107views more  CN 1999»
15 years 6 months ago
Programmable mobile networks
We present the design, implementation and evaluation of an open programmable mobile network based on distributed object technology called mobiware that dynamically exploits the in...
Andrew T. Campbell, Michael E. Kounavis, Raymond R...