242 search results - page 38 / 49 » How to deal with software stability |
JACM
2002
13 years 10 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
MATES
2010
Springer
13 years 9 months ago
2010
Springer
The construction of distributed applications is a challenging task due to inherent system properties like message passing and concurrency. Current technology trends further increas...
EKAW
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. The overall aim of this paper is to provide a general setting for quantitative quality measures of Knowledge-Based System behavior which is widely applicable to many Know...
TPDS
2010
13 years 9 months ago
2010
This paper studies the problem of realizing a common software clock among a large set of nodes without an external time reference (i.e., internal clock synchronization), any centr...
BC
2010
13 years 8 months ago
2010
We have previously tried to explain perceptual inference and learning under a free-energy principle that pursues Helmholtz's agenda to understand the brain in terms of energy ...