2255 search results - page 63 / 451 » High Assurance Software Systems |
DSN
2004
IEEE
14 years 14 days ago
2004
IEEE
The progression of implementation technologies into the sub-100 nanometer lithographies renew the importance of understanding and protecting against single-event upsets in digital...
AIRS
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We propose a semantic tagger that provides high level concept information for phrases in clinical documents. It delineates such information from the statements written by...
DBSEC
2006
13 years 10 months ago
2006
Abstract. Security breaches seldom occur because of faulty security mechanisms. Often times, security mechanisms are incorrectly incorporated in an application which allows them to...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...