10263 search results - page 58 / 2053 » From Use Cases to System Operation Specifications |
ECAI
2006
Springer
14 years 15 days ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
ENGL
2006
13 years 8 months ago
2006
In recent years Neural Networks have been widely used as pattern and statistical classifiers in bio medical engineering. Most research to date using hybrid systems (Fuzzy-Neuro) fo...
INFSOF
2008
13 years 8 months ago
2008
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...
ENTCS
2002
13 years 8 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
CAISE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...