Sciweavers

4118 search results - page 409 / 824
» Mechanisms for usage control
Sort
View
ATAL
2004
Springer
15 years 10 months ago
Anonymous Pricing of Efficient Allocations in Combinatorial Economies
Auctions and exchanges are important coordination mechanisms for multiagent systems. Most multi-good markets are combinatorial in that the agents have preferences over bundles of ...
Wolfram Conen, Tuomas Sandholm
189
Voted
ASIAN
2006
Springer
153views Algorithms» more  ASIAN 2006»
15 years 10 months ago
Automata-Based Confidentiality Monitoring
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jen...
ECOOP
2006
Springer
15 years 10 months ago
Implementing Bounded Aspect Quantification in AspectJ
The integration of aspects into the methodology of stepwise software development and evolution is still an open issue. This paper focuses on the global quantification mechanism of...
Christian Kästner, Sven Apel, Gunter Saake
210
Voted
AAAI
2008
15 years 9 months ago
An Expressive Auction Design for Online Display Advertising
We propose an expressive auction design that allows advertisers to specify the kinds of demographics and websites they wish to target within an advertising network. The design all...
Sébastien Lahaie, David C. Parkes, David M....
CSFW
2008
IEEE
15 years 8 months ago
End-to-End Enforcement of Erasure and Declassification
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
Stephen Chong, Andrew C. Myers