4890 search results - page 273 / 978 » From system specifications to component behavioral models |
168
click to vote
HICSS
2006
IEEE
16 years 24 days ago
2006
IEEE
When large amount of statistical information about power system component failure rate is available, statistical parametric models can be developed for predictive maintenance. Oft...
143
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
174
click to vote
CCE
2006
15 years 6 months ago
2006
The neural network (NN) models well trained and validated by the same data may exhibit noticeably different predictabilities in applications. This is mainly due to the fact that t...
171
click to vote
JFP
2008
15 years 6 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
157
Voted
LREC
2008
15 years 8 months ago
2008
In biomedical articles, terms with the same surface forms are often used to refer to different entities across a number of model organisms, in which case determining the species b...