10072 search results - page 297 / 2015 » Composition of Model Programs |
235
click to vote
ICNS
2006
IEEE
16 years 1 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
195
click to vote
ICECCS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
216
click to vote
CC
2003
Springer
16 years 13 days ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
181
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
220
click to vote
JVA
2006
IEEE
16 years 1 months ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...