40 search results - page 1 / 8 » A formal approach supporting the comparative predictive asse... |
EICS
2009
ACM
13 years 8 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
CHI
2005
ACM
14 years 5 months ago
2005
ACM
Usability problems predicted by evaluation techniques are useful input to systems development; it is uncertain whether redesign proposals aimed at alleviating those problems are l...
TPHOL
1999
IEEE
13 years 9 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
WOSP
2005
ACM
13 years 10 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
BMCBI
2008
13 years 4 months ago
2008
Background: MicroRNAs (miRNAs) are a set of small non-coding RNAs serving as important negative gene regulators. In animals, miRNAs turn down protein translation by binding to the...