3500 search results - page 357 / 700 » Implementing Java on Clusters |
VL
2005
IEEE
15 years 6 months ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
113
click to vote
AOSD
2005
ACM
15 years 6 months ago
2005
ACM
Aspect-oriented programming (AOP) promises to benefit engineering by providing a layer of abstraction that can modularize system-level concerns. AOP is still a very young area of ...
124
click to vote
TLDI
2005
ACM
15 years 6 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
AIED
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...