3090 search results - page 301 / 618 » On Testing Answer-Set Programs |
169
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
149
click to vote
USS
2004
15 years 8 months ago
2004
It is well known that it is insecure to use the access(2) system call in a setuid program to test for the ability of the program's executor to access a file before opening sa...
166
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...
185
Voted
PRL
2006
15 years 6 months ago
2006
Objects retain their color in spite of changes in the wavelength and energy composition of the light they reflect. This phenomenon is called color constancy and plays an important ...
220
click to vote
TOPLAS
2010
15 years 5 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...