709 search results - page 121 / 142 » An Equational Theory for Transactions |
95
Voted
ECAL
2003
Springer
15 years 6 months ago
2003
Springer
This paper proposes an evolutionary-game-theory model, called meta-evolutionary game dynamics, for studying the dynamics of rules and individual behaviour. Although there are two g...
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
119
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...
85
Voted
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...
100
click to vote
IJCNN
2000
IEEE
15 years 5 months ago
2000
IEEE
A two-neural network approach to solving nonlinear optimal control problems is described in this study. This approach called the adaptive critic method consists of one neural netw...