1833 search results - page 46 / 367 » Mechanized Verification with Sharing |
ICDIM
2007
IEEE
14 years 2 months ago
2007
IEEE
In this position paper we analyze the benefits of enabling virtual communities to self-organize and introduce a novel research direction for providing incentives, required in this...
IPL
2008
13 years 11 months ago
2008
In the context of scheduling, we study social cost efficiency for a cost-sharing problem in which the service provider's cost is determined by the makespan of the served agen...
CHI
2010
ACM
14 years 5 months ago
2010
ACM
Newport is a collaborative application for sharing context (e.g. location) and content (e.g. photos and notes) during mobile phone calls. People can share during a phone call and ...
ETFA
2008
IEEE
14 years 5 months ago
2008
IEEE
Inspection of an environment is often limited to a single video feed, provenient from a camera assembled on a mobile robot. This is known as the keyhole effect. In addition to thi...
DALT
2009
Springer
14 years 2 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...