Sciweavers

1815 search results - page 220 / 363
» Making the Business Case for Software Performance Engineerin...
Sort
View
MSR
2010
ACM
15 years 6 months ago
Replaying IDE interactions to evaluate and improve change prediction approaches
Abstract—Change prediction helps developers by recommending program entities that will have to be changed alongside the entities currently being changed. To evaluate their accura...
Romain Robbes, Damien Pollet, Michele Lanza
FOSSACS
2008
Springer
15 years 5 months ago
Model Checking Freeze LTL over One-Counter Automata
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
Stéphane Demri, Ranko Lazic, Arnaud Sangnie...
AVI
2004
15 years 5 months ago
Scaffolding visually cluttered web pages to facilitate accessibility
Increasingly, rich and dynamic content and abundant links are making Web pages visually cluttered and widening the accessibility divide for the disabled and people with impairment...
Alison Lee
FSTTCS
2010
Springer
15 years 2 months ago
Expressiveness of streaming string transducers
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
Rajeev Alur, Pavol Cerný
SJ
2011
14 years 11 months ago
Analyzing the Resilience of Complex Supply Network Topologies Against Random and Targeted Disruptions
—In this paper, we study the resilience of supply networks against disruptions and provide insights to supply chain managers on how to construct a resilient supply network from t...
Kang Zhao, Akhil Kumar, Terry P. Harrison, John Ye...