3429 search results - page 188 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
119
click to vote
AAAI
2008
15 years 4 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...
124
click to vote
JHSN
2006
15 years 2 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 ...
117
Voted
ATAL
2007
Springer
15 years 8 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...
186
click to vote
CONCUR
2001
Springer
15 years 7 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...
111
Voted
AIME
2007
Springer
15 years 8 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...