3425 search results - page 116 / 685 » A Model Driven Approach for Software Systems Reliability |
138
click to vote
ICCSA
2010
Springer
15 years 24 days ago
2010
Springer
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
128
Voted
RE
2002
Springer
15 years 3 months ago
2002
Springer
Requirements analysis for an Intrusion Detection System (IDS) involves deriving requirements for the IDS from analysis of the intrusion domain. When the IDS is, as here, a collecti...
210
Voted
ECMDAFA
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
104
Voted
FASE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
114
Voted
ISLPED
2007
ACM
15 years 5 months ago
2007
ACM
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. One a...