10038 search results - page 1746 / 2008 » Model Checking for Managers |
143
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Due to resource constraints, Web archiving systems and search engines usually have difficulties keeping the entire local repository synchronized with the Web. We advance the state...
131
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
191
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Traditionally, information extraction from web tables has focused on small, more or less homogeneous corpora, often based on assumptions about the use of <table> tags. A mul...
157
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
The music industry's business model is to produce stars. In order to do so, musicians producing music that fits into well defined clusters of factors explaining the demand of...
147
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
In an environment of distributed text collections, the first step in the information retrieval process is to identify which of all available collections are more relevant to a giv...