Sciweavers

8398 search results - page 399 / 1680
» Optimal Software Testing
Sort
View
CCE
2008
15 years 7 months ago
Combining optimization and simulation for strategic and operational industrial gas production and distribution
We describe flexible optimization models for the production and distribution of liquefied atmospheric gases. A simulation engine that interacts with the optimization models is use...
Wasu Glankwamdee, Jeff T. Linderoth, Jierui Shen, ...
AIED
2007
Springer
15 years 10 months ago
Optimizing Student Models for Causality
Complex student models often include key parameters critical to their behavior and effectiveness. For example, one meta-cognitive model of student help-seeking in intelligent tutor...
Benjamin Shih, Kenneth R. Koedinger, Richard Schei...
IV
2003
IEEE
145views Visualization» more  IV 2003»
16 years 2 days ago
Anthropomorphic Vs Non-Anthropomorphic Software Interface Feedback for Online Factual Delivery
This paper follows on from a group of internationally published papers in the area of investigating anthropomorphic user interface feedback. In this paper an experiment is describ...
Pietro Murano
VL
2002
IEEE
109views Visual Languages» more  VL 2002»
15 years 11 months ago
Assertions in End-User Software Engineering: A Think-Aloud Study
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
Christine Wallace, Curtis R. Cook, Jay Summet, Mar...
FMOODS
2007
15 years 8 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...