Sciweavers

856 search results - page 93 / 172
» Design Guidance through the Controlled Application of Constr...
Sort
View
STORAGESS
2005
ACM
14 years 2 months ago
Key management for multi-user encrypted databases
Database outsourcing is becoming increasingly popular introducing a new paradigm, called database-as-a-service (DAS), where an organization’s database is stored at an external s...
Ernesto Damiani, Sabrina De Capitani di Vimercati,...
ICRA
2006
IEEE
82views Robotics» more  ICRA 2006»
14 years 3 months ago
Highly Articulated Robotic Probe for Minimally Invasive Surgery
- We have developed a novel highly articulated robotic probe (HARP) that can thread through tightly packed volumes without disturbing the surrounding tissues and organs. We use car...
Amir Degani, Howie Choset, Alon Wolf, Marco A. Zen...
SIGADA
2005
Springer
14 years 2 months ago
Experiences using SPARK in an undergraduate CS course
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
Anthony S. Ruocco
ICRA
1994
IEEE
102views Robotics» more  ICRA 1994»
14 years 1 months ago
Articulated Structures with Tendon Actuation for Whole-Limb Manipulation
We present a general framework for the modelling of a class of mechanical systems for robotic manipulation, consisting of articulated limbs with redundant tendinous actuation and ...
Paolo Petreschi, Domenico Prattichizzo, Antonio Bi...
IROS
2006
IEEE
143views Robotics» more  IROS 2006»
14 years 2 months ago
A New Method of Executing Multiple Auxiliary Tasks by Redundant Nonholonomic Mobile Manipulators
— This paper addresses the multiple tasks performing issues for redundant nonholonomic mobile manipulators. An extended gradient projection redundancy resolution scheme is propos...
Yugang Liu, Yangmin Li