709 search results - page 93 / 142 » An Equational Theory for Transactions |
CRYPTO
2006
Springer
15 years 2 months ago
2006
Springer
In the last ten years, multivariate cryptography has emerged as a possible alternative to public key cryptosystems based on hard computational problems from number theory. Notably,...
ICISP
2010
Springer
15 years 2 months ago
2010
Springer
Compressed Imaging is the theory that studies the problem of image recovery from an under-determined system of linear measurements. One of the most popular methods in this field i...
109
click to vote
LICS
1991
IEEE
15 years 2 months ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
IMAMS
2007
15 years 18 days ago
2007
In this paper, we consider the problem of analysing the shape of an object defined by polynomial equations in a domain. We describe regularity criteria which allow us to determine...
105
click to vote
WSPI
2008
15 years 18 days ago
2008
This work draws on the cultural historical activity-theory and the theory of social systems to model socio-technical systems. The concepts of practice, system, and context work as ...