570 search results - page 19 / 114 » Robustness and Implementability of Timed Automata |
135
Voted
SIGSOFT
2008
ACM
15 years 3 months ago
2008
ACM
If an organization depends on the service quality provided by another organization it often enters into a bilateral service level agreement (SLA), which mitigates outsourcing risk...
119
Voted
JIRS
2010
15 years 2 months ago
2010
Abstract This paper investigates simple and robust transparency-attainable control architectures for bilateral teleoperation. The strength of two-channel control architectures and ...
114
Voted
PAMI
2008
15 years 3 months ago
2008
This paper describes a method for robust real time pattern matching. We first introduce a family of image distance measures, the "Image Hamming Distance Family". Members ...
131
Voted
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
141
Voted
OPODIS
2008
15 years 5 months ago
2008
We consider wait-free implementations of a regular read/ write register for unauthenticated data using a collection of 3t + k base objects, t of which can be subject to Byzantine ...