10038 search results - page 1807 / 2008 » Model Checking for Managers |
177
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Current Web search engines generally impose link analysis-based re-ranking on web-page retrieval. However, the same techniques, when applied directly to small web search such as i...
160
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
189
click to vote
WWW
2003
ACM
15 years 11 months ago
2003
ACM
Current search engines generally employ link analysis techniques to web-page re-ranking. However, the same techniques are problematic in small webs, such as websites or intranet w...
173
click to vote
ASIACRYPT
2003
Springer
15 years 11 months ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
190
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...