Sciweavers

2500 search results - page 404 / 500
» Specifying Behavior in C
Sort
View
HCI
2009
15 years 1 months ago
Responding to Learners' Cognitive-Affective States with Supportive and Shakeup Dialogues
This paper describes two affect-sensitive variants of an existing intelligent tutoring system called AutoTutor. The new versions of AutoTutor detect learners' boredom, confusi...
Sidney K. D'Mello, Scotty D. Craig, Karl Fike, Art...
146
Voted
TSE
2011
180views more  TSE 2011»
14 years 10 months ago
Developing a Single Model and Test Prioritization Strategies for Event-Driven Software
—Event-Driven Software (EDS) can change state based on incoming events; common examples are GUI and web applications. These EDS pose a challenge to testing because there are a la...
Renée C. Bryce, Sreedevi Sampath, Atif M. M...
PROCEDIA
2010
103views more  PROCEDIA 2010»
14 years 10 months ago
The Deflated Relaxed Incomplete Cholesky CG method for use in a real-time ship simulator
Ship simulators are used for training purposes and therefore have to calculate realistic wave patterns around the moving ship in real time. We consider a wave model that is based ...
E. van't Wout, M. B. van Gijzen, A. Ditzel, Auke v...
142
Voted
SIGMETRICS
2010
ACM
146views Hardware» more  SIGMETRICS 2010»
14 years 10 months ago
In-degree dynamics of large-scale P2P systems
This paper builds a complete modeling framework for understanding user churn and in-degree dynamics in unstructured P2P systems in which each user can be viewed as a stationary al...
Zhongmei Yao, Daren B. H. Cline, Dmitri Loguinov
149
Voted
TII
2010
166views Education» more  TII 2010»
14 years 10 months ago
Source-to-Source Architecture Transformation for Performance Optimization in BIP
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
Marius Bozga, Mohamad Jaber, Joseph Sifakis