954 search results - page 81 / 191 » Conditional Risk Mappings |
142
click to vote
SOFSEM
2010
Springer
16 years 3 months 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...
154
click to vote
SAC
2010
ACM
16 years 1 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...
133
click to vote
SOUPS
2009
ACM
16 years 20 days 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...
136
click to vote
ATAL
2007
Springer
16 years 11 days 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...
131
click to vote
AUSAI
2007
Springer
16 years 11 days 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 ...