5314 search results - page 664 / 1063 » Hybrid Dynamic Programming |
181
click to vote
OOGRAPHICS
1992
15 years 11 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
160
click to vote
JELIA
1990
Springer
15 years 11 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
165
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
174
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
166
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
: Nowadays information systems are required to adapt themselves dynamically to the ever changing environment and requirements. Architectural reflection represents a principled mean...