17 search results - page 1 / 4 » spin 1999 |
SPIN
1999
Springer
13 years 10 months ago
1999
Springer
SPIN
1999
Springer
13 years 10 months ago
1999
Springer
SPIN
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
SPIN
1999
Springer
13 years 10 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
MOBICOM
1999
ACM
13 years 10 months ago
1999
ACM
In this paper, we present a family of adaptive protocols, called SPIN (Sensor Protocols for Information via Negotiation), that efficiently disseminates information among sensors ...