Sciweavers

2112 search results - page 319 / 423
» Communication networks in geographically distributed softwar...
Sort
View
120
Voted
ICDE
2008
IEEE
129views Database» more  ICDE 2008»
15 years 11 months ago
Testing mobile agent platforms over the air
— Mobile agents are considered a suitable technology to develop applications for wireless environments with limited communication capabilities. Thus, they offer interesting advan...
Oscar Urra, Sergio Ilarri, Eduardo Mena
193
Voted
EUROSYS
2010
ACM
15 years 10 months ago
PUSH: A Dataflow Shell
The deluge of huge data sets such as those provided by sensor networks, online transactions, and the web provide exciting opportunities for data analysis. The scale of the data ...
Noah Evans, Eric Van Hensbergen
INFOCOM
2003
IEEE
15 years 10 months ago
A Stochastic Model of TCP and Fair Video Transmission
— A stochastic model of TCP is developed. Unlike many other models, this model accounts for variations in latency and loss probability. A major strength of this model is that it ...
Stephan Bohacek
SIGCOMM
2000
ACM
15 years 9 months ago
FIRE: Flexible intra-AS routing environment
Current routing protocols are monolithic, specifying the algorithm used to construct forwarding tables, the metric used by the algorithm (generally some form of hop-count), and th...
Craig Partridge, Alex C. Snoeren, W. Timothy Stray...
POPL
2006
ACM
16 years 4 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...