Sciweavers

5775 search results - page 216 / 1155
» A Rationale-based Analysis Tool
Sort
View
GI
2004
Springer
15 years 12 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
15 years 11 months ago
Timing modeling and analysis for AUTOSAR-based software development - a case study
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wol...
CDC
2009
IEEE
113views Control Systems» more  CDC 2009»
15 years 11 months ago
L2-induced gain analysis for a class of switched systems
— This paper addressed the computation of the L2-induced gain for a class of switched systems. The main contribution of the paper is to completely characterize the induced gain o...
Kenji Hirata, João Pedro Hespanha
WSC
2004
15 years 8 months ago
Sensitivity Analysis for Transient Single Server Queuing Models Using an Interpolation Approach
Simulation is an essential tool for performance evaluation of many practical systems where planners typically want to know how the system will perform under various parameter sett...
Mohamed A. Ahmed, Talal M. Alkhamis
IDEAL
2009
Springer
15 years 4 months ago
An Automatic Segmentation and Reconstruction of Mandibular Structures from CT-Data
In any medical data analysis a good visualization of specific parts or tissues are fundamental in order to perform accurate diagnosis and treatments. For a better understanding of ...
Iñigo Barandiarán, Iván Mac&i...