14 search results - page 3 / 3 » Virtual Environment Modeling by Integrated Optical and Acous... |
ISMAR
2007
IEEE
14 years 16 days 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...
ISW
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
ERSHOV
2009
Springer
14 years 24 days ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
JBCS
2010
13 years 4 months ago
2010
We present an incarnation of the Enterprise Physics vision sketched in [3] that provides automatic or semi-automatic support for evolution and change management in heterogeneous le...