950 search results - page 53 / 190 » Constraint Based Resilience Analysis |
ECAI
2006
Springer
14 years 24 days ago
2006
Springer
Computer Supported Cooperative Work (CSCW) defines software tools and technology to support groups of people working together on a project, often at different sites [5]. In this wo...
ISSTA
2010
ACM
14 years 1 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
SAS
1999
Springer
14 years 1 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
ICDE
2002
IEEE
14 years 10 months ago
2002
IEEE
Broad web search engines as well as many more specialized search tools rely on web crawlers to acquire large collections of pages for indexing and analysis. Such a web crawler may...
VLDB
2009
ACM
14 years 9 months ago
2009
ACM
Information is valuable to users when it is available not only at the right time but also at the right place. To support efficient location-based data access in wireless data broad...