Sciweavers

2874 search results - page 453 / 575
» Intrusion Detection: Systems and Models
Sort
View
SSS
2005
Springer
119views Control Systems» more  SSS 2005»
15 years 12 months ago
Self-stabilization of Byzantine Protocols
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
Ariel Daliot, Danny Dolev
SIGMOD
2003
ACM
196views Database» more  SIGMOD 2003»
16 years 6 months ago
Aurora: A Data Stream Management System
The Aurora system [1] is an experimental data stream management system with a fully functional prototype. It includes both a graphical development environment, and a runtime syste...
Daniel J. Abadi, Donald Carney, Ugur Çetint...
FGR
2000
IEEE
193views Biometrics» more  FGR 2000»
15 years 10 months ago
Robust 3D Head Tracking Under Partial Occlusion
This paper describes a novel system for 3D head tracking under partial occlusion from 2D monocular image sequences. In this system, The Extended Superquadric (ESQ) is used to gene...
Ye Zhang, Chandra Kambhamettu
SEKE
2007
Springer
16 years 16 days ago
A Model-driven Approach to Architecting Secure Software
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
Ebenezer A. Oladimeji, Sam Supakkul, Lawrence Chun...
DATE
2005
IEEE
115views Hardware» more  DATE 2005»
16 years 1 days ago
Functional Coverage Driven Test Generation for Validation of Pipelined Processors
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
Prabhat Mishra, Nikil D. Dutt