Sciweavers

662 search results - page 77 / 133
» Heart vs. Model
Sort
View
ICSE
2004
IEEE-ACM
14 years 8 months ago
Dynamic Configuration of Resource-Aware Services
An important emerging requirement for computing systems is the ability to adapt at run time, taking advantage of local computing devices, and coping with dynamically changing reso...
David Garlan, João Pedro Sousa, Mary Shaw, ...
ICRA
2008
IEEE
180views Robotics» more  ICRA 2008»
14 years 2 months ago
Image moments-based ultrasound visual servoing
— A new visual servoing method based on B-mode ultrasound images is proposed to automatically control the motion of a 2D ultrasound probe held by a medical robot in order to reac...
Rafik Mebarki, Alexandre Krupa, François Ch...
SMA
2005
ACM
151views Solid Modeling» more  SMA 2005»
14 years 1 months ago
A constructive approach to calculate parameter ranges for systems of geometric constraints
Geometric constraints are at the heart of parametric and feature-based CAD systems. Changing values of geometric constraint parameters is one of the most common operations in such...
Hilderick A. van der Meiden, Willem F. Bronsvoort
WDAG
2005
Springer
82views Algorithms» more  WDAG 2005»
14 years 1 months ago
Distributed Transactional Memory for Metric-Space Networks
Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the...
Maurice Herlihy, Ye Sun
IH
2001
Springer
14 years 8 days ago
Real World Patterns of Failure in Anonymity Systems
Abstract. We present attacks on the anonymity and pseudonymity provided by a “lonely hearts” dating service and by the HushMail encrypted email system. We move on to discuss so...
Richard Clayton, George Danezis, Markus G. Kuhn