1833 search results - page 337 / 367 » Mechanized Verification with Sharing |
IROS
2009
IEEE
14 years 5 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
ISAAC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Set agreement is a fundamental problem in distributed computing in which processes collectively choose a small subset of values from a larger set of proposals. The imposs...
OOPSLA
2009
Springer
14 years 5 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
SOUPS
2009
ACM
14 years 5 months ago
2009
ACM
We used an iterative design process to develop a privacy label that presents to consumers the ways organizations collect, use, and share personal information. Many surveys have sh...
VRCAI
2009
ACM
14 years 5 months ago
2009
ACM
Game engines of cinematic quality, broadband networking and advances in Virtual Reality (VR) technologies are setting the stage to allow players to have shared, “better-than-lif...