6054 search results - page 114 / 1211 » Implementation of Andorra-based Languages |
137
click to vote
INFORMATICALT
2000
15 years 4 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
135
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
110
Voted
ITICSE
2006
ACM
15 years 11 months ago
2006
ACM
We apply the Jigsaw cooperative learning model to our CS1 closed labs. The Jigsaw cooperative learning model assigns students into main groups in which each group member is respon...
273
Voted
UM
2010
Springer
15 years 10 months ago
2010
Springer
The field of intelligent tutoring systems has been using the well known knowledge tracing model, popularized by Corbett and Anderson (1995) to track individual users’ knowledge f...
148
Voted
WOTUG
2008
15 years 6 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...