Sciweavers

6756 search results - page 16 / 1352
» Distributed Shared State
Sort
View
PLPV
2010
ACM
14 years 6 months ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross
ATAL
2008
Springer
13 years 11 months ago
Teaching multi-robot coordination using demonstration of communication and state sharing
Solutions to complex tasks often require the cooperation of multiple robots, however, developing multi-robot policies can present many challenges. In this work, we introduce teach...
Sonia Chernova, Manuela M. Veloso
ICONFERENCE
2012
12 years 5 months ago
Online social networks in a post-Soviet state: how Hungarians protect and share on Facebook
As Facebook has become global, users from different cultural and socio-political contexts have joined the site. We present a case study investigating how both current and historic...
Blase Ur, Yang Wang
ECSCW
1997
13 years 11 months ago
Providing Flexible Services for Managing Shared State in Collaborative Systems
Hyong Sop Shim, Robert W. Hall, Atul Prakash, Farn...
ICDCS
2009
IEEE
14 years 7 months ago
Roadcast: A Popularity Aware Content Sharing Scheme in VANETs
Content sharing through vehicle-to-vehicle communication can help people find their interested content on the road. In VANETs, due to limited contact duration and unreliable wire...
Yang Zhang, Jing Zhao, Guohong Cao