7892 search results - page 117 / 1579 » Programming with Models |
KR
2010
Springer
15 years 6 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
PADL
2007
Springer
15 years 7 months ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
116
click to vote
FSEN
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
ESORICS
2007
Springer
15 years 7 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
118
click to vote
GPEM
2002
15 years 1 months ago
2002
A representation-less model for genetic programming is presented. The model is intended to examine the mechanisms that lead to bloat in genetic programming (GP). We discuss two hyp...