2989 search results - page 106 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
181
click to vote
ASWEC
2009
IEEE
16 years 1 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...
157
click to vote
ISSS
2000
IEEE
15 years 10 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...
152
click to vote
ECCV
2008
Springer
16 years 8 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&...
144
click to vote
ICRA
2005
IEEE
15 years 12 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...
172
click to vote
STTT
2008
15 years 6 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...