17 search results - page 1 / 4 » spin 1999 |
SPIN
1999
Springer
13 years 8 months ago
1999
Springer
SPIN
1999
Springer
13 years 8 months ago
1999
Springer
SPIN
1999
Springer
13 years 8 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 8 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 8 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 ...