4386 search results - page 605 / 878 » A Tamper-Resistant Programming Language System |
112
Voted
ICMLA
2008
15 years 5 months ago
2008
This paper presents a software system that is able to generate crosswords with no human intervention including definition generation and crossword compilation. In particular, the ...
113
click to vote
EJC
2003
15 years 5 months ago
2003
We present a logic programming based dialogue system that enables the access in natural language to the heterogeneous external relational databases of the Évora University. The p...
145
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
114
click to vote
SIGCSE
2005
ACM
15 years 9 months ago
2005
ACM
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
117
Voted
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from st...