1933 search results - page 347 / 387 » A Dynamic Theory of Ontology |
143
Voted
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
Prefix hijacking has always been a big concern in the Internet. Some events made it into the international world-news, but most of them remain unreported or even unnoticed. The s...
154
Voted
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
The Route Shepherd tool demonstrates applications of choosing between routing protocol configurations on the basis of rigorouslysupported theory. Splitting the configuration spa...
226
Voted
ICDCS
2012
IEEE
13 years 4 months ago
2012
IEEE
Datacenter networks typically have many paths connecting each host pair to achieve high bisection bandwidth for arbitrary communication patterns. Fully utilizing the bisection ban...
216
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
100
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...