Sciweavers

476 search results - page 35 / 96
» The Complexity of Equality Constraint Languages
Sort
View
GSEM
2007
Springer
14 years 3 months ago
A Policy Language for Integrating Heterogeneous Authorization Policies
In order to manage and enforce multiple heterogeneous authorization policies in distributed authorization environment, we defined the root policy specification language and its cor...
Wei Zhou, Christoph Meinel
IANDC
2011
129views more  IANDC 2011»
13 years 3 months ago
Rigid tree automata and applications
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
Florent Jacquemard, Francis Klay, Camille Vacher
VLDB
1989
ACM
77views Database» more  VLDB 1989»
14 years 29 days ago
ENIAM: A More Complete Conceptual Schema Language
The problem of knowledge representation has been extensively addressedin the information systemsfield and there has been a wide range of suggestionsfor capturing semantics.A numbe...
Peter N. Creasy
FTEDA
2006
113views more  FTEDA 2006»
13 years 9 months ago
Languages and Tools for Hybrid Systems Design
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are s...
Luca P. Carloni, Roberto Passerone, Alessandro Pin...
VLDB
1991
ACM
179views Database» more  VLDB 1991»
14 years 12 days ago
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
Antonio Albano, Giorgio Ghelli, Renzo Orsini