2317 search results - page 321 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
130
Voted
INFOCOM
2007
IEEE
15 years 10 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 ...
117
Voted
FMCAD
2007
Springer
15 years 7 months 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 ...
110
Voted
ISMAR
2007
IEEE
15 years 10 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...
158
Voted
CGF
2008
15 years 3 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...
144
Voted
BPM
2008
Springer
15 years 5 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...