Sciweavers

1495 search results - page 221 / 299
» Confirmation in Multimodal Systems
Sort
View
HICSS
2002
IEEE
108views Biometrics» more  HICSS 2002»
15 years 11 months ago
Network Management in ATM LEO Satellite Networks
Development of the past decade have confirmed that ATM technology has the potential of becoming the transport mechanism in many multimedia networks where high-speed traffic and Qu...
Petia Todorova
ADAEUROPE
2001
Springer
15 years 10 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
DEXA
2009
Springer
88views Database» more  DEXA 2009»
15 years 10 months ago
Significance-Based Failure and Interference Detection in Data Streams
Detecting the failure of a data stream is relatively easy when the stream is continually full of data. The transfer of large amounts of data allows for the simple detection of inte...
Nickolas J. G. Falkner, Quan Z. Sheng
DSN
2009
IEEE
15 years 10 months ago
Processor reliability enhancement through compiler-directed register file peak temperature reduction
Each semiconductor technology generation brings us closer to the imminent processor architecture heat wall, with all its associated adverse effects on system performance and reliab...
Chengmo Yang, Alex Orailoglu
ICCBR
2007
Springer
15 years 10 months ago
When Similar Problems Don't Have Similar Solutions
The performance of a Case-Based Reasoning system relies on the integrity of its case base but in real life applications the available data used to construct the case base invariabl...
Stewart Massie, Susan Craw, Nirmalie Wiratunga