713 search results - page 70 / 143 » Toward a More Reliable Theory of Software Reliability |
EUSFLAT
2007
13 years 10 months ago
2007
This paper deals with a model of decision– making in two stages. In the first stage from a set of expertises one chooses the most rational ones, while in the second stage one o...
EUSAI
2007
Springer
14 years 2 months ago
2007
Springer
We propose a software framework that augments context data with a range of assorted confidence/reputation metadata for dimensions such as security, privacy, safety, reliability, or...
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
ISSTA
2010
ACM
14 years 19 days ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
CL
2007
Springer
13 years 8 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...