185 search results - page 24 / 37 » SOFL: A Formal Engineering Methodology for Industrial Applic... |
COMPSEC
2010
14 years 10 months ago
2010
In this paper we address the problem of reducing the role mining complexity in RBAC systems. To this aim, we propose a three steps methodology: first, we associate a weight to rol...
116
click to vote
ACMSE
2008
ACM
15 years 1 months ago
2008
ACM
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...
113
click to vote
EUROMICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
FASE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
104
click to vote
ATAL
2010
Springer
15 years 26 days ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...