11168 search results - page 124 / 2234 » Abstract State Processes |
119
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
159
click to vote
WCRE
1995
IEEE
15 years 8 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
132
click to vote
NIPS
2000
15 years 5 months ago
2000
We present an expressive agent design language for reinforcement learning that allows the user to constrain the policies considered by the learning process.The language includes s...
137
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract − A deadlock-free unsafe (DFU) state of Resource Allocation System (RAS) is deadlock-free but inevitable to enter a deadlock state. Previous research revealed that in ma...
101
Voted
DAIS
2007
15 years 6 months ago
2007
Abstract. Replication systems require a state-transfer mechanism in order to recover crashed replicas and to integrate new ones into replication groups. This paper presents and eva...