Sciweavers

681 search results - page 70 / 137
» Transparent dynamic instrumentation
Sort
View
CCS
2008
ACM
14 years 11 months ago
Ether: malware analysis via hardware virtualization extensions
Malware has become the centerpiece of most security threats on the Internet. Malware analysis is an essential technology that extracts the runtime behavior of malware, and supplie...
Artem Dinaburg, Paul Royal, Monirul I. Sharif, Wen...
CHI
2006
ACM
15 years 10 months ago
RoomBugs: simulating insect infestations in elementary classrooms
This paper presents research on a collaborative learning environment in an urban elementary science classroom. The application, called RoomBugs, simulates a dynamic ecosystem of i...
Michael Barron, Tom Moher, Jeff Maharry
VMCAI
2010
Springer
15 years 7 months ago
Model-Checking In-Lined Reference Monitors
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
Meera Sridhar, Kevin W. Hamlen
ICASSP
2009
IEEE
15 years 4 months ago
Incorporating prior knowledge on the digital media creation process into audio classifiers
In the process of music content creation, a wide range of typical audio effects such as reverberation, equalization or dynamic compression are very commonly used. Despite the fact...
Maxime Lardeur, Slim Essid, Gaël Richard, Mar...
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
15 years 4 months ago
Heart surface motion estimation framework for robotic surgery employing meshless methods
Abstract— A novel heart surface motion estimation framework for a robotic surgery on a stabilized beating heart is proposed. It includes an approach for the reconstruction and pr...
Evgeniya Bogatyrenko, Uwe D. Hanebeck, Gábo...