5525 search results - page 763 / 1105 » Verification of Model Transformations |
177
click to vote
OTM
2005
Springer
16 years 10 days ago
2005
Springer
: Object-role Modeling (ORM) is a fact-oriented modeling approach for specifying, transforming, and querying information at a conceptual level. Unlike Entity-Relationship modeling ...
200
click to vote
CVPR
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper presents a new approach for continuous tracking of moving objects observed by multiple, heterogeneous cameras. Our approach simultaneously processes video streams from ...
164
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
187
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
181
click to vote
TAPSOFT
1991
Springer
15 years 10 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...