5639 search results - page 745 / 1128 » Timed Abstract Non-interference |
145
click to vote
SOFSEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
133
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
127
click to vote
ICDE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract— In parallel query-processing environments, accurate, time-oriented progress indicators could provide much utility given that inter- and intra-query execution times can ...
146
Voted
HRI
2010
ACM
15 years 11 months ago
2010
ACM
Abstract—Cooperative gestures are a key aspect of humanhuman pro-social interaction. Thus, it is reasonable to expect that endowing humanoid robots with the ability to use such g...
133
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
We study the fifo and causal multicast problem, two group-communication abstractions that deliver messages in an order consistent with their context. With fifo multicast, the co...