3792 search results - page 9 / 759 » Techniques for Trusted Software Engineering |
SIGADA
2005
Springer
14 years 3 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
SOFTVIS
2006
ACM
14 years 3 months ago
2006
ACM
Understanding complex software systems requires getting insight in how system properties, such as performance, trust, reliability, or structural attributes, correspond to the syst...
IAT
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper explains the building of robust software using multiagent reputation. One of the major goals of software engineering is to achieve robust software. Our hypothesis is th...
IWSAS
2001
Springer
14 years 2 months ago
2001
Springer
We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment...
ICFEM
2004
Springer
14 years 3 months ago
2004
Springer