713 search results - page 70 / 143 » Toward a More Reliable Theory of Software Reliability |
EUSFLAT
2007
15 years 1 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...
125
click to vote
EUSAI
2007
Springer
15 years 6 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
15 years 1 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...
124
click to vote
ISSTA
2010
ACM
15 years 3 months 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...
124
click to vote
CL
2007
Springer
14 years 12 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...