Sciweavers

1660 search results - page 185 / 332
» Abstract Application Modeling for System Design Space Explor...
Sort
View
ECSA
2008
Springer
15 years 6 months ago
Modeling Architectural Patterns' Behavior Using Architectural Primitives
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...
Ahmad Waqas Kamal, Paris Avgeriou
WOSP
2010
ACM
15 years 4 months ago
Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
Anne Martens, Heiko Koziolek, Steffen Becker, Ralf...
167
Voted
UML
2005
Springer
15 years 10 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
CHI
1999
ACM
15 years 9 months ago
Interactive 3D Sound Hyperstories for Blind Children
Interactive software is currently used for learning and entertainment purposes. This type of software is not very common among blind children because most computer games and elect...
Mauricio Lumbreras, Jaime Sánchez
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
15 years 5 months ago
Computing robustness of FlexRay schedules to uncertainties in design parameters
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov...