3828 search results - page 564 / 766 » Proof-Based System Engineering Using a Virtual System Model |
162
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
155
click to vote
WSC
2000
15 years 7 months ago
2000
This paper discusses Simphony as an integrated environment for building special purpose simulation tools for modeling construction systems. Simphony provides various services that...
161
click to vote
EMSOFT
2009
Springer
16 years 29 days ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
155
Voted
ISPASS
2006
IEEE
16 years 12 days ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. Performance evaluations are therefore often done using logs of workloads on current productions s...
192
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...