5525 search results - page 359 / 1105 » Verification of Model Transformations |
156
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
179
click to vote
FDL
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
179
click to vote
SIGGRAPH
1992
ACM
15 years 11 months ago
1992
ACM
A new device for measuringthe spatial reflectancedistributionsof surfaces is introduced, along with a new mathematical model of sniaorropic reflectance. The reflectance model pres...
181
click to vote
AHS
2007
IEEE
15 years 11 months ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
202
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...