2171 search results - page 179 / 435 » A Generic Process Algebra |
139
Voted
SECON
2007
IEEE
15 years 9 months ago
2007
IEEE
—In this paper, we develop a joint Network Coding (NC)-channel coding error-resilient sensor-network approach that performs In-Network Processing based on channel code Design (IN...
133
Voted
EDBT
2002
ACM
16 years 3 months ago
2002
ACM
Abstract. The success of Internet applications has led to an explosive growth in the demand for bandwidth from ISPs. Managing an IP network requires collecting and analyzing networ...
156
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
139
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper proposes an optimal architecture for wireless networks based on layers and layer interfaces. In the presence of fading the architecture is shown to be optimal. The resu...
121
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Gro...