Sciweavers

2249 search results - page 335 / 450
» ILP-based engineering change
Sort
View
128
Voted
AOSD
2009
ACM
15 years 5 months ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
124
Voted
AVI
2010
15 years 4 months ago
iChase: supporting exploration and awareness of editing activities on Wikipedia
To increase its credibility and preserve the trust of its readers, Wikipedia needs to ensure a good quality of its articles. To that end, it is critical for Wikipedia administrato...
Nathalie Henry Riche, Bongshin Lee, Fanny Chevalie...
124
Voted
AVI
1998
15 years 4 months ago
Constant information density in zoomable interfaces
We introduce a system that helps users construct interactive visualizations with constant information density. This work is an extension of the DataSplash database visualization e...
Allison Woodruff, James A. Landay, Michael Stonebr...
133
Voted
ICST
2010
IEEE
15 years 1 months ago
(Un-)Covering Equivalent Mutants
—Mutation testing measures the adequacy of a test suite by seeding artificial defects (mutations) into a program. If a test suite fails to detect a mutation, it may also fail to...
David Schuler, Andreas Zeller
119
Voted
WWW
2003
ACM
16 years 3 months ago
Dynamic maintenance of web indexes using landmarks
Recent work on incremental crawling has enabled the indexed document collection of a search engine to be more synchronized with the changing World Wide Web. However, this synchron...
Lipyeow Lim, Min Wang, Sriram Padmanabhan, Jeffrey...