5599 search results - page 187 / 1120 » Abstract State Services |
138
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
104
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a model of a recurrent neural network, embodied in a minimalist articulated agent with a single link and joint. The configuration of the agent defined by one...
120
click to vote
ACOM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Message semantics are traditionally defined in terms of mental states, which is a trend that is criticized for assuming the sincerity and cooperativeness of agents. To c...
114
click to vote
EUROCRYPT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We provide identi£cation protocols that are secure even when the adversary can reset the internal state and/or randomization source of the user identifying itself, and w...
127
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...