4485 search results - page 153 / 897 » Equivalences on Observable Processes |
LICS
2012
IEEE
12 years 16 days 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...
ICIP
2007
IEEE
14 years 11 months ago
2007
IEEE
A representation for observing local image content is proposed for the purpose of considering the distinguishing characteristics of visual content that tends to draw a human obser...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...
ESORICS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
ICALP
2010
Springer
14 years 2 months ago
2010
Springer
We say that a polynomial f(x1, . . . , xn) is indecomposable if it cannot be written as a product of two polynomials that are defined over disjoint sets of variables. The polynom...