Search Sciweavers | Sciweavers

7329 search results - page 7 / 1466

» Network Extractor Protocols

click to vote

SPIN
2000
Springer

102views Theoretical Computer Science» more SPIN 2000»

Logic Verification of ANSI-C Code with SPIN

14 years 18 days ago

Download spinroot.com

We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...

Gerard J. Holzmann

claim paper

Read More »

click to vote

ICB
2009
Springer

226views Biometrics» more ICB 2009»

Fingerprint and On-Line Signature Verification Competitions at ICB 2009

13 years 6 months ago

Download hal.archives-ouvertes.fr

This paper describes the objectives, the tasks proposed to the participants and the associated protocols in terms of database and assessment tools of two present competitions on fi...

Bernadette Dorizzi, Raffaele Cappelli, Matteo Ferr...

claim paper

Read More »

click to vote

ICNP
2007
IEEE

80views Computer Networks» more ICNP 2007»

Supporting VCR in Peer-to-Peer Video-On-Demand

14 years 3 months ago