2255 search results - page 10 / 451 » High Assurance Software Systems |
NSPW
2004
ACM
14 years 2 months ago
2004
ACM
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...
DSN
2007
IEEE
14 years 2 months ago
2007
IEEE
Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an assurance case that sets out the dependabilit...
ICANN
2007
Springer
14 years 2 months ago
2007
Springer
This work describes a complete indoor location system, from its creation, development and deployment. This location system is a capable way of retrieving the position of wireless d...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
1 We present a high speed machine vision system for the inspection and quality assurance of canned tuna, which is currently working at a rate over 1000 cans per minute. The system ...
ICSE
2000
IEEE-ACM
14 years 5 days ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...