Sciweavers

1397 search results - page 206 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
GIS
2004
ACM
16 years 5 months ago
Grid metadata catalog service-based OGC web registry service
Grid is a promising e-Science infrastructure that promotes and facilitates the sharing and collaboration in the use of distributed heterogeneous resources through Virtual Organiza...
Peisheng Zhao, Aijun Chen, Yang Liu, Liping Di, We...
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 5 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
VLDB
1998
ACM
138views Database» more  VLDB 1998»
15 years 8 months ago
TOPAZ: a Cost-Based, Rule-Driven, Multi-Phase Parallelizer
Currently the key problems of query optimization are extensibility imposed by object-relational technology, as well as query complexity caused by forthcoming applications, such as...
Clara Nippl, Bernhard Mitschang
ICDM
2006
IEEE
127views Data Mining» more  ICDM 2006»
15 years 10 months ago
Predictive Integration of Gene Ontology-Driven Similarity and Functional Interactions
There is a need to develop methods to automatically incorporate prior knowledge to support the prediction and validation of novel functional associations. One such important sourc...
Francisco Azuaje, Haiying Wang, Huiru Zheng, Olivi...
IANDC
2008
140views more  IANDC 2008»
15 years 4 months ago
Information flow security in Boundary Ambients
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi