Sciweavers

676 search results - page 70 / 136
» Ubiquitous command and control
Sort
View
ICRA
2008
IEEE
185views Robotics» more  ICRA 2008»
14 years 4 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
COMPSAC
2006
IEEE
14 years 4 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»
14 years 4 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
14 years 3 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»
14 years 3 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