10038 search results - page 1883 / 2008 » Model Checking for Managers |
105
Voted
STOC
2004
ACM
16 years 1 months ago
2004
ACM
We consider several classical models in deterministic inventory theory: the single-item lot-sizing problem, the joint replenishment problem, and the multi-stage assembly problem. ...
89
Voted
OSDI
2006
ACM
16 years 1 months ago
2006
ACM
Existing virtual memory systems usually work well with applications written in C and C++, but they do not provide adequate support for garbage-collected applications. The performa...
209
click to vote
VLDB
2008
ACM
16 years 1 months ago
2008
ACM
Abstract In this article, we present a comprehensive approach for privacy preserving access control based on the notion of purpose. In our model, purpose information associated wit...
170
Voted
SOSP
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
117
Voted
SOSP
2009
ACM
15 years 9 months ago
2009
ACM
This paper addresses the problem of scheduling concurrent jobs on clusters where application data is stored on the computing nodes. This setting, in which scheduling computations ...