10072 search results - page 297 / 2015 » Composition of Model Programs |
216
click to vote
ICNS
2006
IEEE
16 years 21 days 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 ...
172
click to vote
ICECCS
2006
IEEE
16 years 21 days 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...
195
click to vote
CC
2003
Springer
15 years 12 months 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...
160
click to vote
LPNMR
2007
Springer
16 years 24 days 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...
195
click to vote
JVA
2006
IEEE
16 years 20 days 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...