423 search results - page 48 / 85 » The Generalization of Generalized Automata: Expression Autom... |
FASE
2004
Springer
14 years 12 days ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
PEWASUN
2006
ACM
14 years 2 months ago
2006
ACM
Mobility, in its various forms, is one of the sources of several technical challenges being addressed in the last years to achieve a more flexible computing and communication inf...
EMSOFT
2006
Springer
14 years 10 days 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...
ACTA
2010
13 years 8 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...