3573 search results - page 597 / 715 » Reasoning about Codata |
115
Voted
JAIR
2010
14 years 11 months ago
2010
Online offerings such as web search, news portals, and e-commerce applications face the challenge of providing high-quality service to a large, heterogeneous user base. Recent eff...
174
click to vote
SADFE
2010
IEEE
14 years 10 months ago
2010
IEEE
: Like other latent evidence that cannot be directly perceived by people, bit sequences have to be presented through tools. Presentations of digital forensic evidence often involve...
133
click to vote
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
129
click to vote
FAC
2010
14 years 10 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
120
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
Crawling the web is deceptively simple: the basic algorithm is (a) Fetch a page (b) Parse it to extract all linked URLs (c) For all the URLs not seen before, repeat (a)?(c). Howev...