Sciweavers

2317 search results - page 256 / 464
» DMVIS: Design, Modelling and Validation of Interactive Syste...
Sort
View
FTCS
1998
79views more  FTCS 1998»
15 years 5 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
113
Voted
JUCS
2006
109views more  JUCS 2006»
15 years 4 months ago
4M - Software for Modelling and Analysing Cropping Systems
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
Nándor Fodor
COMPSAC
2008
IEEE
15 years 5 months ago
Decision Support for User Interface Design: Usability Diagnosis by Time Analysis of the User Activity
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...
Avi Harel, Ron S. Kenett, Fabrizio Ruggeri
SQJ
2008
116views more  SQJ 2008»
15 years 3 months ago
E-commerce system quality assessment using a model based on ISO 9126 and Belief Networks
: As business transitions into the new economy, e-system successful use has become a strategic goal. Especially in business to consumer (e-commerce) applications, users highly eval...
Antonia Stefani, Michalis Nik Xenos
UMUAI
2008
110views more  UMUAI 2008»
15 years 3 months ago
Modeling self-efficacy in intelligent tutoring systems: An inductive approach
Abstract. Self-efficacy is an individual's belief about her ability to perform well in a given situation. Because selfefficacious students are effective learners, endowing int...
Scott W. McQuiggan, Bradford W. Mott, James C. Les...