Sciweavers

3827 search results - page 287 / 766
» The Epsilon Generation Language
Sort
View
ENTCS
2006
139views more  ENTCS 2006»
15 years 6 months ago
AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars
The use of object-oriented techniques and concepts, like encapsulation and inheritance, greatly improves language specifications towards better modularity, reusability and extensi...
Damijan Rebernak, Marjan Mernik, Pedro Rangel Henr...
KBSE
2010
IEEE
15 years 5 months ago
How did you specify your test suite
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
Andreas Holzer, Christian Schallhart, Michael Taut...
ICFHR
2010
155views Biometrics» more  ICFHR 2010»
15 years 1 months ago
A Hybrid Model for Recognition of Online Handwriting in Indian Scripts
We present a complete online handwritten character recognition system for Indian languages that handles the ambiguities in segmentation as well as recognition of the strokes. The ...
Amit Arora, Anoop M. Namboodiri
ESOP
2010
Springer
16 years 4 months ago
Verifying a Compiler for Java Threads
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
Andreas Lochbihler
UM
2009
Springer
16 years 1 months ago
Just-in-Time Adaptivity through Dynamic Items
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
Carsten Ullrich, Tianxiang Lu, Erica Melis