1413 search results - page 49 / 283 » Bisimilarity of Open Terms |
CALCO
2005
Springer
15 years 6 months ago
2005
Springer
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
94
Voted
HOTNETS
2010
14 years 7 months ago
2010
The OpenFlow framework enables flow-level control over Ethernet switching, as well as centralized visibility of the flows in the network. OpenFlow's coupling of these feature...
103
Voted
TCC
2010
Springer
15 years 7 months ago
2010
Springer
Introduced by Micali, Rabin and Kilian (MRK), the basic primitive of zero-knowledge sets (ZKS) allows a prover to commit to a secret set S so as to be able to prove statements such...
98
Voted
SIGCOMM
2012
ACM
13 years 3 months ago
2012
ACM
We present a methodology that brings simplicity to large and comt labs by using abstraction. The networking community has appreciated the value of large scale test labs to explore...
96
Voted
ENTCS
2006
15 years 23 days ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...