2136 search results - page 84 / 428 » Learning Behavior Models for Hybrid Timed Systems |
89
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
128
click to vote
EMSOFT
2006
Springer
15 years 2 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
138
click to vote
ANSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Anomaly detection systems largely depend on user profile data to be able to detect deviation from normal activity. Most of this profile data is based on commands executed by use...
127
Voted
FMCO
2003
Springer
15 years 5 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...
113
Voted
IEEECIT
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...