Sciweavers

65 search results - page 4 / 13
» Weighting Influence of User Behavior in Software Validation
Sort
View
CHI
2006
ACM
14 years 8 months ago
The paradox of the assisted user: guidance can be counterproductive
This paper investigates the influence of interface styles on problem solving performance. It is often assumed that performance on problem solving tasks improves when users are ass...
Christof van Nimwegen, Daniel D. Burgos, Herre van...
CISSE
2008
Springer
13 years 9 months ago
Software Quality Perception
Abstract-- This article analyzes experiment results regarding subjective perception of a web application. Software quality models, since the first publications on this subject, pro...
Radoslaw Hofman
SPIN
2001
Springer
14 years 1 hour ago
Automatically Validating Temporal Safety Properties of Interfaces
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
Thomas Ball, Sriram K. Rajamani
IHI
2010
186views Healthcare» more  IHI 2010»
13 years 2 months ago
Analysis of an online health social network
With the continued advances of Web 2.0, health-centered Online Social Networks (OSNs) are emerging to provide knowledge and support for those interested in managing their own heal...
Xiaoxiao Ma, Guanling Chen, Juntao Xiao
ENTCS
2006
160views more  ENTCS 2006»
13 years 7 months ago
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
Feng Chen, Marcelo d'Amorim, Grigore Rosu