22358 search results - page 3992 / 4472 » Software Performance Engineering |
170
click to vote
CCS
2007
ACM
16 years 12 days ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
159
click to vote
EMSOFT
2007
Springer
16 years 12 days ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
164
click to vote
FSTTCS
2007
Springer
16 years 12 days ago
2007
Springer
In the b-degree constrained Euclidean minimum spanning tree problem (bMST) we are given n points in [0;1]d and a degree constraint b 2. The aim is to nd a minimum weight spannin...
214
click to vote
GPCE
2007
Springer
16 years 12 days ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
138
click to vote
ICFEM
2007
Springer
16 years 12 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...