709 search results - page 66 / 142 » An Equational Theory for Transactions |
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
ICIP
2000
IEEE
15 years 3 months ago
2000
IEEE
—A novel approach for color image denoising is proposed in this paper. The algorithm is based on separating the color data into chromaticity and brightness, and then processing e...
178
click to vote
SIGMOD
2007
ACM
15 years 11 months ago
2007
ACM
The proliferation of database-driven web sites (or web-databases) has brought upon a plethora of applications where both Quality of Service (QoS) and Quality of Data (QoD) are of ...
114
click to vote
ACISP
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we are interested in algebraic immunity of several well known highly-nonlinear vectorial Boolean functions (or Sboxes), designed for block and stream ciphers. Unfortu...