108 search results - page 13 / 22 » Application of the MINOE regulatory analysis framework: case... |
CSMR
2005
IEEE
14 years 10 days ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
EUSFLAT
2001
13 years 8 months ago
2001
This work points out advantages for the application of fuzzy logic in organization analysis and control. From the presented motivations we propose both a managerial control cycle ...
SIGMETRICS
2008
ACM
13 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
SAFECOMP
2007
Springer
14 years 25 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
DATE
2006
IEEE
14 years 23 days ago
2006
IEEE
— Traffic shaping is a well-known technique in the area of networking and is proven to reduce global buffer requirements and end-to-end delays in networked systems. Due to these...