7890 search results - page 1161 / 1578 » The MathSAT 3 System |
145
click to vote
SIGCSE
2005
ACM
16 years 13 days ago
2005
ACM
Last year we described the PL-Detective, a system for building exercises and demonstrations in a programming languages course. One of the main goals of the PL-Detective was to pro...
167
click to vote
SIGMETRICS
2005
ACM
16 years 13 days ago
2005
ACM
A generic stochastic model with only two input parameters is introduced to evaluate the message delay in mobile ad hoc networks (MANETs) where nodes may relay messages. The Laplac...
157
click to vote
ACNS
2005
Springer
16 years 13 days ago
2005
Springer
Digital signature systems provide a way to transfer trust from the public key to the signed data; this is used extensively within PKIs. However, some applications need a transfer o...
167
click to vote
AIED
2005
Springer
16 years 13 days 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...
159
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
One of the most significant challenges in applying agent technologies lies in deployment of agent systems in largescale open environments. ...