Sciweavers

2799 search results - page 442 / 560
» computing 1998
Sort
View
149
Voted
CONCUR
1999
Springer
15 years 6 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
ACSAC
1998
IEEE
15 years 6 months ago
Detecting Anomalous and Unknown Intrusions Against Programs
The ubiquity of the Internet connection to desktops has been both boon to business as well as cause for concern for the security of digital assets that may be unknowingly exposed....
Anup K. Gosh, James Wanken, Frank Charron
106
Voted
DEXAW
1998
IEEE
124views Database» more  DEXAW 1998»
15 years 6 months ago
Managing Evolution of Coordination Aspects in Open Systems
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...
Juan Carlos Cruz, Sander Tichelaar
FGR
1998
IEEE
203views Biometrics» more  FGR 1998»
15 years 6 months ago
Automated Facial Expression Recognition Based on FACS Action Units
Automated recognition of facial expression is an important addition to computer vision research because of its relevance to the study of psychological phenomena and the developmen...
James Jenn-Jier Lien, Takeo Kanade, Jeffrey F. Coh...
HASE
1998
IEEE
15 years 6 months ago
Optimal Discrimination between Transient and Permanent Faults
An important practical problem in fault diagnosis is discriminating between permanent faults and transient faults. In many computer systems, the majority of errors are due to tran...
M. Pizza, Lorenzo Strigini, Andrea Bondavalli, Fel...