Sciweavers

6300 search results - page 69 / 1260
» We have it easy, but do we have it right
Sort
View
ASIAN
2003
Springer
111views Algorithms» more  ASIAN 2003»
15 years 6 months ago
Unreliable Failure Detectors via Operational Semantics
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
Uwe Nestmann, Rachele Fuzzati
OTM
2009
Springer
15 years 7 months ago
Towards a Common Platform to Support Business Processes, Services and Semantics
The search for the Holy Grail in achieving interoperability of business processes, services and semantics continues with every new type or search for the Silver Bullet. Most approa...
Baba Piprani
CVGIP
2007
187views more  CVGIP 2007»
15 years 1 months ago
Facial motion cloning with radial basis functions in MPEG-4 FBA
Facial Motion Cloning (FMC) is the technique employed to transfer the motion of a virtual face (namely the source) to a mesh representing another face (the target), generally havi...
Marco Fratarcangeli, Marco Schaerf, Robert Forchhe...
ICRA
2010
IEEE
170views Robotics» more  ICRA 2010»
14 years 11 months ago
Towards marine bloom trajectory prediction for AUV mission planning
— This paper presents an oceanographic toolchain that can be used to generate multi-vehicle robotic surveys for large-scale dynamic features in the coastal ocean. Our science app...
Jnaneshwar Das, Kanna Rajany, Sergey Frolovy, Fred...
CADE
2011
Springer
14 years 1 months ago
Deciding Security for Protocols with Recursive Tests
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
Mathilde Arnaud, Véronique Cortier, St&eacu...