Sciweavers

2523 search results - page 213 / 505
» Correct Development of Embedded Systems
Sort
View
ESORICS
2009
Springer
16 years 3 months ago
PCAL: Language Support for Proof-Carrying Authorization Systems
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...
Avik Chaudhuri, Deepak Garg
HICSS
2003
IEEE
124views Biometrics» more  HICSS 2003»
15 years 8 months ago
Identifying Transformer Incipient Events for Maintaining Distribution System Reliability
This paper presents the time domain and timefrequency domain analysis results of incipient events in single-phase distribution transformers. This analysis will aid in the developm...
Karen L. Butler-Purry, Mustafa Bagriyanik
DEXAW
1997
IEEE
99views Database» more  DEXAW 1997»
15 years 7 months ago
A Framework for Dynamic Changes in Workflow Management Systems
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
Manfred Reichert, Peter Dadam
MVA
2000
139views Computer Vision» more  MVA 2000»
15 years 4 months ago
Automatic Intruder Detection and Tracking System with Pan-Tilt-Zoom Camera
We propose an automatic monitoring system which detects and tracks intruders, using a pan-tiltzoom camera. Detection is based on a background subtraction method which detects the ...
Tetsuji Haga, Hideto Fujiwara, Kazuhiko Sumi
INFOCOM
2010
IEEE
15 years 1 months ago
Measuring Availability in the Domain Name System
Abstract--The domain name system (DNS) is critical to Internet functionality. The availability of a domain name refers to its ability to be resolved correctly. We develop a model f...
Casey T. Deccio, Jeff Sedayao, Krishna Kant, Prasa...