623 search results - page 5 / 125 » Declarative Network Verification |
CONEXT
2008
ACM
13 years 9 months ago
2008
ACM
Overlay networks create new networking services across nodes that communicate using pre-existing networks. MOSAIC is a unified declarative platform for constructing new overlay ne...
DALT
2009
Springer
14 years 2 months ago
2009
Springer
Online social networks are enjoying drastic increase in their population and connectivity. One of the fundamental issues in these networks is trust, which is an essential factor in...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Wireless sensor networks consist of a system of distributed sensors embedded in the physical world, and promise to allow observation of previously unobservable phenomena. Since th...
ICDE
2011
IEEE
12 years 11 months ago
2011
IEEE
—There is a growing interest in methods for analyzing data describing networks of all types, including information, biological, physical, and social networks. Typically the data ...
ICNP
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper presents the design and implementation of declarative policy-based adaptive MANET routing protocols. Our work builds upon declarative networking, a recent innovation ...