247 search results - page 30 / 50 » Stable models and an alternative logic programming paradigm |
CCECE
2006
IEEE
15 years 5 months ago
2006
IEEE
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
189
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
137
click to vote
CSCLP
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
107
click to vote
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...