2655 search results - page 36 / 531 » Event Systems and Access Control |
106
click to vote
ESORICS
2007
Springer
15 years 5 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
132
click to vote
RTS
2006
15 years 1 months ago
2006
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
146
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Highly dynamic computing environments, like ubiquitous and pervasive computing environments, require frequent adaptation of applications. Context is a key to adapt suiting user ne...
127
Voted
SI3D
2005
ACM
15 years 7 months ago
2005
ACM
We present two user interfaces for the interactive control of dynamically-simulated characters. The first interface uses an ‘action palette’ and targets sports prototyping ap...
WWW
2001
ACM
16 years 2 months ago
2001
ACM
