1833 search results - page 312 / 367 » Mechanized Verification with Sharing |
163
click to vote
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
Cloud computing has emerged as a promising environment capable of providing flexibility, scalability, elasticity, failover mechanisms, high availability, and other important feat...
158
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
—A major challenge faced by today’s information systems is that of evolution as data usage evolves or new data resources become available. Modern organizations sometimes exchan...
149
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—Datacenters can be used to host large-scale video streaming services with better operational efficiency, as the multiplexing achieved by virtualization technologies allows diff...
130
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
We report on a study (N=36) of user preferences for balancing awareness with privacy. Participants defined permissions for sharing of location, availability, calendar information ...
154
click to vote
EDBT
2004
ACM
16 years 4 months ago
2004
ACM
OGSA-DQP is a distributed query processor exposed to users as an Open Grid Services Architecture (OGSA)-compliant Grid service. This service supports the compilation and evaluation...