1451 search results - page 155 / 291 » Case Studies in Model Manipulation for Scientific Computing |
168
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
161
Voted
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...
181
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
174
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
128
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...