Sciweavers

8177 search results - page 1279 / 1636
» Detecting System Emulators
Sort
View
JSS
2007
75views more  JSS 2007»
15 years 6 months ago
A rationale-based architecture model for design traceability and reasoning
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
Antony Tang, Yan Jin, Jun Han
COMCOM
2004
149views more  COMCOM 2004»
15 years 6 months ago
Accelerating network security services with fast packet classification
To protect a network, secure network systems such as intrusion detection system (IDS) and firewall are often installed to control or monitor network traffic. These systems often i...
Shiuh-Pyng Shieh, Fu-Yuan Lee, Ya-Wen Lin
HF
2002
95views more  HF 2002»
15 years 6 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
MMS
2007
15 years 6 months ago
Automatic lyrics alignment for Cantonese popular music
Abstract From lyrics-display on electronic music players and Karaoke videos to surtitles for live Chinese opera performance, one feature is common to all these everyday functionali...
Chi Hang Wong, Wai Man Szeto, Kin Hong Wong
IAJIT
2010
133views more  IAJIT 2010»
15 years 5 months ago
Mediation Queries Adaptation After the Removal of a Data Source
: A broad variety of data is available in distinct heterogeneous sources, stored under different formats: database formats (in relational and object-oriented models), document form...
Latifa Baba-hamed
« Prev « First page 1279 / 1636 Last » Next »