3799 search results - page 63 / 760 » An Engineering Approach to Formal Methods |
RE
2008
Springer
13 years 7 months ago
2008
Springer
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
SIGADA
2004
Springer
14 years 1 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...
WISE
2002
Springer
14 years 21 days ago
2002
Springer
Web caching is an important technique for accelerating web applications and reducing the load on the web server and the network through local cache accesses. As in the traditional...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
This paper describes an initiative at North Carolina State University in which the undergraduate software engineering class was restructured in layout and in presentation. The cha...
ACSW
2003
13 years 9 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...