7167 search results - page 1278 / 1434 » A Technique for Invariant Generation |
235
click to vote
CSFW
2002
IEEE
16 years 2 days ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
250
click to vote
APWEB
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The term Deep Web (sometimes also called Hidden Web) refers to the data content that is created dynamically as the result of a specific search on the Web. In this respec...
234
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
Following the exponential growth of social media, there now exist huge repositories of videos online. Among the huge volumes of videos, there exist large numbers of near-duplicate...
219
click to vote
SIGMOD
2009
ACM
15 years 11 months ago
2009
ACM
It has recently been asserted that the usability of a database is as important as its capability. Understanding the database schema, the hidden relationships among attributes in t...
215
click to vote
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
Usual cache optimisation techniques for high performance computing are difficult to apply in embedded VLIW applications. First, embedded applications are not always well structur...