3742 search results - page 38 / 749 » On the Use of Formal Techniques for Validation |
84
Voted
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
106
click to vote
ISEUD
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Inputs to web forms often contain typos or other errors. However, existing web form design tools require end-user developers to write regular expressions (“regexps”) ...
111
click to vote
IJSEKE
2006
14 years 11 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
SAC
2010
ACM
15 years 6 months ago
2010
ACM
We present an automated ontology matching methodology, supported by various machine learning techniques, as implemented in the system MoTo. The methodology is twotiered. On the ...
FORTE
2004
15 years 1 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...