380 search results - page 44 / 76 » Operational Semantics for Declarative Networking |
110
Voted
SIGCOMM
2009
ACM
15 years 9 months ago
2009
ACM
BGP routing policies are mainly used by network operators to enforce business relationships between Autonomous Systems (AS), and to prefer some routes over others. In this paper, ...
136
Voted
PEPM
2009
ACM
15 years 11 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
130
Voted
TSE
1998
15 years 2 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
148
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
116
Voted
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
To address the privacy concerns associated with RFID, previous work proposed an approach, where RFID readers do not only broadcast commands to inventory tag populations, but also ...