596 search results - page 97 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
183
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The Internet contains billions of images, freely available online. Methods for efficiently searching this incredibly rich resource are vital for a large number of applications. Th...
153
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
165
click to vote
TVCG
2008
15 years 5 months ago
2008
Visualization of volumetric data faces the difficult task of finding effective parameters for the transfer functions. Those parameters can determine the effectiveness and accuracy ...
136
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
155
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...