1895 search results - page 280 / 379 » Using ATL for Checking Models |
113
click to vote
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...
146
click to vote
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
151
click to vote
AMOST
2007
ACM
15 years 6 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
135
Voted
BPM
2008
Springer
15 years 4 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
143
Voted
DBSEC
2010
14 years 11 months ago
2010
Abstract. This paper describes how to preserve integrity and confidentiality of a directed acyclic graph (DAG) model of provenance database. We show a method to preserve integrity ...