352 search results - page 1 / 71 » Proof-Checking a Data Link Protocol |
TYPES
1993
Springer
13 years 8 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
ESWS
2011
Springer
12 years 8 months ago
2011
Springer
The number of open datasets available on the web is increasing rapidly with the rise of the Linked Open Data (LOD) cloud and various governmental efforts for releasing public data ...
ICCSA
2009
Springer
13 years 11 months ago
2009
Springer
Wireless link capacity within a sensor network has direct impact on its performance and throughput. Due to dense sensor deployment, interference seems to be a key factor for varyin...
WEBI
2010
Springer
13 years 2 months ago
2010
Springer
In this paper we discuss the collection, semantic annotation and analysis of real-time social signals from microblogging data. We focus on users interested in analyzing social sign...
ICMCS
2009
IEEE
13 years 2 months ago
2009
IEEE
Interactive Internet Applications that rely on sequential streams for lossless data exchange often use retransmission protocols (e.g. TCP) for reliability and the guarantee of seq...