Sciweavers

770 search results - page 72 / 154
» Experience in e-Science Requirements Engineering
Sort
View
120
Voted
AUIC
2000
IEEE
15 years 8 months ago
Evaluation of Animation Effects to Improve Indirect Manipulation
This paper describes an experiment we have conducted to explore the effectiveness of animation in improving indirect manipulation operations. Indirect manipulation operations are ...
Bruce H. Thomas, Victor Demczuk
145
Voted
CSMR
1999
IEEE
15 years 8 months ago
A Change Impact Model for Changeability Assessment in Object-Oriented Software Systems
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
M. Ajmal Chaumun, Hind Kabaili, Rudolf K. Keller, ...
121
Voted
IUI
1997
ACM
15 years 8 months ago
Generating Web-Based Presentations in Spatial Hypertext
Presentations frequently include material appropriated from external sources; they may incorporate tabular data from published reports, photographs from books, or clip art from pu...
Frank M. Shipman III, Richard Furuta, Catherine C....
137
Voted
ISSTA
2010
ACM
15 years 5 months ago
Analysis of invariants for efficient bounded verification
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
Juan P. Galeotti, Nicolás Rosner, Carlos L&...
INTR
2002
50views more  INTR 2002»
15 years 3 months ago
Methodologies for crawler based Web surveys
There have been many attempts to study the content of the web, either through human or automatic agents. Five different previously used web survey methodologies are described and ...
Mike Thelwall