12981 search results - page 597 / 2597 » Model Checking (Abstract) |
181
click to vote
SOSYM
2008
15 years 7 months ago
2008
The syntax of modeling languages is usually defined in two steps. The abstract syntax identifies modeling concepts whereas the concrete syntax clarifies how these modeling concepts...
176
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters
192
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
177
click to vote
TBILLC
2007
Springer
16 years 1 months ago
2007
Springer
In the line of some earlier work done on belief dynamics, we an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A modal la...