4151 search results - page 664 / 831 » Language Driven System Design |
104
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
259
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we propose a Core Grid Ontology (CGO) that defines fundamental Grid-specific concepts, and the relationships between them. One of the key goals is to make this Co...
107
click to vote
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
SIGCSE
2006
ACM
15 years 8 months ago
2006
ACM
We argue that the failure to separate the concerns in CS1 is the leading cause of difficulty in teaching OOP in the first year. We show how the concerns can be detangled and prese...
93
Voted
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
In our paper last year [1], we described our languagetraining program, which utilizes Baldi as a tutor, who guides students through a variety of exercises designed to teach vocabu...