1054 search results - page 116 / 211 » Models for automatic generation of safety-critical real-time... |
192
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
166
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents an iterative method for generative semantic clustering of related information elements in spatial hypertext documents. The goal is to automatically organize th...
167
click to vote
AIIDE
2007
15 years 8 months ago
2007
In recent years, the fields of Interactive Storytelling and Player Modelling have independently enjoyed increased interest in both academia and the computer games industry. The c...
177
click to vote
FDG
2009
ACM
15 years 4 months ago
2009
ACM
This poster describes a framework that automatically generates learning support scaffolds to guide task-based learning. The aim is to combine the exploratory learning principles p...
151
click to vote
FPL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Visual data
ow environments are ideally suited for modeling digital signal processing (DSP) systems, as many DSP algorithms are most naturally speci ed by signal
ow gra...