4485 search results - page 67 / 897 » Equivalences on Observable Processes |
DCC
2011
IEEE
13 years 3 months ago
2011
IEEE
In this paper, we use linear approximations of the addition modulo 2n of three n-bit integers to identify linear approximations of g1, g2, the feedback functions of HC-128. This, i...
FMSB
2008
13 years 10 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
FOSSACS
2006
Springer
14 years 12 days ago
2006
Springer
We prove that the equational theory of the process algebra BCCSP modulo completed simulation equivalence does not have a finite basis. Furthermore, we prove that with a finite alph...
CDVE
2004
Springer
14 years 2 months ago
2004
Springer
The physical environments in which design collaborations take place provide many affordances, which enable interactions to occur both seamlessly and (in most cases) successfully. P...
JRTIP
2007
13 years 8 months ago
2007
The paper presents a real-time algorithm that compensates image distortions due to atmospheric turbulence in video sequences, while keeping the real moving objects in the video unh...