709 search results - page 33 / 142 » An Equational Theory for Transactions |
68
Voted
ISSAC
2005
Springer
15 years 4 months ago
2005
Springer
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...
81
Voted
FPLE
1995
15 years 2 months ago
1995
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
115
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
95
Voted
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...