5314 search results - page 282 / 1063 » Hybrid Dynamic Programming |
177
click to vote
SPLC
2004
15 years 8 months ago
2004
Abstract. This paper considers the use of a state-of-the-art, generalpurpose, component programming language, specifically ArchJava, to implement software product lines. Component ...
205
click to vote
MSCS
2006
15 years 6 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
172
click to vote
ISORC
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
189
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
159
click to vote
CIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...