4763 search results - page 381 / 953 » On the Execution of Deep Models |
188
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
202
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
168
click to vote
MODELLIERUNG
2004
15 years 8 months ago
2004
: We consider socio-technical processes, i.e. processes where machines as well as humans participate. Typical examples occur in sales processes in e-commerce. Three modeling tasks ...
183
click to vote
ASE
2008
15 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
200
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Software Visualization encompasses the development and evaluation of methods for graphically representing different aspects of methods of software, including its structure, execut...