11547 search results - page 258 / 2310 » Quantum computing and communication |
142
click to vote
CONCUR
1990
Springer
15 years 10 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
157
click to vote
ESTIMEDIA
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a new adaptive scheme to reduce the computation energy of the discrete cosine transform (DCT) architecture for image/video coding. The scheme employs the noise ...
197
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In order to obtain semantic interoperability in open MultiAgent Systems, agents need to agree on the basis of different ontologies. In this paper we formally define mapping as cor...
179
click to vote
CLUSTER
2007
IEEE
15 years 6 months ago
2007
IEEE
With the growth and acceptance of the Internet, there has been increased interest in maintaining anonymity in the network. Using traffic analysis, it is possible to infer who is t...
160
click to vote
DCC
1998
IEEE
15 years 6 months ago
1998
IEEE
: Application of joint source-channel matching in heterogeneous multi-media environments will demand general source-channel optimization schemes suitable for a wide variety of sour...