Sciweavers

2324 search results - page 400 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
ICALT
2003
IEEE
15 years 3 months ago
An Intelligent Tutoring System Prototype for Learning to Program Java?
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
Edward R. Sykes
CODES
1998
IEEE
15 years 2 months ago
The construction of a retargetable simulator for an architecture template
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
Bart Kienhuis, Ed F. Deprettere, Kees A. Vissers, ...
CIKM
2007
Springer
15 years 1 months ago
Web search personalization with ontological user profiles
Every user has a distinct background and a specific goal when searching for information on the Web. The goal of Web search personalization is to tailor search results to a particu...
Ahu Sieg, Bamshad Mobasher, Robin D. Burke
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 1 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
ICSE
2000
IEEE-ACM
15 years 1 months ago
Requirements engineering in the year 00: a research perspective
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...
Axel van Lamsweerde