3429 search results - page 188 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
130
click to vote
AAAI
2008
15 years 6 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
137
click to vote
JHSN
2006
15 years 3 months ago
2006
We present a refined model for Role Based Access Control policies and define a risk measure for the model, which expresses elements of the operational, combinatorial and conflict ...
127
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
203
Voted
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
122
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...