3765 search results - page 92 / 753 » Formal Methods for Systems Engineering Behavior Models |
117
click to vote
IFIPTCS
2000
15 years 6 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
114
click to vote
TSMC
2010
14 years 9 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
143
click to vote
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
140
click to vote
ICFEM
1997
Springer
15 years 6 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
113
click to vote
ISEMANTICS
2010
15 years 3 months ago
2010
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...