15840 search results - page 2789 / 3168 » The Control of Synchronous Systems |
237
click to vote
PLDI
2005
ACM
16 years 1 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
243
click to vote
CCS
2005
ACM
16 years 1 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
260
click to vote
DIGRA
2005
Springer
16 years 1 months ago
2005
Springer
Building on the work of games theorists and virtual world designers, this paper proposes a framework for understanding the real-virtual dichotomy in terms of a series of five fram...
192
click to vote
ECOOP
2005
Springer
16 years 1 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
215
click to vote
GI
2005
Springer
16 years 1 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...