10871 search results - page 1859 / 2175 » A stable programming language |
155
click to vote
IFIP
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, as a step towards the ultimate aim of developing an evoting system that would be likely to gain and retain the trust of the general voting public, we describe a des...
184
click to vote
IFIP
2005
Springer
16 years 7 days ago
2005
Springer
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...
152
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
169
click to vote
SOFSEM
2005
Springer
16 years 6 days ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
154
click to vote
UM
2005
Springer
16 years 6 days ago
2005
Springer
Building a generalizable detector of student behavior within intelligent tutoring systems presents two challenges: transferring between different cohorts of students (who may devel...