Sciweavers

968 search results - page 162 / 194
» Infrastructure for the quantum internet
Sort
View
DSRT
2008
IEEE
13 years 12 months ago
Evaluating Large Scale Distributed Simulation of P2P Networks
P2P systems have witnessed phenomenal development in recent years. Evaluating and analyzing new and existing algorithms and techniques is a key issue for developers of P2P systems...
Tien Tuan Anh Dinh, Georgios K. Theodoropoulos, Ro...
FM
2008
Springer
77views Formal Methods» more  FM 2008»
13 years 11 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
NETWORKING
2007
13 years 11 months ago
Path Selection Using Available Bandwidth Estimation in Overlay-Based Video Streaming
IP networks present a challenging environment for video streaming because they do not provide throughput, jitter, or loss rate guarantees. In this work, we focus on improving the p...
Manish Jain, Constantine Dovrolis
SWAP
2008
13 years 11 months ago
SAscha: A RIA Approach for Supporting Semantic Web Services in the Italian Interoperability Framework
SPCoop is a nationwide framework for supporting service interoperability in the exercise and application of Italian government policies. The very core of this framework lies in the...
Alessandro Adamou
DAGSTUHL
2006
13 years 11 months ago
A Bayesian Reputation System for Virtual Organizations
Abstract. Virtual Organizations (VOs) are an emerging business model in today's Internet economy. Increased specialization and focusing on an organization's core competen...
Jochen Haller