853 search results - page 111 / 171 » A supporting system for verification among models of the UML |
CONCURRENCY
2010
13 years 8 months ago
2010
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...
ICIS
2000
13 years 9 months ago
2000
Even as they enjoy impressive growth, one of the major challenges facing providers of online services is a high rate of customer turnover. It has adverse impacts on business perfo...
SACMAT
2003
ACM
14 years 1 months ago
2003
ACM
Role-based access control (RBAC) is recognized as an efficient access control model for large organizations. Most organizations have some business rules related to access control...
COMPENG
2010
13 years 11 months ago
2010
This paper presents a Knowledge Base System (KBS) as a key component of a federated simulation framework which allows the investigation of (inter)dependencies among Critical Infra...
HOTOS
1999
IEEE
14 years 5 days ago
1999
IEEE
Reducing the energy consumed in the use of computing devices is becoming a major design challenge. While the problem obviously must be addressed with improved low-level technology...