Sciweavers

1636 search results - page 215 / 328
» Dynamic and Distributed Interaction Protocols
Sort
View
WSC
1997
15 years 5 months ago
Million Dollar Logistic Decisions Using Simulation
This paper presents the development of a flexible simulation model of the rail operations at the Tropicana facility in Bradenton, Florida. The complexity of the process and system...
Michael Carr, Howard Way
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 1 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
250
Voted

Publication
304views
17 years 2 months ago
A Binary Feedback Scheme for Congestion Avoidance in Computer Networks with Connectionless Network Layer
We propose a scheme for congestion avoidance in networks using a connectionless protocol at the network layer. The scheme uses a minimal amount of feedback from the network to the ...
K. Ramakrishnan and R. Jain
GLOBECOM
2006
IEEE
15 years 10 months ago
Integrated Data Delivery and Interest Dissemination Techniques for Wireless Sensor Networks
— The paper presents IRIS, an Integrated Routing and Interest dissemination System for wireless sensor networks. The proposed protocols are designed to work under very low duty c...
Michele Mastrogiovanni, Chiara Petrioli, Michele R...
WOWMOM
2005
ACM
113views Multimedia» more  WOWMOM 2005»
15 years 9 months ago
High Throughput Routing in Hybrid Cellular and Ad-Hoc Networks
—Hybrid networks are a promising architecture that builds ad hoc, wireless networks around the existing cellular telephony infrastructure. In this paper we present DST, a routing...
Ioannis Ioannidis, Bogdan Carbunar, Cristina Nita-...