1818 search results - page 326 / 364 » Granularity-Adaptive Proof Presentation |
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper presents a link model which captures the queue dynamics when congestion windows of TCP sources change. By considering both the self-clocking and the link integrator ...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper considers the problem of model based control of the joints of a snake robot without wheels. The potential range of applications for snake robots are numerous, and de...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
BIRTHDAY
2007
Springer
14 years 2 months ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...