Sciweavers

2838 search results - page 264 / 568
» Verifying Controlled Components
Sort
View
VLDB
2002
ACM
165views Database» more  VLDB 2002»
15 years 24 days ago
Chip-Secured Data Access: Confidential Data on Untrusted Servers
The democratization of ubiquitous computing (access data anywhere, anytime, anyhow), the increasing connection of corporate databases to the Internet and the today's natural ...
Luc Bouganim, Philippe Pucheral
EDBT
2008
ACM
144views Database» more  EDBT 2008»
16 years 1 months ago
BI batch manager: a system for managing batch workloads on enterprise data-warehouses
Modern enterprise data warehouses have complex workloads that are notoriously difficult to manage. An important problem in workload management is to run these complex workloads `o...
Abhay Mehta, Chetan Gupta, Umeshwar Dayal
SC
2009
ACM
15 years 8 months ago
Exploring many task computing in scientific workflows
One of the main advantages of using a scientific workflow management system (SWfMS) to orchestrate data flows among scientific activities is to control and register the whole work...
Eduardo S. Ogasawara, Daniel de Oliveira, Fernando...
IROS
2008
IEEE
112views Robotics» more  IROS 2008»
15 years 7 months ago
Minimally invasive torque sensor for tendon-driven robotic hands
— The purpose of this paper is to present preliminary results on the use of a torque sensor based on a Bragg grating for torque control applications of tendon-driven mechanisms. ...
Ciro Natale, Salvatore Pirozzi
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 6 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli