1833 search results - page 46 / 367 » Mechanized Verification with Sharing |
120
Voted
ICDIM
2007
IEEE
15 years 8 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...
110
Voted
IPL
2008
15 years 4 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...
140
click to vote
CHI
2010
ACM
15 years 11 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 ...
210
click to vote
ETFA
2008
IEEE
15 years 10 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...
166
click to vote
DALT
2009
Springer
15 years 8 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 ...