3429 search results - page 327 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
157
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
In access-control systems, policy rules conflict when they prescribe different decisions (ALLOW or DENY) for the same access. We present the results of a user study that demonstr...
118
Voted
ISMVL
2003
IEEE
15 years 10 months ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...
130
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
165
click to vote
ACMICEC
2005
ACM
15 years 10 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
157
click to vote
ENTCS
2007
15 years 4 months ago
2007
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...