Sciweavers

125 search results - page 9 / 25
» A Preliminary Study for a Biomechanical Model of the Respira...
Sort
View
AIED
2009
Springer
14 years 3 months ago
Using Learning Decomposition to Analyze Instructional Effectiveness in the ASSISTment System
A basic question of instruction is how effective it is in promoting student learning. This paper presents a study determining the relative efficacy of different instructional conte...
Mingyu Feng, Neil T. Heffernan, Joseph E. Beck
DATE
2008
IEEE
101views Hardware» more  DATE 2008»
14 years 3 months ago
A Game-Theoretic Approach to Real-Time System Testing
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...
DATE
2008
IEEE
168views Hardware» more  DATE 2008»
14 years 3 months ago
A methodology for improving software design lifecycle in embedded control systems
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
Mohamed El Mongi Ben Gaid, Rémy Kocik, Yves...
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
14 years 7 days ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
HICSS
2007
IEEE
172views Biometrics» more  HICSS 2007»
14 years 2 months ago
Support for Computer Forensics Examination Planning with Domain Modeling: A Report of One Experiment Trial
In any forensic investigation, planning and analysis activities are required in order to determine what digital media will be seized, what types of information will be sought in t...
Alfred C. Bogen, David A. Dampier, Jeffrey C. Carv...