3987 search results - page 537 / 798 » Ontology-Based Model Transformation |
200
click to vote
WACV
2005
IEEE
16 years 8 days ago
2005
IEEE
We present an approach for persistent tracking of moving objects observed by non-overlapping and moving cameras. Our approach robustly recovers the geometry of non-overlapping vie...
178
Voted
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
200
click to vote
CAISE
2004
Springer
16 years 3 days ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
183
click to vote
IFM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
168
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...