11022 search results - page 406 / 2205 » Programming Systems for Autonomy |
195
Voted
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...
182
click to vote
OOPSLA
2004
Springer
16 years 26 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...
199
click to vote
ASP
2003
Springer
16 years 22 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...
214
Voted
ICES
2003
Springer
16 years 22 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...
167
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...