10038 search results - page 1807 / 2008 » Model Checking for Managers |
151
click to vote
SIGIR
2003
ACM
15 years 9 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...
127
click to vote
TLDI
2003
ACM
15 years 9 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 ...
157
click to vote
WWW
2003
ACM
15 years 9 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...
142
Voted
ASIACRYPT
2003
Springer
15 years 9 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...
151
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...