217 search results - page 15 / 44 » Abstract Processes of Place Transition Systems |
132
click to vote
TOPNOC
2008
15 years 5 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
144
click to vote
FAC
2008
15 years 5 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
145
click to vote
IEAAIE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Configuration is the process of composing a system from a set of components such that the system fulfills a set of desired demands. The configuration process relies on a ...
166
click to vote
MICAI
2005
Springer
15 years 11 months ago
2005
Springer
We propose a novel, high-level model of human learning and cognition, based on association forming. The model configures any input data stream featuring a high incidence of repeti...
170
click to vote
IJRR
2006
15 years 5 months ago
2006
Here, we propose a planning method for knotting/unknotting of deformable linear objects. First, we propose a topological description of the state of a linear object. Second, trans...