1190 search results - page 149 / 238 » Enhancing Sharing for Precision |
137
click to vote
DASFAA
2010
IEEE
15 years 11 months ago
2010
IEEE
Human Probes, which are human integrated or embedded with sensors, allow the acquisition of a variety of contextual information, facilitate collaborative information sharing and co...
116
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Third-party cloud computing represents the promise of outsourcing as applied to computation. Services, such as Microsoft’s Azure and Amazon’s EC2, allow users to instantiate v...
151
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
144
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
130
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—We study the dissemination of dynamic content, such as news or traffic information, over a mobile social network. In this application, mobile users subscribe to a dynamic-conte...