57 search results - page 1 / 12 » Documentation Integrity for Safety-Critical Applications: Th... |
SIGDOC
1998
ACM
13 years 9 months ago
1998
ACM
A key aspect of the COHERE project involves building an authoring system for documentation for safety-critical systems. Following a set of documentation integrity maxims, the proj...
ISAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
CF
2004
ACM
13 years 10 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
BIOSIG
2003
13 years 6 months ago
2003
: This paper describes a comparative study on fingerprint recognition systems – the project BioFinger. The goal of this study is to investigate the capability characteristics of ...
ERCIMDL
2003
Springer
13 years 10 months ago
2003
Springer
A digital library typically includes a set of keywords (or subject terms) for each document in its collection(s). For some applications, including natural resource management, geog...