3425 search results - page 564 / 685 » A Model Driven Approach for Software Systems Reliability |
117
click to vote
ECTEL
2007
Springer
15 years 9 months ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
116
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
126
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
108
Voted
ISSE
2010
15 years 1 months ago
2010
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
176
Voted
ARCS
2012
Springer
13 years 11 months ago
2012
Springer
: This paper presents a novel approach to efficiently perform early system level design space exploration (DSE) of MultiProcessor System-on-Chip (MPSoC) based embedded systems. By...