972 search results - page 102 / 195 » Design and Protocol for Internet Accessible Mathematical Com... |
GI
2001
Springer
14 years 2 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
LAWEB
2005
IEEE
14 years 3 months ago
2005
IEEE
This work addresses the question of supporting web designers in considering usability in their work in order to foster user-centered design of web sites. With the MetroWeb tool th...
VRML
2000
ACM
14 years 2 months ago
2000
ACM
This paper describes initial research using the Virtual Reality Modeling Language (VRML97) in construction industry applications. The modeling of steel structures and construction...
CONEXT
2006
ACM
14 years 4 months ago
2006
ACM
Running the Border Gateway Protocol (BGP), the Internet’s interdomain routing protocol, consumes a large amount of memory. A BGP-speaking router typically stores one or more rou...
SIGCOMM
2012
ACM
12 years 20 days ago
2012
ACM
There has been a great interest in defining a new network architecture that can meet the needs of a future Internet. One of the main challenges in this context is how to realize ...