169 search results - page 22 / 34 » From Operating-System Correctness to Pervasively Verified Ap... |
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
WORM
2003
13 years 11 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
MOBISYS
2004
ACM
14 years 10 months ago
2004
ACM
Computation off-loading, i.e., remote execution, has been shown to be effective for extending the computational power and battery life of resource-restricted devices, e.g., hand-h...
NAACL
2007
13 years 11 months ago
2007
This paper introduces the use of speech translation technology for a new type of voice-interactive Computer Aided Language Learning (CALL) application. We describe a computer game...
CVPR
2007
IEEE
15 years 12 days ago
2007
IEEE
Many applications require the ability to track the 3-D motion of the subjects. We build a particle filter based framework for multimodal tracking using multiple cameras and multip...