5128 search results - page 318 / 1026 » An Efficient Storage Manager |
240
click to vote
APN
2000
Springer
15 years 11 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
203
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a new approach towards parallel I/O for message-passing (MPI) applications on clusters built with commodity hardware and an SCI interconnect: instead of using t...
188
click to vote
COMAD
2008
15 years 9 months ago
2008
Role-based access control (RBAC) has attracted considerable research interest. However, the computational issues of RBAC models are yet to be thoroughly studied. In this paper, we...
191
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: - In this paper we present several novel efficient techniques and multidimensional data structures which can improve the decision making process in many domains. We consider onli...
244
click to vote
IJNSEC
2008
15 years 7 months ago
2008
Most of the current security architectures for grid systems use conventional public key infrastructure (PKI) to authenticate grid members and to secure resource allocation to thes...