925 search results - page 106 / 185 » Connectivity on Complete Lattices |
143
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...
154
click to vote
NCA
2005
IEEE
15 years 11 months ago
2005
IEEE
Datacenters are complex environments consisting of thousands of failure-prone commodity components connected by fast, high-capacity interconnects. The software running on such dat...
179
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
249
click to vote
WCFLP
2005
ACM
15 years 11 months ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
121
click to vote
GRID
2005
Springer
15 years 11 months ago
2005
Springer
— QoS and congestion performance are crucial to good application performance in a utility computing environment. Unfortunately, proper IP QoS setup is very complex and is either ...