3742 search results - page 493 / 749 » On the Use of Formal Techniques for Validation |
168
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Current-day crawlers retrieve content only from the publicly indexable Web, i.e., the set of Web pages reachable purely by following hypertext links, ignoring search forms and pag...
192
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
166
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
Recently, there has been tremendous interest in the phenomenon of influence propagation in social networks. The studies in this area assume they have as input to their problems a ...
158
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Given the size of today’s data, out-of-core visualization techniques are increasingly important in many domains of scientific research. In earlier work a technique cal...
145
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
: Cell phones are an emerging but rapidly growing area of computer forensics. While cell phones are becoming more like desktop computers functionally, their organization and operat...