860 search results - page 89 / 172 » A Process Algebra Based Verification of a Production System |
AUSAI
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper presents a formulation of an optimality principle for a new class of concurrent decision systems formed by products of deterministic Markov decision processes ...
ADBIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Quality of software has growing role of the modern software engineering work. Typical current trends in the development process are the dominating role of quality systems...
ISF
2006
13 years 9 months ago
2006
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
ISDA
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, an OntoCrawler based on the ontology-supported technique for webpage searching was proposed, in which only user entered some keywords would the system supported by ...