570 search results - page 69 / 114 » Robustness and Implementability of Timed Automata |
CONCUR
2010
Springer
14 years 2 days ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
INFOCOM
2012
IEEE
12 years 1 months ago
2012
IEEE
—We present the design and implementation of ADAM, the first adaptive beamforming based multicast system and experimental framework for indoor wireless environments. ADAM addres...
ACCV
2006
Springer
14 years 5 months ago
2006
Springer
Nowadays, the use of machine learning methods for visual object detection has become widespread. Those methods are robust. They require an important processing power and a high mem...
ICSEA
2008
IEEE
14 years 5 months ago
2008
IEEE
The Reuse of code artefacts can make development quicker, cheaper and more robust, but the process is complex and has many pitfalls: Code artefacts must exist, be available, be fo...
IPPS
2009
IEEE
14 years 5 months ago
2009
IEEE
Failure detectors are a service that provides (approximate) information about process crashes in a distributed system. The well-known “eventually perfect” failure detector, 3P...