544 search results - page 87 / 109 » A Logic Based Approach to the Static Analysis of Production ... |
DSS
2006
13 years 8 months ago
2006
The increasing proliferation of online shopping and purchasing has naturally led to a growth in the popularity of comparisonshopping search engines, popularly known as "shopb...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
Fast and accurate estimation is critical for exploration of any dece in general. As we move to higher levels of abstraction, on of complete system designs at each level of abstrac...
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
We introduce an auditing framework for determining whether a database system is adhering to its data disclosure policies. Users formulate audit expressions to specify the (sensiti...
VLDB
1997
ACM
14 years 10 days ago
1997
ACM
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
ECWEB
2000
Springer
14 years 16 days ago
2000
Springer
The Web has become a ubiquitous environment for application delivery. The originally intended idea, as a distributed system for knowledgeinterchange, has given way to organizations...