2838 search results - page 320 / 568 » Verifying Controlled Components |
87
Voted
ISPW
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a value-based software process framework that has been derived from the 4+1 theory of value-based software engineering (VBSE). The value-based process framework...
121
click to vote
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
143
Voted
WOSP
2004
ACM
15 years 6 months ago
2004
ACM
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...
98
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
89
Voted
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...