2039 search results - page 54 / 408 » Teaching Standards to Engineers |
154
click to vote
BSL
2006
15 years 6 months ago
2006
We give a self-contained and streamlined version of the classification of the provably computable functions of PA. The emphasis is put on illuminating as good as seems possible th...
162
click to vote
AGTIVE
2003
Springer
15 years 11 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
147
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
Clusters have made the jump from lab prototypes to fullfledged production computing platforms. The number, variety, and specialized configurations of these machines are increasi...
199
click to vote
JACM
2002
15 years 6 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
168
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories. The eduSource project in its holistic approach to building a network of learning object ...