61 search results - page 11 / 13 » Certified software |
ECEASST
2010
13 years 5 months ago
2010
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
A data model is a plan for building a database and is comparable to an architect's building plans. There are two major methodologies used to create a data model: the EntityRe...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
SEDE
2010
13 years 5 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
BMCBI
2006
13 years 7 months ago
2006
Background: The high-density oligonucleotide microarray (GeneChip) is an important tool for molecular biological research aiming at large-scale detection of small nucleotide polym...