Sciweavers

592 search results - page 56 / 119
» Refining Goal Models by Evaluating System Behaviour
Sort
View
ETRA
2000
ACM
120views Biometrics» more  ETRA 2000»
15 years 7 months ago
An interactive model-based environment for eye-movement protocol analysis and visualization
This paper describes EyeTracer, an interactive environment for manipulating, viewing, and analyzing eye-movement protocols. EyeTracer augments the typical functionality of such sy...
Dario D. Salvucci
QEST
2008
IEEE
15 years 10 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
MEMOCODE
2003
IEEE
15 years 9 months ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
COMCOM
2008
99views more  COMCOM 2008»
15 years 4 months ago
Performance implications of fluctuating server capacity
In this paper, we consider a variant of an M/M/c/c loss system with fluctuating server capacity. Given a set of primary inputs, such as arrival rate, service rate, and capacity fl...
Jingxiang Luo, Carey L. Williamson
AIED
2005
Springer
15 years 9 months ago
Inferring learning and attitudes from a Bayesian Network of log file data
A student's goals and attitudes while interacting with a tutor are typically unseen and unknowable. However their outward behavior (e.g. problem-solving time, mistakes and hel...
Ivon Arroyo, Beverly Park Woolf