4350 search results - page 83 / 870 » Case studies for contract-based systems |
SAFECOMP
2005
Springer
14 years 3 months ago
2005
Springer
Event trees are a popular technique for modelling accidents in system safety analyses. Bayesian networks are a probabilistic modelling technique representing influences between unc...
DBPL
2001
Springer
14 years 2 months ago
2001
Springer
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
FLAIRS
2000
13 years 11 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
CLEIEJ
2006
13 years 10 months ago
2006
Learning Management System (LMS) development has become a high priority project for educational institutions and organizations, as it provides the virtual environment for online e...
SEFM
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...