399 search results - page 38 / 80 » Verification of System Level Model Transformations |
113
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
144
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
138
Voted
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
121
Voted
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We derive a probabilistic framework for robust, realtime, visual tracking of multiple previously unseen objects from a moving camera. This framework models the discrete depth orde...
140
Voted
TMM
2010
14 years 9 months ago
2010
This paper introduces a video copy detection system which efficiently matches individual frames and then verifies their spatio-temporal consistency. The approach for matching frame...