2098 search results - page 44 / 420 » The Persistent Abstract Machine |
111
click to vote
ICALT
2010
IEEE
15 years 2 months ago
2010
IEEE
ā Most e-learning systems require intervention from a teacher. The development of adaptive hypermedia systems, such as intelligent tutoring systems, aimed to reduce the teachersā...
LISP
2007
15 years 1 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure Ī»-terms. While its original description has remained unpublished, ...
136
click to vote
ICSE
2007
IEEE-ACM
15 years 8 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
110
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable speciļ¬cation based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Representation of knowledge is used to store and retrieve informational data in a machine. Since meaning cannot be directly stored in the computer; this work proposes a s...