Sciweavers

2593 search results - page 438 / 519
» constraints 2007
Sort
View
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
16 years 14 days ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
TELETRAFFIC
2007
Springer
16 years 14 days ago
On the Use of Accounting Data for QoS-Aware IP Network Planning
We present an economically efficient framework for provision of essential input for QoS-aware IP network planning. Firstly, we define a process for reuse of network accounting data...
Alan Davy, Dmitri Botvich, Brendan Jennings
VLDB
2007
ACM
77views Database» more  VLDB 2007»
16 years 14 days ago
Tracing Lineage Beyond Relational Operators
Tracing the lineage of data is an important requirement for establishing the quality and validity of data. Recently, the problem of data provenance has been increasingly addressed...
Mingwu Zhang, Xiangyu Zhang, Xiang Zhang, Sunil Pr...
WEBDB
2007
Springer
159views Database» more  WEBDB 2007»
16 years 14 days ago
A clustering-based sampling approach for refreshing search engine's database
Due to resource constraints, search engines usually have difficulties keeping the local database completely synchronized with the Web. To detect as many changes as possible, the ...
Qingzhao Tan, Ziming Zhuang, Prasenjit Mitra, C. L...
WEBDB
2007
Springer
126views Database» more  WEBDB 2007»
16 years 14 days ago
Towards a Content-Provider-Friendly Web Page Crawler
Search engine quality is impacted by two factors: the quality of the ranking/matching algorithm used and the freshness of the search engine’s index, which maintains a “snapsho...
Jie Xu, Qinglan Li, Huiming Qu, Alexandros Labrini...