10263 search results - page 228 / 2053 » From Use Cases to System Operation Specifications |
252
click to vote
CHIMIT
2009
ACM
16 years 1 months ago
2009
ACM
This case study describes the adoption of an enterprise identity management(IdM) system in an insurance organization. We describe the state of the organization before deploying th...
207
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
175
click to vote
UML
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
190
click to vote
ASIAN
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
164
click to vote
DBSEC
2000
15 years 8 months ago
2000
We propose two extensions to the SQL grant/revoke security model. In SQL, grants are unconditional, so the grantor must simply trust the recipient's discretion. We allow a gr...