925 search results - page 106 / 185 » Connectivity on Complete Lattices |
170
click to vote
INFOCOM
2005
IEEE
16 years 14 days 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...
171
click to vote
NCA
2005
IEEE
16 years 13 days 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...
194
click to vote
SEFM
2005
IEEE
16 years 13 days 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 ...
274
click to vote
WCFLP
2005
ACM
16 years 13 days 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 ...
143
click to vote
GRID
2005
Springer
16 years 12 days 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 ...