1091 search results - page 83 / 219 » The State of Cognitive Systems Engineering |
IWPC
1996
IEEE
15 years 2 months ago
1996
IEEE
This paper reviews the state of the art on application knowledge acquisiton from existing software systems and defines the role of business rules. It then goes on to present a met...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
FSTTCS
2004
Springer
15 years 3 months ago
2004
Springer
This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recentl...
AAAI
1994
14 years 11 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
77
Voted
EMISA
2009
Springer
15 years 4 months ago
2009
Springer
: This keynote reports on a new class of processes - so called fluid processes - whose ”engineering” and ”use” is indistinguishable. Fluid processes are continually being ...