11022 search results - page 406 / 2205 » Programming Systems for Autonomy |
180
click to vote
ESORICS
2007
Springer
16 years 1 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...
171
click to vote
OOPSLA
2004
Springer
16 years 7 days ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
188
click to vote
ASP
2003
Springer
16 years 4 days ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
189
click to vote
ICES
2003
Springer
16 years 3 days ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
157
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
This paper is about a paradigm shift from the current practice of manually searching for and adapting components and their manual assembly to Generative Programming, which is the a...