Sciweavers

676 search results - page 70 / 136
» Ubiquitous command and control
Sort
View
ICRA
2008
IEEE
185views Robotics» more  ICRA 2008»
15 years 11 months ago
Humanoid teleoperation for whole body manipulation
— We present results of successful telemanipulation of large, heavy objects by a humanoid robot. Using a single joystick the operator controls walking and whole body manipulation...
Mike Stilman, Koichi Nishiwaki, Satoshi Kagami
122
Voted
COMPSAC
2006
IEEE
15 years 10 months ago
A Theory of Software-Mediated Enterprise Governance
Cybernetics, among its more general definitions, is about effective governance of dynamic probabilistic systems. First order cybernetics is concerned with [software] processes gov...
Jay S. Bayne
HICSS
2006
IEEE
165views Biometrics» more  HICSS 2006»
15 years 10 months ago
Efficient Algorithms for Batch Re-Keying Operations in Secure Multicast
Secure multicast has a variety of applications in ecommerce, e-banking, command and control, video-ondemand, and other internet-based services. In this paper, we present algorithm...
Mohammad Hossain Heydari, Linda Morales, Ivan Hal ...
LPAR
2005
Springer
15 years 10 months ago
The Theorema Environment for Interactive Proof Development
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
Florina Piroi, Temur Kutsia
SIGCSE
2004
ACM
112views Education» more  SIGCSE 2004»
15 years 10 months ago
Design patterns for marine biology simulation
We specify and implement a GUI application that simulates marine biological systems by making extensive use of objectoriented design patterns. The key design patterns are model-vi...
Dung Zung Nguyen, Mathias Ricken, Stephen B. Wong