Sciweavers

3229 search results - page 505 / 646
» The Theory of Timed Automata
Sort
View
INFOCOM
2003
IEEE
15 years 12 months ago
Impact of Interferences on Connectivity in Ad Hoc Networks
Abstract— We study the impact of interferences on the connectivity of large-scale ad-hoc networks, using percolation theory. We assume that a bi-directional connection can be set...
Olivier Dousse, François Baccelli, Patrick ...
INFOCOM
2003
IEEE
15 years 12 months ago
A State Feedback Control Approach to Stabilizing Queues for ECN-Enabled TCP Connections
— In this paper, we present an analytical TCP model that takes into account of several issues that were ignored in the other existing models (such as those in [15], [19]), i.e., ...
Yuan Gao, Jennifer C. Hou
IRI
2003
IEEE
15 years 11 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
SBACPAD
2003
IEEE
112views Hardware» more  SBACPAD 2003»
15 years 11 months ago
Load Balancing on Stateful Clustered Web Servers
— One of the main challenges to the wide use of the Internet is the scalability of the servers, that is, their ability to handle the increasing demand. Scalability in stateful se...
George Teodoro, Tulio Tavares, Bruno Coutinho, Wag...
COMPGEOM
2003
ACM
15 years 11 months ago
Updating and constructing constrained delaunay and constrained regular triangulations by flips
I discuss algorithms based on bistellar flips for inserting and deleting constraining (d − 1)-facets in d-dimensional constrained Delaunay triangulations (CDTs) and weighted CD...
Jonathan Richard Shewchuk