Sciweavers

4307 search results - page 713 / 862
» Dynamic Spyware Analysis
Sort
View
KBSE
2007
IEEE
14 years 3 months ago
Testing concurrent programs using value schedules
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
Jun Chen, Steve MacDonald
BTW
2007
Springer
152views Database» more  BTW 2007»
14 years 3 months ago
Armada: a Reference Model for an Evolving Database System
Abstract: The data on the web, in digital libraries, in scientific repositories, etc. continues to grow at an increasing rate. Distribution is a key solution to overcome this data...
Fabian Groffen, Martin L. Kersten, Stefan Manegold
CAIP
2007
Springer
152views Image Analysis» more  CAIP 2007»
14 years 3 months ago
Adaptable Model-Based Tracking Using Analysis-by-Synthesis Techniques
Abstract. In this paper we present a novel analysis-by-synthesis approach for real-time camera tracking in industrial scenarios. The camera pose estimation is based on the tracking...
Harald Wuest, Folker Wientapper, Didier Stricker
CAIP
2007
Springer
182views Image Analysis» more  CAIP 2007»
14 years 3 months ago
Assessing Artery Motion Compensation in IVUS
Abstract. Cardiac dynamics suppression is a main issue for visual improvement and computation of tissue mechanical properties in IntraVascular UltraSound (IVUS). Although in recent...
Debora Gil, Oriol Rodriguez-Leor, Petia Radeva, Au...
CCS
2007
ACM
14 years 3 months ago
Automated detection of persistent kernel control-flow attacks
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...
Nick L. Petroni Jr., Michael W. Hicks