4211 search results - page 152 / 843 » A formal approach to MASQ |
168
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
160
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
172
click to vote
GAMESEC
2010
15 years 4 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
173
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
184
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...