985 search results - page 73 / 197 » A Caching Model of Operating System Kernel Functionality |
178
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
139
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
140
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. Computer simulations of realistic applications usually require solving a set of non-linear partial di erential equations PDEs over a nite region. The process of obtaini...
164
click to vote
DEBU
2010
15 years 2 months ago
2010
Panda (for Provenance and Data) is a new project whose goal is to develop a general-purpose system that unifies concepts from existing provenance systems and overcomes some limita...
143
click to vote
SIGMETRICS
2005
ACM
15 years 10 months ago
2005
ACM
- Since many Web applications employ a multi-tier architecture, in this paper, we focus on the problem of analytically modeling the behavior of such applications. We present a mode...