3425 search results - page 250 / 685 » A Model Driven Approach for Software Systems Reliability |
116
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
161
click to vote
JSW
2007
15 years 4 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
136
click to vote
ICSEA
2008
IEEE
15 years 10 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
137
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
141
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Localization and classification of acoustic signals in a complex auditory scene is an every day task of the human auditory system. However, this problem presents a significant c...