50 search results - page 9 / 10 » Automatic Synthesis of Interfaces Between Incompatible Proto... |
GI
2001
Springer
13 years 10 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
CMMR
2007
Springer
14 years 16 days ago
2007
Springer
This paper describes the design and implementation of a framework designed to aid collaborative development of a digital musical instrument mapping layer1 . The goal was to create ...
ICIP
2002
IEEE
13 years 11 months ago
2002
IEEE
—An approach for filling-in blocks of missing data in wireless image transmission is presented in this paper. When compression algorithms such as JPEG are used as part of the wir...
KDD
1997
ACM
13 years 10 months ago
1997
ACM
When mining large databases, the data extraction problem and the interface between the database and data mining algorithm become important issues. Rather than giving a mining algo...
JSAC
2006
13 years 6 months ago
2006
This paper focuses on the interaction between the Transport Control Protocol (TCP) layer and the radio interface in the High Speed Downlink Packet Access (HSDPA) wireless system. I...