14 search results - page 3 / 3 » Contract-Based Verification of Hierarchical Systems of Compo... |
CONCUR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
CASES
2011
ACM
12 years 7 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
BIRTHDAY
2010
Springer
14 years 3 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
We present a system for the estimation of unconstrained
3D human upper body movement from multiple cameras.
Its main novelty lies in the integration of three components:
single-...