200 search results - page 10 / 40 » A Core Calculus for Provenance |
164
Voted
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
115
Voted
TGC
2005
Springer
15 years 9 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
131
Voted
ICECCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
164
Voted
ESOP
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
117
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, the program control unit of an embedded RISC processor is enhanced with a novel zerooverhead loop controller (ZOLC) supporting arbitrary loop structures with multip...