Sciweavers

7329 search results - page 1282 / 1466
» Network Extractor Protocols
Sort
View
ACTA
2010
104views more  ACTA 2010»
15 years 4 months ago
Reachability results for timed automata with unbounded data structures
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
AHSWN
2010
103views more  AHSWN 2010»
15 years 4 months ago
Efficient Data Retrieving in Distributed Data-streaming Environments
In a potential distributed application, Automobile Tracking System (ATS), automobile location data is continuously generated, kept in a distributed manner. As large amount of traff...
Jinsong Han, Jun Miao, Jizhong Zhao, Jinpeng Huai,...
CN
2008
86views more  CN 2008»
15 years 4 months ago
Enhanced bulk scheduling for supporting delay sensitive streaming applications
Providing end-to-end delay guarantees for delay sensitive applications is an important packet scheduling issue with routers. In this paper, to support end-to-end delay requirement...
Yung-Cheng Tu, Meng Chang Chen, Yeali S. Sun, Wei ...
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 4 months ago
Applying Prolog to Develop Distributed Systems
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko...
CN
2006
82views more  CN 2006»
15 years 4 months ago
Fluid-flow analysis of TCP Westwood with RED
This paper concerns TCP Westwood, a recently developed modification of TCP, in combination with RED queue management. We develop a fluid-flow model of the protocol, and use it to s...
Jiwei Chen, Fernando Paganini, M. Y. Sanadidi, Ren...
« Prev « First page 1282 / 1466 Last » Next »