Sciweavers

6047 search results - page 1019 / 1210
» Modeling with Extend
Sort
View
CSFW
2010
IEEE
15 years 10 months ago
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
Adam J. Lee, Ting Yu
COMPGEOM
2001
ACM
15 years 10 months ago
Computing a 3-dimensional cell in an arrangement of quadrics: exactly and actually!
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
Nicola Geismann, Michael Hemmer, Elmar Schöme...
CL
2000
Springer
15 years 10 months ago
Concurrent Constraint Programming with Process Mobility
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
David Gilbert, Catuscia Palamidessi
DEXA
2000
Springer
165views Database» more  DEXA 2000»
15 years 10 months ago
DIMS: Implementation of a Federated Information Management System for PRODNET II
The Esprit project PRODNET II1 (Production Planning and Management in an Extended Enterprise) had as its main objective the development of a reference architecture and a support in...
César Garita, Yasemin Ugur, Anne Frenkel, H...
ISHPC
2000
Springer
15 years 10 months ago
Automatic Generation of OpenMP Directives and Its Application to Computational Fluid Dynamics Codes
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
Haoqiang Jin, Michael A. Frumkin, Jerry C. Yan
« Prev « First page 1019 / 1210 Last » Next »