Sciweavers

4323 search results - page 368 / 865
» Callback Implementations in C
Sort
View
CW
2004
IEEE
15 years 8 months ago
An Interactive Agent-Based Learning Environment for Children
This paper presents an educational distributed virtual reality-based environment for children called EVE - Environnement Virtuel pour Enfants. EVE is used in elementary schools fr...
Dorin Mircea Popovici, Cédric Buche, Ronan ...
142
Voted
EDOC
2004
IEEE
15 years 8 months ago
A Rigorous Approach to Relate Enterprise and Computational Viewpoints
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
Remco M. Dijkman, Dick A. C. Quartel, Luís ...
EWCBR
2004
Springer
15 years 8 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
132
Voted
FATES
2004
Springer
15 years 8 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
181
Voted
FCCM
2004
IEEE
129views VLSI» more  FCCM 2004»
15 years 8 months ago
Design Patterns for Reconfigurable Computing
It is valuable to identify and catalog design patterns for reconfigurable computing. These design patterns are canonical solutions to common and recurring design challenges which ...
André DeHon, Joshua Adams, Michael DeLorimi...