2255 search results - page 30 / 451 » High Assurance Software Systems |
WETICE
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents joint work by the California Institute of Technology’s Jet Propulsion Laboratory and the University of California at Davis (UC Davis) sponsored by the Nation...
EEE
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe an agent-based situation-aware survivable architecture for the discovery and composition of web services. Our architecture provides for proofs that guaranteethe consis...
IWPC
1998
IEEE
14 years 27 days ago
1998
IEEE
This paper describes a collection of algorithms that we developed and implemented to facilitate the automatic recovery of the modular structure of a software system from its sourc...
USS
2004
13 years 10 months ago
2004
Window systems are the primary mediator of user input and output in modern computing systems. They are also a commonly used interprocess communication mechanism. As a result, they...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...