Sciweavers

801 search results - page 84 / 161
» Robust Software
Sort
View
VLSI
2005
Springer
14 years 3 months ago
Technology Mapping for Area Optimized Quasi Delay Insensitive Circuits
Quasi delay insensitive circuits are functionally independent of delays in gates and wires (except for some particular wires). Such asynchronous circuits offer high robustness but...
Bertrand Folco, Vivian Brégier, Laurent Fes...
ARCS
2004
Springer
14 years 3 months ago
Finite-State Modeling, Analysis and Testing of System Vulnerabilities
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
FSTTCS
2004
Springer
14 years 3 months ago
Subdividing Alpha Complex
Abstract. Given two simplicial complexes C1 and C2 embedded in Euclidean space IRd , C1 subdivides C2 if (i) C1 and C2 have the same underlying space, and (ii) every simplex in C1 ...
Ho-Lun Cheng, Tony Tan
ICIAR
2004
Springer
14 years 3 months ago
Automatic Text Extraction in Digital Video Based on Motion Analysis
It is well known that the text that appears in a video scene or is graphically added to it is an important source of semantic information for indexing and retrieval, notably in the...
Duarte Palma, João Ascenso, Fernando Pereir...
IEAAIE
2004
Springer
14 years 3 months ago
Natural Language Requirements Analysis and Class Model Generation Using UCDA
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
Dong Liu, Kalaivani Subramaniam, Armin Eberlein, B...