1780 search results - page 187 / 356 » Polymorphic Contention Management |
MKM
2004
Springer
14 years 3 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
CSMR
2002
IEEE
14 years 3 months ago
2002
IEEE
Reengineering existing (large-scale) applications to the web is a complex and highly challenging task. This is due to a variety of mostly demanding requirements for interactive we...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
A major trend in the current information society is personalization, which is considered a key business enabler for mobile services because the mobile device is a personal assista...
INEX
2009
Springer
14 years 3 months ago
2009
Springer
This paper analyzes the results of the INEX 2009 Ad Hoc Track, focusing on a variety of topics. First, we examine in detail the relevance judgments. Second, we study the resulting ...
WEBDB
2001
Springer
14 years 2 months ago
2001
Springer
In this paper, we propose to use database technology to improve performance of web proxy servers. We view the cache at a proxy server as a web warehouse with data organized in a h...