Sciweavers

3792 search results - page 292 / 759
» Techniques for Trusted Software Engineering
Sort
View
IUI
2004
ACM
16 years 2 days ago
Handling device diversity through multi-level stylesheets
With the advent of in-home networking and ubiquitous computing, it becomes apparent that we have an increasing need for automatic adaptation of user interfaces to different device...
Walter Dees
PEPM
2004
ACM
16 years 1 hour ago
Dynamic slicing based on redex trails
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
Claudio Ochoa, Josep Silva, Germán Vidal
ISSTA
2009
ACM
16 years 1 months ago
AVA: automated interpretation of dynamically detected anomalies
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
Anton Babenko, Leonardo Mariani, Fabrizio Pastore
UIST
2000
ACM
15 years 11 months ago
System lag tests for augmented and virtual environments
We describe a simple technique for accurately calibrating the temporal lag in augmented and virtual environments within the Enhanced Virtual Hand Lab (EVHL), a collection of hardw...
Colin Swindells, John Dill, Kellogg S. Booth
WCRE
2010
IEEE
15 years 5 months ago
Blending Conceptual and Evolutionary Couplings to Support Change Impact Analysis in Source Code
— The paper presents an approach that combines conceptual and evolutionary techniques to support change impact analysis in source code. Information Retrieval (IR) is used to deri...
Huzefa H. Kagdi, Malcom Gethers, Denys Poshyvanyk,...