Sciweavers

7064 search results - page 1060 / 1413
» From States to Histories
Sort
View
ACSAC
2003
IEEE
16 years 4 days ago
Isolated Program Execution: An Application Transparent Approach for Executing Untrusted Programs
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...
Zhenkai Liang, V. N. Venkatakrishnan, R. Sekar
AMFG
2003
IEEE
148views Biometrics» more  AMFG 2003»
16 years 4 days ago
Multi-Modal Face Tracking Using Bayesian Network
This paper presents a Bayesian network based multimodal fusion method for robust and real-time face tracking. The Bayesian network integrates a prior of second order system dynami...
Fang Liu, Xueyin Lin, Stan Z. Li, Yuanchun Shi
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
16 years 4 days ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri
DISCEX
2003
IEEE
16 years 4 days ago
Willow System Demonstration
Dealing with damage that arises during operation of networked information systems is essential if such systems are to provide the dependability required by modern critical applica...
John C. Knight, Jonathan Hill, Philip E. Varner, P...
DSN
2003
IEEE
16 years 4 days ago
LSRP: Local Stabilization in Shortest Path Routing
—We formulate a notion of local stabilization, by which a system self-stabilizes in time proportional to the size of any perturbation that changes the network topology or the sta...
Anish Arora, Hongwei Zhang
« Prev « First page 1060 / 1413 Last » Next »