20 search results - page 3 / 4 » ase 2004 |
FMCO
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
AISM
2004
13 years 7 months ago
2004
The exchange of routing protocol updates is used to ensure that routers using an Internal Gateway Protocol (IGP) in an Autonomous System (AS), or routers using an External Gateway...
PODC
2004
ACM
13 years 11 months ago
2004
ACM
The Border Gateway Protocol (BGP) for interdomain routing is designed to allow autonomous systems (ASes) to express policy preferences over alternative routes. We model these pref...
SIGCOMM
2004
ACM
13 years 11 months ago
2004
ACM
Internet end users and ISPs alike have little control over how packets are routed outside of their own AS, restricting their ability to achieve levels of performance, reliability,...
CHI
2004
ACM
14 years 6 months ago
2004
ACM
In this paper we present ECS Display, a large plasma screen that tracks the user's point of gaze from a distance, without any calibration. We discuss how we applied ECS Displ...