14 search results - page 3 / 3 » Programming with Commitments and Goals in JaCaMo |
ITICSE
2000
ACM
2000
ACM
Integrating interactive computer-based learning experiences into established curricula: a case study
13 years 9 months ago
Educators who wish to integrate interactive computerbased learning experiences into established courses must contend not only with the difficulty of creating quality digital conte...
ASPLOS
2000
ACM
13 years 9 months ago
2000
ACM
This paper describes the architecture and implementation of the AlphaServer GS320, a cache-coherent non-uniform memory access multiprocessor developed at Compaq. The AlphaServer G...
ESOP
2004
Springer
13 years 10 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
CP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Interleaved planning and scheduling employs the idea of extending partial plans by regularly heeding to the scheduling constraints during search. One of the techniques us...