1024 search results - page 44 / 205 » Compositional Methods for Probabilistic Systems |
102
click to vote
CAV
2009
Springer
15 years 8 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
118
click to vote
IFM
2010
Springer
14 years 11 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...
107
click to vote
TSE
2010
14 years 11 months ago
2010
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
107
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
120
click to vote
SFM
2009
Springer
15 years 7 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...