3765 search results - page 239 / 753 » Formal Methods for Systems Engineering Behavior Models |
173
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
144
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
199
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
202
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Computerized clinical guidelines can provide significant benefits to health outcomes and costs, however, their effective implementation presents significant problems. Vagueness an...
184
click to vote
IJPRAI
2000
15 years 6 months ago
2000
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...