2060 search results - page 240 / 412 » Some Applications of Coding Theory in Computational Complexi... |
150
click to vote
WINE
2005
Springer
15 years 10 months ago
2005
Springer
This paper takes the first steps towards designing incentive compatible mechanisms for hierarchical decision making problems involving selfish agents. We call these Stackelberg p...
129
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...
136
click to vote
AOSD
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents our extension to AspectJ for distributed computing. Although AspectJ allows Java developers to modularize a crosscutting concern as an aspect, this paper shows...
128
click to vote
CCS
2010
ACM
15 years 11 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...
118
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...