Sciweavers

789 search results - page 79 / 158
» Pushing using Compliance
Sort
View
HICSS
2006
IEEE
129views Biometrics» more  HICSS 2006»
15 years 7 months ago
The Effect of Group Support Systems on the Emergence of Unique Information in a Risk Management Process: A Field Study
The management of operational risks, i.e., risks of loss resulting from inadequate or failed processes, people and systems or from external events, is crucial for the stability of...
Anne-Françoise Rutkowski, Bartel Van de Wal...
ICRA
2005
IEEE
140views Robotics» more  ICRA 2005»
15 years 7 months ago
Adaptive Virtual Fixtures for Machine-Assisted Teleoperation Tasks
— It has been demonstrated in a number of robotic areas how the use of virtual fixtures improves task performance both in terms of execution time and overall precision, [1]. How...
Daniel Aarno, Staffan Ekvall, Danica Kragic
ICRA
2002
IEEE
167views Robotics» more  ICRA 2002»
15 years 6 months ago
Coordinated Teams of Reactive Mobile Platforms
This paper presents techniques for exploiting redundancy in teams of mobile robots. In particular, we address tasks involving the kinematic coordination of several communicating r...
John Sweeney, T. J. Brunette, Yunlei Yang, Roderic...
CCS
2008
ACM
15 years 3 months ago
Flexible security configuration for virtual machines
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
Sandra Rueda, Yogesh Sreenivasan, Trent Jaeger
IEAAIE
2011
Springer
14 years 5 months ago
Model Checking Commitment Protocols
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...