2935 search results - page 103 / 587 » An Integrated Approach to High Integrity Software Verificati... |
145
click to vote
ICWE
2010
Springer
15 years 3 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
112
Voted
FOCM
2010
15 years 3 months ago
2010
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...
131
click to vote
DILS
2005
Springer
15 years 10 months ago
2005
Springer
: We present a new approach to integrate annotation data from public sources for the expression analysis of genes and proteins. Expression data is materialized in a data warehouse ...
131
click to vote
SP
2000
IEEE
15 years 9 months ago
2000
IEEE
We hypothesize that a form of kernel-resident accesscontrol-based integrity protection can gain widespread acceptance in Commercial Off-The-Shelf (COTS) environments provided that...
124
Voted
IJCNN
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper introduces a novel design of an artificial neural network tailored for wafer-scale integration. The presented VLSI implementation includes continuous-time a...