954 search results - page 81 / 191 » Conditional Risk Mappings |
119
click to vote
SOFSEM
2010
Springer
16 years 29 days ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
132
Voted
SAC
2010
ACM
15 years 11 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
109
click to vote
SOUPS
2009
ACM
15 years 10 months ago
2009
ACM
We introduce the notion of a conditioned-safe ceremony. A “ceremony” is similar to the conventional notion of a protocol, except that a ceremony explicitly includes human part...
110
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
110
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
This paper details updated results concerning an implementation of a Multiple Classification Ripple Down Rules (MCRDR) system which can be used to provide quality Decision Support ...