1121 search results - page 182 / 225 » Building Formal Requirements Models for Reliable Software |
158
click to vote
LCTRTS
2010
Springer
15 years 1 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
131
click to vote
FSTTCS
2003
Springer
15 years 9 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
134
click to vote
WWW
2003
ACM
16 years 4 months ago
2003
ACM
The vision of the Semantic Web can only be realized through proliferation of well-known ontologies describing different domains. To enable interoperability in the Semantic Web, it...
150
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
156
click to vote
TCAD
2008
15 years 3 months ago
2008
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...