2947 search results - page 213 / 590 » The timely token protocol |
139
click to vote
IMC
2007
ACM
15 years 8 months ago
2007
ACM
The Dynamic Host Configuration Protocol (DHCP) is used to dynamically allocate address space to hosts on a local area network. Despite its widespread usage, few studies exist on ...
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
159
click to vote
AAAI
2010
15 years 8 months ago
2010
For many election systems, bribery (and related) attacks have been shown NP-hard using constructions on combinatorially rich structures such as partitions and covers. It is import...
169
click to vote
SIGMETRICS
1998
ACM
15 years 6 months ago
1998
ACM
We discuss the problem of detecting errors in measurements of the total delay experienced by packets transmitted through a wide-area network. We assume that we have measurements o...
178
click to vote
ICNP
2005
IEEE
16 years 3 days ago
2005
IEEE
While extensive efforts have been devoted to providing optimization based, distributed congestion control schemes for efficient bandwidth utilization and fair allocation in both ...