2317 search results - page 321 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— The Domain Name System (DNS) provides a critical service for the Internet – mapping of user-friendly domain names to their respective IP addresses. Yet, there is no standard ...
FMCAD
2007
Springer
14 years 4 days ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
ISMAR
2007
IEEE
14 years 2 months ago
2007
IEEE
Spatial sensor systems in cars are gaining more and more importance. Such sensor systems are the foundation of future safety systems, such as automatic emergency brakes, as well a...
CGF
2008
13 years 8 months ago
2008
Visual fidelity and interactivity are the main goals in Computer Graphics research, but recently also audio is assuming an important role. Binaural rendering can provide extremely...
BPM
2008
Springer
13 years 10 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...