2989 search results - page 106 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
ASWEC
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
ISSS
2000
IEEE
15 years 2 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
We address the problem of efficiently estimating the rotation of a camera relative to the canonical 3D Cartesian frame of an urban scene, under the so-called "Manhattan World&...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— This paper presents a novel approach for visionbased control of the end-effector of parallel mechanisms. It is based on the metrological redundancy paradigm, which simp...
STTT
2008
14 years 9 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...