4075 search results - page 109 / 815 » Modeling Distributed Algorithm Using B |
DCOSS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...
ICPADS
2005
IEEE
14 years 3 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...
AADEBUG
1997
Springer
14 years 1 months ago
1997
Springer
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
INFORMS
1998
13 years 9 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
IPSN
2007
Springer
14 years 3 months ago
2007
Springer
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of i...