15840 search results - page 2789 / 3168 » The Control of Synchronous Systems |
206
click to vote
PLDI
2005
ACM
16 years 13 days 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...
219
click to vote
CCS
2005
ACM
16 years 13 days 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...
241
click to vote
DIGRA
2005
Springer
16 years 12 days 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...
169
click to vote
ECOOP
2005
Springer
16 years 12 days 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...
192
click to vote
GI
2005
Springer
16 years 12 days 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 ...