3765 search results - page 65 / 753 » Formal Methods for Systems Engineering Behavior Models |
MICAI
2000
Springer
14 years 9 days ago
2000
Springer
Artificial Neural Networks (ANN) are an emerging technology, yet, in continuous dynamic behavior, much work has been done to attempt to generate a formal method to design a contro...
NLE
2010
13 years 7 months ago
2010
Pyramid annotation makes it possible to evaluate quantitatively and qualitatively the content of machine-generated (or human) summaries. Evaluation methods must prove themselves a...
CBSE
2009
Springer
14 years 1 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
WSC
2000
13 years 10 months ago
2000
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...