74 search results - page 10 / 15 » Teaching Concurrency: Theory in Practice |
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
IJCAI
1997
14 years 10 months ago
1997
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
—“Network Storage and System Virtualization Technologies” is an up-to-date course opened by the school of electronics engineering and computer science of Peking University. T...
ECIS
2003
14 years 10 months ago
2003
The explosion in the use of computers has strengthened the need to address ethical issues in information systems (IS) education. As a result, several IS ethics education framework...
CSCL
2007
14 years 9 months ago
2007
Traditionally, universities focus primarily on instructionist teaching. Such an understanding has been criticized from theoretical and practical points of view. We believe that so...