Sciweavers

2216 search results - page 169 / 444
» Hedging Structured Concepts
Sort
View
FDL
2007
IEEE
16 years 22 days ago
How Different are Esterel and SystemC?
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
Jens Brandt, Klaus Schneider
ICALT
2007
IEEE
16 years 22 days ago
The application of IMS Learning Design to Develop Compute-based Educational Game
How can game designers realize the balance of “educational function” and “entertainment” in a Computer-based Educational Game (CEG)? The concept of IMS learning design (LD...
Miaomiao Zeng, Yueliang Zhou
WOLLIC
2007
Springer
16 years 15 days ago
Hydra Games and Tree Ordinals
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordi...
Ariya Isihara
FPT
2005
IEEE
146views Hardware» more  FPT 2005»
16 years 11 hour ago
The Erlangen Slot Machine: Increasing Flexibility in FPGA-Based Reconfigurable Platforms
We present a new concept as well as the implementation of an FPGA-based reconfigurable platform, the Erlangen Slot Machine (ESM). One main advantage of this platform is the possi...
Christophe Bobda, Mateusz Majer, Ali Ahmadinia, Th...
ER
2005
Springer
109views Database» more  ER 2005»
15 years 12 months ago
Towards Systematic Model Assessment
In this paper a novel approach for the tool–based quality assurance of models is presented. The approach provides a meta model framework for domain specific and tool–independe...
Ruth Breu, Joanna Chimiak-Opoka