Sciweavers

4451 search results - page 584 / 891
» Continuous model synthesis
Sort
View
STOC
2003
ACM
99views Algorithms» more  STOC 2003»
16 years 7 months ago
On the fractal behavior of TCP
We propose a natural, mathematically tractable model of TCP which captures both its additive-increase, multiplicative-decrease behavior and its feedback mechanism. Neither a fluid...
Anna C. Gilbert, Howard J. Karloff
KBSE
2009
IEEE
16 years 1 months ago
A Framework for State-Space Exploration of Java-Based Actor Programs
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul...
P2P
2009
IEEE
137views Communications» more  P2P 2009»
16 years 1 months ago
Analysis of Failure Correlation Impact on Peer-to-Peer Storage Systems
Abstract—Peer-to-peer storage systems aim to provide a reliable long-term storage at low cost. In such systems, peers fail continuously, hence, the necessity of self-repairing me...
Olivier Dalle, Frédéric Giroire, Jul...
SAINT
2008
IEEE
16 years 1 months ago
Observing Walking Behavior of Humans Using Distributed Phenomenon Detection and Tracking Mechanisms
The utility of walking parameters such as stride length, cadence and gait velocity for monitoring motor functions of patients suffering from brain injury, Parkinson’s disease an...
Raja Bose, Abdelsalam Helal
GLOBECOM
2007
IEEE
16 years 1 months ago
A Steepest Descent Relocation Algorithm for Placement of Sinks in a Sensor Network
— In this paper we use an information flow model for placement of traffic sinks in a wireless sensor network. Our mathematical model translates a communication network composed...
Mehdi Kalantari, Mark A. Shayman