2486 search results - page 114 / 498 » A Type System for Computationally Secure Information Flow |
170
click to vote
TCS
2010
14 years 11 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
151
Voted
CVPR
2009
IEEE
17 years 5 days ago
2009
IEEE
Matching based on local brightness is quite limited, because
small changes on local appearance invalidate the
constancy in brightness. The root of this limitation is its
treatme...
160
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
132
Voted
FOSAD
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
136
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
This CHI Note proposes a new research initiative for the HCI community: multi-lifespan information system design. The central idea begins with the identification of categories of ...