71 search results - page 12 / 15 » Symbolic Execution of Virtual Devices |
SENSYS
2009
ACM
15 years 5 months ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
AIIDE
2008
15 years 23 days ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
103
click to vote
VRST
2009
ACM
15 years 5 months ago
2009
ACM
This paper presents a markerless tracking technique targeted to the Windows Mobile Pocket PC platform. The primary aim of this work is to allow the development of standalone augme...
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...
ACMACE
2005
ACM
15 years 4 months ago
2005
ACM
In conventional, visual narrative media such as film, the placement and movement of the camera can be as important a device as the events of the narrative in conveying story and m...