9110 search results - page 266 / 1822 » Formally-Based Design Evaluation |
155
click to vote
GRID
2007
Springer
15 years 6 months ago
2007
Springer
It is often difficult to perform efficiently a collection of jobs with complex job dependencies due to temporal unpredictability of the grid. One way to mitigate the unpredictabili...
153
click to vote
TSE
2008
15 years 6 months ago
2008
The Unified Modeling Language (UML) is the de facto standard for object-oriented software analysis and design modeling. However, few empirical studies exist which investigate the c...
153
click to vote
AIEDU
2004
15 years 6 months ago
2004
The REDEEM authoring environment allows teachers to create learning environments from existing computer-based training (CBT) by imposing their pedagogical preferences about how stu...
204
click to vote
VLSISP
2008
15 years 6 months ago
2008
This paper presents the design of an embedded automated digital video surveillance system with real-time performance. Hardware accelerators for video segmentation, morphological op...
140
click to vote
KBS
2007
15 years 6 months ago
2007
In this paper, we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during interaction with an environment for exploration-based ...