Sciweavers

1643 search results - page 47 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
WOSS
2004
ACM
15 years 3 months ago
Design of self-managing dependable systems with UML and fault tolerance patterns
The development of dependable software systems is a costly undertaking. Fault tolerance techniques as well as self-repair capabilities usually result in additional system complexi...
Matthias Tichy, Daniela Schilling, Holger Giese
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
15 years 4 months ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng
IROS
2008
IEEE
172views Robotics» more  IROS 2008»
15 years 4 months ago
Hand-eye self-calibration of an ultrasound image-based robotic system
— In recent years, there has been an increasing interest in developing systems that couple a robotic device with an ultrasound imager. Applications range from automatic probe pos...
Marie-Aude Vitrani, Guillaume Morel
ICRA
2006
IEEE
177views Robotics» more  ICRA 2006»
15 years 3 months ago
Automatic Calibration of a Robotized 3D Ultrasound Imaging System by Visual Servoing
— Three-dimensional free-hand ultrasound imaging consists of capturing a set of ultrasound images with a 2D ultrasound system and their respective locations in order to position ...
Alexandre Krupa
CF
2009
ACM
14 years 7 months ago
High accuracy failure injection in parallel and distributed systems using virtualization
Emulation sits between simulation and experimentation to complete the set of tools available for software designers to evaluate their software and predict behavior under condition...
Thomas Hérault, Thomas Largillier, Sylvain ...