6756 search results - page 143 / 1352 » Distributed Shared State |
204
click to vote
TSE
2011
14 years 12 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
151
click to vote
HPDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Advances in virtualization technology have focused mainly on strengthening the isolation barrier between virtual machines (VMs) that are co-resident within a single physical machi...
138
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
173
click to vote
MOBISYS
2008
ACM
16 years 4 months ago
2008
ACM
Recent years have witnessed the impacts of distributed content sharing (Wikipedia, Blogger), social networks (Facebook, MySpace), sensor networks, and pervasive computing. We beli...
183
click to vote
HPDC
2010
IEEE
15 years 6 months ago
2010
IEEE
Voluntary Computing systems or Desktop Grids (DGs) enable sharing of commodity computing resources across the globe and have gained tremendous popularity among scientific research...