Sciweavers

139 search results - page 17 / 28
» A specification language for the WIDE workflow model
Sort
View
SACMAT
2003
ACM
14 years 19 days ago
Dependencies and separation of duty constraints in GTRBAC
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBACā...
James Joshi, Basit Shafiq, Arif Ghafoor, Elisa Ber...
ACE
2004
218views Education» more  ACE 2004»
13 years 8 months ago
Executable/Translatable UML in Computing Education
The Unified Modelling Language (UML) is a diagrammatic notation widely used in the computing industry and often taught in universities as a way to represent software requirements ...
Shayne Flint, Henry Gardner, Clive Boughton
SIGGRAPH
1992
ACM
13 years 11 months ago
Generative modeling: a symbolic system for geometric modeling
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
John M. Snyder, James T. Kajiya
ECMDAFA
2006
Springer
107views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
Mutation Analysis Testing for Model Transformations
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
VLDB
1997
ACM
94views Database» more  VLDB 1997»
13 years 11 months ago
To Weave the Web
The paper discusses the issue of views in the Web context. We introduce a set of languages for managing and restructuring data coming from the World Wide Web. We present a specifi...
Paolo Atzeni, Giansalvatore Mecca, Paolo Merialdo