4075 search results - page 2 / 815 » Modeling Distributed Algorithm Using B |
IFM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
WSC
2000
13 years 6 months ago
2000
This paper considers the development of envelope methods as a tool for simulation. Envelope methods are based on the construction of simple envelopes to functions. The proposed en...
AMAI
2010
Springer
13 years 2 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
TASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
VTC
2008
IEEE
13 years 11 months ago
2008
IEEE
—This paper presents a spectrum sharing approach which exploits the clustered distribution of users as would be expected in a typical home with several communicating devices (als...