Sciweavers

7904 search results - page 1329 / 1581
» Sequence Query Processing
Sort
View
ACSAC
2006
IEEE
16 years 24 days ago
PolyUnpack: Automating the Hidden-Code Extraction of Unpack-Executing Malware
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
Paul Royal, Mitch Halpin, David Dagon, Robert Edmo...
ACSC
2006
IEEE
16 years 24 days ago
Interaction design for a mobile context-aware system using discrete event modelling
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
Annika Hinze, Petra Malik, Robi Malik
AICT
2006
IEEE
210views Communications» more  AICT 2006»
16 years 24 days ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
AUIC
2006
IEEE
16 years 23 days ago
A markerless registration method for augmented reality based on affine properties
This paper presents a markerless registration approach for Augmented Reality (AR) systems based on the Kanade-Lucas-Tomasi (KLT) natural feature tracker and the affine reconstruct...
Y. Pang, M. L. Yuan, Andrew Y. C. Nee, Soh-Khim On...
CRV
2006
IEEE
130views Robotics» more  CRV 2006»
16 years 23 days ago
Determining Shot Accuracy of a Robotic Pool System
A process is described to determine the shot accuracy of an automatic robotic pool playing system. The system comprises a ceiling-mounted gantry robot, a special purpose cue end-e...
Joseph Lam, Fei Long, Gerhard Roth, Michael A. Gre...
« Prev « First page 1329 / 1581 Last » Next »