8828 search results - page 131 / 1766 » Formal methods in practice |
132
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Extreme Programming (XP) is an agile software development methodology composed of several practices that purportedly yield high quality and high customer satisfaction. However, th...
129
click to vote
CONTEXT
2001
Springer
15 years 9 months ago
2001
Springer
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...
137
click to vote
JSW
2008
15 years 4 months ago
2008
A protocol for assuring the authenticity of information broadcasted over long periods of time is proposed. The protocol is based on time synchronization and uses one-way chains con...
149
click to vote
IJPRAI
2000
15 years 4 months ago
2000
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
FM
1990
Springer
15 years 8 months ago
1990
Springer
Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999