7197 search results - page 215 / 1440 » On the computational power of BlenX |
167
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
197
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Access control is one of the most important security mechanisms in cloud computing. Attribute-based access control provides a flexible approach that allows data owners to integ...
149
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
With the advent of portable and high-density microelectronic devices, the power dissipation of integrated circuits has become a critical concern. Accurate and e cient power estimat...
164
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
This article explores the operation of warrants, connections between online and real-world identities, on deceptive behavior in computer-mediated communication. A survey of 132 pa...
175
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
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...