224 search results - page 35 / 45 » Policy Specification for Programmable Networks |
100
Voted
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
Sora is a fully programmable, high performance software radio platform based on commodity general-purpose PC. In this demonstration, we illustrate the main features of the Sora pl...
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
125
click to vote
EXPERT
2006
15 years 1 months ago
2006
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
115
click to vote
CCR
2004
15 years 1 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
96
Voted
ISSA
2008
15 years 3 months ago
2008
The drive from the South African Government towards the adoption of open source software across all platforms, incurred a number of research and development questions. The open so...