Sciweavers

390 search results - page 7 / 78
» User-Level Network Interface Protocols
Sort
View
CONCUR
2009
Springer
15 years 4 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
ITICSE
2006
ACM
15 years 3 months ago
IREEL: remote experimentation with real protocols and applications over emulated network
: This paper presents a novel e­learning platform  called   IREEL.   IREEL   is   a   virtual   laboratory   allowing  students to drive experiments with real...
Laurent Dairaine, Ernesto Exposito, Guillaume Jour...
SIGMOD
2011
ACM
177views Database» more  SIGMOD 2011»
14 years 7 days ago
NetTrails: a declarative platform for maintaining and querying provenance in distributed systems
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...
Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, An...
WOWMOM
2009
ACM
207views Multimedia» more  WOWMOM 2009»
15 years 3 months ago
Autoconfiguration procedures for multiradio wireless mesh networks based on DHCP protocol
We propose procedures for autoconfiguration of wireless mesh networks based on DHCP protocol. The proposed mechanism provides automatic address and radio parameters set-up for nod...
Krzysztof Grochla, Walter Buga, Piotr Pacyna, Jaro...
NETWORKING
2004
14 years 10 months ago
Experimental Analysis of the SABUL Congestion Control Algorithm
Several new protocols such as RBUDP, User-Level UDP, Tsunami, and SABUL, have been proposed as alternatives to TCP for high speed data transfer. The purpose of this paper is to an...
Phoemphun Oothongsap, Yannis A. Viniotis, Mladen A...