1829 search results - page 21 / 366 » Towards Validation of Requirements Models |
133
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
107
click to vote
RSP
1999
IEEE
15 years 8 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
128
Voted
GLVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
128
click to vote
BILDMED
2009
15 years 5 months ago
2009
Correct registration between pre-operative high-resolution images and intra-operative data of lower detail is a fundamental requirement in image-guided liver surgery. We propose a ...
155
Voted
3DGIS
2006
Springer
15 years 10 months ago
2006
Springer
The needs for three-dimensional (3D) visualization and navigation within 3D-GIS environment are growing and expanding rapidly in a variety of fields. In a steady shift from tradit...