500 search results - page 40 / 100 » Quantified Conditionals and Compositionality |
MMSEC
2005
ACM
15 years 3 months ago
2005
ACM
When creating a digital composite of, for example, two people standing side-by-side, it is often difficult to match the lighting conditions from the individual photographs. Lighti...
113
click to vote
CSFW
1996
IEEE
15 years 1 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
TPPP
1994
15 years 1 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
ENTCS
2010
14 years 9 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
ICCAD
1995
IEEE
15 years 1 months ago
1995
IEEE
This paper describes two techniques to quantify energy consumption of burst-modeasynchronous(clock-less)controlcircuits. The circuit specifications consideredare extended burst-m...