2935 search results - page 71 / 587 » An Integrated Approach to High Integrity Software Verificati... |
139
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
119
click to vote
JSS
2002
15 years 3 months ago
2002
The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen proje...
162
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Since its inception, proteomics has essentially operated in a discovery mode with the goal of identifying and quantifying the maximal number of proteins in a sample. I...
145
click to vote
CORR
1999
Springer
15 years 3 months ago
1999
Springer
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...
131
click to vote
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
The integration of heterogeneous data sources with even heterogeneous semantic meanings poses a challenge for data and system integrators. Ontology Alignment (OA) tries to identif...