81 search results - page 15 / 17 » Tool Support for OCL and Related Formalisms - Needs and Tren... |
HT
1987
ACM
14 years 7 days ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
TPHOL
1997
IEEE
14 years 29 days ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
ESORICS
2007
Springer
14 years 20 days ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
ER
1995
Springer
14 years 9 days ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
ASWC
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Ontology construction is a labour-intensive and costly process. Even though many formal and semi-formal vocabularies are available, creating an ontology for a specific ap...