153 search results - page 20 / 31 » Bridging the Gap Between Theory and Practice |
ETS
2000
IEEE
14 years 9 months ago
2000
IEEE
This article discusses a telecollaborative activity that combines many strategies of interest in teacher education (i.e., case-based learning, online discussion, cross-university ...
PEPM
2004
ACM
15 years 2 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
ACOM
2004
Springer
15 years 1 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
77
Voted
LISP
2008
14 years 9 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
AMCS
2010
14 years 9 months ago
2010
satisfactory network connectivity have dominated this line of research and abstracted away from the mathematical description of the physical processes underlying the observed pheno...