1496 search results - page 190 / 300 » Definability of Initial Segments |
118
click to vote
FUIN
2008
15 years 5 months ago
2008
The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for...
166
click to vote
IAJIT
2008
15 years 5 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
104
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
We propose a notion of a stable partition in a coalitional game that is parametrized by the concept of a defection function. This function assigns to each partition of the grand c...
141
click to vote
IIE
2008
15 years 5 months ago
2008
Abstract. Informatics is currently being taught in high schools all over the world. In the Netherlands, where all students are expected to become computer literate in the lower gra...
195
click to vote
ENTCS
2006
15 years 5 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...