2880 search results - page 437 / 576 » Using Channels for Multimedia Communication |
PADL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
DEXAW
2002
IEEE
15 years 3 months ago
2002
IEEE
As new mobile communication technologies are becoming broadly available, there is urgent pressure to populate them with services that provide returns for the huge investements mad...
ISCAS
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper explores subband processing of complex (I/Q) signals which finds various important applications especially in communications signal processing. Instead of using tradit...
NDSS
2000
IEEE
15 years 2 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
CAV
1999
Springer
15 years 2 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...