6885 search results - page 54 / 1377 » The micro-structure of use of help |
TSE
1998
13 years 9 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
INCDM
2010
Springer
13 years 8 months ago
2010
Springer
Many real world systems can be modeled as networks or graphs. Clustering algorithms that help us to organize and understand these networks are usually referred to as, graph based c...
ISOLA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
JOT
2010
13 years 8 months ago
2010
Abstract Periodic refactoring of a large source code often becomes a necessity especially for long-lived projects. In order to increase maintainability and extensibility of such pr...
MICCAI
2010
Springer
13 years 8 months ago
2010
Springer
To regularize cardiac motion recovery from medical images, electromechanical models are increasingly popular for providing a priori physiological motion information. Although these...