Sciweavers

3664 search results - page 328 / 733
» Language Technology for eLearning
Sort
View
LATIN
1992
Springer
15 years 8 months ago
On Reversible Automata
A reversible automaton is a finite (possibly incomplete) automaton in which each letter induces a partial one-to-one map from the set of states into itself. We give four non-trivi...
Jean-Eric Pin
VL
1992
IEEE
135views Visual Languages» more  VL 1992»
15 years 8 months ago
Tidy Animations of Tree Algorithms
In software visualization and algorithm animation it is important that advances in system technologies are accompanied by corresponding advances in animation presentations. In thi...
John T. Stasko, Carlton Reid Turner
CAISE
2007
Springer
15 years 8 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst
ACMIDC
2009
15 years 8 months ago
Children's programming, reconsidered: settings, stuff, and surfaces
The subject of children's programming has long been a vexed and controversial one in the field of educational technology. Debates in this area have typically focused on issue...
Michael Eisenberg, Nwanua Elumeze, Michael MacFerr...
EATIS
2009
ACM
15 years 8 months ago
Towards dynamic trust establishment for identity federation
Federation has emerged as a key concept for identity management, as it is the basis to reduce complexity in the companies and improve user experience. However, the problem of esta...
Florina Almenárez Mendoza, Patricia Arias, ...