3765 search results - page 21 / 753 » Formal Methods for Systems Engineering Behavior Models |
141
click to vote
AAAI
1996
15 years 3 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
106
click to vote
DATESO
2008
15 years 3 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
129
click to vote
ACSD
2004
IEEE
15 years 6 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
121
click to vote
ISOLA
2010
Springer
15 years 24 days ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
139
Voted
EMSOFT
2006
Springer
15 years 4 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 ...