5634 search results - page 317 / 1127 » About Abstract Classes |
132
click to vote
TOPNOC
2008
15 years 6 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...
160
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...
131
click to vote
DEDS
2002
15 years 5 months ago
2002
Abstract. We consider a generalized form of the conventional decentralized control architecture for discreteevent systems where the control actions of a set of supervisors can be `...
151
click to vote
EMISA
2002
Springer
15 years 5 months ago
2002
Springer
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
163
click to vote
INFORMATICALT
2000
15 years 5 months ago
2000
Abstract. The paper presents new method for sequential classification of the time series observations. Methods and algorithms of sequential recognition are obtained on the basis of...