228 search results - page 30 / 46 » Communication complexity of document exchange |
TGC
2007
Springer
15 years 5 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
PIMRC
2008
IEEE
15 years 6 months ago
2008
IEEE
—Multi-cell Cooperative Processing (MCP) has been recognised as an efficient technique for increasing spectral efficiency of future cellular systems. However the provided bene...
106
click to vote
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract—The end-to-end nature of Internet congestion control is an important factor in its scalability and robustness. However, end-to-end congestion control algorithms alone ar...
ENTCS
2006
14 years 11 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...