12 search results - page 2 / 3 » An independent audit framework for software dependent voting... |
ECRTS
2006
IEEE
13 years 10 months ago
2006
IEEE
Due to the complexity and requirements of modern realtime systems, multiple teams must often work concurrently and independently to develop the various components of the system. S...
PRDC
2000
IEEE
13 years 8 months ago
2000
IEEE
Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicabi...
AOSE
2004
Springer
13 years 9 months ago
2004
Springer
More and more effort is made to provide methodologies for the development of agent–based systems. Awareness has grown that these are necessary to develop high quality agent syst...
ASAP
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
POPL
1996
ACM
13 years 8 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...