1268 search results - page 254 / 254 » Verifying distributed systems: the operational approach |
SIGCOMM
2010
ACM
13 years 5 months ago
2010
ACM
The Internet is organized as a collection of administrative domains, known as Autonomous Systems (ASes). These ASes interact through the Border Gateway Protocol (BGP) that allows ...
BIRTHDAY
2010
Springer
13 years 3 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
MOBISYS
2007
ACM
14 years 4 months ago
2007
ACM
In this work, we investigate the use of directional antennas and beam steering techniques to improve performance of 802.11 links in the context of communication between a moving v...