69 search results - page 13 / 14 » Buffered Communication Analysis in Distributed Multiparty Se... |
298
Voted
CADE
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
174
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
169
Voted
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
With the current trend in integration of more complex systems on chip there is a need for better communication infrastructure on chip that will increase the available bandwidth an...
207
Voted
SPAA
1996
ACM
15 years 10 months ago
1996
ACM
Several recent papers have proposed or analyzed optimal algorithms to route all-to-all personalizedcommunication (AAPC) over communication networks such as meshes, hypercubes and ...
178
click to vote
SIGMETRICS
2008
ACM
15 years 5 months ago
2008
ACM
Random Medium-Access-Control (MAC) algorithms have played an increasingly important role in the development of wired and wireless Local Area Networks (LANs) and yet the performanc...