2859 search results - page 181 / 572 » A Programming Environment for Bousi-Prolog |
159
click to vote
CSFW
2011
IEEE
14 years 4 months ago
2011
IEEE
—Randomization is used in computer security as a tool to introduce unpredictability into the software infrastructure. In this paper, we study the use of randomization to achieve ...
124
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to...
261
click to vote
AGP
2010
IEEE
15 years 10 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
136
click to vote
ITICSE
2003
ACM
15 years 10 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
157
click to vote
PDPTA
2003
15 years 6 months ago
2003
This paper presents the effectiveness of an interactive support facility to tune processor allocation of data-driven realtime programs on CUE (Coordinating Users’ requirements an...