Sciweavers

2595 search results - page 55 / 519
» Modes in Asynchronous Systems
Sort
View
70
Voted
ICEIS
2009
IEEE
15 years 10 months ago
Monitoring Service Compositions in MoDe4SLA - Design of Validation
Lianne Bodenstaff, Andreas Wombacher, Roel Wiering...
ICRA
2010
IEEE
88views Robotics» more  ICRA 2010»
15 years 2 months ago
Relaxed optimization for mode estimation in skid steering
— Skid-steered vehicles, by design, must skid in order to maneuver. The skidding causes the vehicle to behave discontinuously as well as introduces complications to the observati...
Timothy M. Caldwell, Todd D. Murphey
141
Voted
OPODIS
2010
15 years 1 months ago
Self-stabilizing Byzantine Asynchronous Unison,
We explore asynchronous unison in the presence of systemic transient and permanent Byzantine faults in shared memory. We observe that the problem is not solvable under less than s...
Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikh...
HICSS
2003
IEEE
151views Biometrics» more  HICSS 2003»
15 years 9 months ago
A Simple GSPN for Modeling Common Mode Failures in Critical Infrastructures
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...
Axel W. Krings, Paul W. Oman
DATE
2004
IEEE
117views Hardware» more  DATE 2004»
15 years 7 months ago
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierr...