4476 search results - page 274 / 896 » A flexible framework for engineering |
168
click to vote
IJSEKE
2002
15 years 6 months ago
2002
through the specification of temporal, spatial and spatio-temporal relations. Moreover, we propose an abstract animation model that can be combined with the intra-media temporal st...
165
click to vote
CAV
2005
Springer
16 years 9 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
182
click to vote
VRST
2004
ACM
16 years 6 days ago
2004
ACM
The availability of a suitable framework is of vital importance for the development of Augmented Reality (AR) and Virtual Reality (VR) projects. While features such as scalability...
159
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
174
click to vote
FATES
2004
Springer
16 years 5 days ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...