Sciweavers

39 search results - page 5 / 8
» Enabling Robustness in Existing BPEL Processes
Sort
View
SIGCOMM
1994
ACM
14 years 1 months ago
Signaling and Operating System Support for Native-Mode ATM Applications
Applications communicating over connectionless networks, such as IP, cannot obtain per-connection Quality of Service (QoS) guarantees. In contrast, the connection-oriented nature ...
Rosen Sharma, Srinivasan Keshav
ICIP
2009
IEEE
14 years 11 months ago
Display-camera Calibration From Eye Reflections
We present a novel technique for calibrating displaycamera systems from reflections in the user's eyes. Displaycamera systems enable a range of vision applications that need ...
ICRA
2009
IEEE
145views Robotics» more  ICRA 2009»
14 years 4 months ago
Distributed maximum a posteriori estimation for multi-robot cooperative localization
— This paper presents a distributed Maximum A Posteriori (MAP) estimator for multi-robot Cooperative Localization (CL). As opposed to centralized MAP-based CL, the proposed algor...
Esha D. Nerurkar, Stergios I. Roumeliotis, Agostin...
CONCUR
2008
Springer
13 years 11 months ago
Invariants for Parameterised Boolean Equation Systems
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...
Simona Orzan, Tim A. C. Willemse
CONCUR
2004
Springer
14 years 3 months ago
Parameterised Boolean Equation Systems (Extended Abstract)
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
Jan Friso Groote, Tim A. C. Willemse