7892 search results - page 179 / 1579 » Programming with Models |
136
click to vote
ASP
2001
Springer
15 years 6 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
132
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
110
click to vote
CCECE
2006
IEEE
15 years 7 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...
132
click to vote
ALT
1994
Springer
15 years 5 months ago
1994
Springer
Most studies modeling inaccurate data in Gold style learning consider cases in which the number of inaccuracies is finite. The present paper argues that this approach is not reaso...
125
click to vote
CODES
2004
IEEE
15 years 5 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...