5415 search results - page 741 / 1083 » The Implementation of Functional Programming Languages |
165
Voted
UM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract: This paper is focused on user modeling and adaptation in distributed ELearning systems. We describe here CUMULATE, a generic student modeling server developed for a distr...
162
click to vote
ECLIPSE
2004
ACM
16 years 5 days ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
187
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
We develop an external memory algorithm for computing minimum spanning trees. The algorithm is considerably simpler than previously known external memory algorithms for this proble...
174
click to vote
ERLANG
2003
ACM
16 years 13 hour ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
137
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
How do we identify inconsistent CSPs quickly? This paper presents relaxation as one possible method; showing how we can generate relaxed CSPs which are easier to prove inconsistent...