1426 search results - page 51 / 286 » A control-based framework for self-managing distributed comp... |
ESORICS
2007
Springer
14 years 17 days 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...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
ISCOPE
1999
Springer
14 years 29 days ago
1999
Springer
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
FMOODS
2003
13 years 10 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
CLUSTER
2002
IEEE
13 years 8 months ago
2002
IEEE
This paper presents the design and evaluation of an adaptive system sensitive partitioning and load balancing framework for distributed adaptive mesh re nement applications on het...