Sciweavers

28888 search results - page 362 / 5778
» Computability and complexity in analysis
Sort
View
SIGECOM
2009
ACM
84views ECommerce» more  SIGECOM 2009»
16 years 1 months ago
Computational analysis of perfect-information position auctions
David Robert Martin Thompson, Kevin Leyton-Brown
ICDM
2008
IEEE
130views Data Mining» more  ICDM 2008»
16 years 1 months ago
Text Cube: Computing IR Measures for Multidimensional Text Database Analysis
Since Jim Gray introduced the concept of ”data cube” in 1997, data cube, associated with online analytical processing (OLAP), has become a driving engine in data warehouse ind...
Cindy Xide Lin, Bolin Ding, Jiawei Han, Feida Zhu,...
SCAM
2005
IEEE
16 years 10 days ago
Static Analysis for Computing Escapability and Mutability for Java Components
A common theme in information security is protection of trusted software components against unauthorized access by untrusted users. In the context of distributed object technologi...
Aiwu Shi, Gleb Naumovich
CCS
2005
ACM
16 years 9 days ago
Towards computationally sound symbolic analysis of key exchange protocols
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
Prateek Gupta, Vitaly Shmatikov