Sciweavers

1148 search results - page 203 / 230
» Software engineering considered harmful
Sort
View
FOSSACS
2007
Springer
15 years 6 months ago
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
Matthew Hague, C.-H. Luke Ong
100
Voted
ICAS
2006
IEEE
128views Robotics» more  ICAS 2006»
15 years 6 months ago
The AML Approach to Modeling Autonomic Systems
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
Radovan Cervenka, Dominic A. P. Greenwood, Ivan Tr...
135
Voted
IOLTS
2006
IEEE
103views Hardware» more  IOLTS 2006»
15 years 6 months ago
Designing Robust Checkers in the Presence of Massive Timing Errors
So far, performance and reliability of circuits have been determined by worst-case characterization of silicon and environmental noise. As new deep sub-micron technologies exacerb...
Frederic Worm, Patrick Thiran, Paolo Ienne
ISSRE
2006
IEEE
15 years 6 months ago
Web Application Testing with Customized Test Requirements - An Experimental Comparison Study
Test suite reduction uses test requirement coverage to determine if the reduced test suite maintains the original suite’s requirement coverage. Based on observations from our pr...
Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lor...
WWW
2006
ACM
15 years 6 months ago
Do not crawl in the DUST: different URLs with similar text
We consider the problem of dust: Different URLs with Similar Text. Such duplicate URLs are prevalent in web sites, as web server software often uses aliases and redirections, and...
Uri Schonfeld, Ziv Bar-Yossef, Idit Keidar