Sciweavers

3914 search results - page 410 / 783
» A Pattern Approach to Interaction Design
Sort
View
SPIN
1999
Springer
15 years 11 months ago
Model Checking for Managers
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fen...
ESA
2006
Springer
82views Algorithms» more  ESA 2006»
15 years 10 months ago
The Price of Resiliency: A Case Study on Sorting with Memory Faults
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the impact of memory faults both on the correctness and ...
Umberto Ferraro Petrillo, Irene Finocchi, Giuseppe...
IBPRIA
2007
Springer
15 years 8 months ago
A Density-Based Data Reduction Algorithm for Robust Estimators
In this paper we present a non parametric density-based data reduction technique designed to be used in robust parameter estimation problems. Existing approaches are focused on red...
Luis Ferraz, Ramon Lluis Felip, Brais Martí...
IEE
2008
108views more  IEE 2008»
15 years 6 months ago
Mining execution relations for crosscutting concerns
Aspect mining tries to identify crosscutting concerns in the code of existing systems and thus supports their adaption to an aspect-oriented design. A semi-automatic static aspect...
Jens Krinke
WWW
2005
ACM
16 years 7 months ago
Applying NavOptim to minimise navigational effort
A major factor in the effectiveness of the interaction which users have with Web applications is the ease with which they can locate information and functionality which they are s...
David Lowe, Xiaoying Kong