2432 search results - page 25 / 487 » High-level approach to modeling of observed system behavior |
116
click to vote
UTP
2010
14 years 10 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
GECCO
2008
Springer
15 years 25 days ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
107
click to vote
ISDA
2009
IEEE
15 years 6 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...
143
click to vote
VLSID
1999
IEEE
15 years 4 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
UML
2004
Springer
15 years 5 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...