10038 search results - page 203 / 2008 » Model Checking for Managers |
158
click to vote
CASCON
1997
15 years 5 months ago
1997
The purpose of the Distributed Management Framework (DMF) is to provide a layer of ion at a level convenient for management application developers. Specifically, it liberates the ...
129
click to vote
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
128
click to vote
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
148
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Contemporary information systems struggle with the requirement to provide flexibility and process support while still enforcing some degree of control. Workflow managemen...
145
click to vote
SIMULATION
1998
15 years 4 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...