2255 search results - page 62 / 451 » High Assurance Software Systems |
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes the security and network architecture of the Annex system, a family of technologies for secure and pervasive communication and information processing that we ...
ICDAR
2011
IEEE
12 years 8 months ago
2011
IEEE
- Large-scale digitisation has led to a number of new possibilities with regard to adaptive and learning based methods in the field of Document Image Analysis and OCR. For ground t...
ECIS
2003
13 years 10 months ago
2003
Currently, there is no standard instrument for evaluating learning effectiveness. While final examinations and end-of-semester course evaluation surveys can be used to do this, th...
EUROMICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
EUROMICRO
2004
IEEE
14 years 14 days ago
2004
IEEE
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...