248 search results - page 32 / 50 » Test exploration and validation using transaction level mode... |
FM
2005
Springer
14 years 2 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
EDUTAINMENT
2007
Springer
14 years 2 months ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
TEI
2010
ACM
14 years 3 months ago
2010
ACM
Distributed physical user interfaces comprise networked sensors, actuators and other devices attached to a variety of computers in different locations. Developing such systems is ...
VISUALIZATION
2000
IEEE
14 years 25 days ago
2000
IEEE
We present an immersive system for exploring numerically simulated flow data through a model of a coronary artery graft. This tightly-coupled interdisciplinary project is aimed a...