5353 search results - page 691 / 1071 » Modelling Contexts in the Or-BAC Model |
204
click to vote
MOBILITY
2009
ACM
16 years 8 days ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
186
click to vote
IFIP
2001
Springer
16 years 2 days ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
215
click to vote
AGP
1999
IEEE
15 years 12 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
201
click to vote
METRICS
1999
IEEE
15 years 12 months ago
1999
IEEE
Success factors for measurement programs as identified in the literature typically focus on the `internals' of the measurement program: incremental implementation, support fr...
206
click to vote
LOPSTR
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...