Sciweavers

713 search results - page 48 / 143
» An Integrated Framework for Security and Dependability
Sort
View
ICRA
2002
IEEE
128views Robotics» more  ICRA 2002»
15 years 11 months ago
Generation of a Task Model by Integrating Multiple Observations of Human Demonstrations
This paper describes a new approach on how to teach a robot everyday manipulation tasks under the “Learning from Observation” framework. Most of the approaches so far assume t...
Koichi Ogawara, Jun Takamatsu, Hiroshi Kimura, Kat...
AINA
2007
IEEE
15 years 6 months ago
On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System
The e-health domain has for objective to assist and manage citizens health. It concerns many actors like patient, doctors, hospitals and administration. Current and forthcoming ge...
Florencia Balbastro, Alfredo Capozucca, Nicolas Gu...
ICSE
2003
IEEE-ACM
16 years 6 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
CAISE
1999
Springer
15 years 10 months ago
Towards a Classification Framework for Application Granularity in Workflow Management Systems
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
Jörg Becker, Michael zur Muehlen
TCC
2005
Springer
118views Cryptology» more  TCC 2005»
15 years 11 months ago
On the Relationships Between Notions of Simulation-Based Security
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
Anupam Datta, Ralf Küsters, John C. Mitchell,...