2714 search results - page 248 / 543 » A Service-Oriented Approach for Model Management |
136
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...
123
Voted
IRI
2007
IEEE
15 years 11 months ago
2007
IEEE
Recently, administration of RBAC systems using rolebased approach has become very appealing because of the benefits that a role-based approach typically brings. This approach uses...
126
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
168
click to vote
ISTAR
2008
15 years 6 months ago
2008
One major obstacle to requirements engineering (RE) is the growing complexity of today's systems. Such a complexity can only be fficiently by powerful abstraction mechanisms a...
137
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...