513 search results - page 82 / 103 » Software Components Capture Using Graph Clustering |
ICESS
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. The interactive digital multimedia broadcasting stands for a convergence application between digital multimedia broadcasting service and wireless internet service. It dev...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
MSS
2000
IEEE
14 years 1 months ago
2000
IEEE
We describe a real implementation of a software component that manages caching of files from a tertiary storage management system to a large disk cache developed for use in the a...
FLAIRS
2004
13 years 10 months ago
2004
The necessity for improved players and opponents in firstperson entertainment-based real-time artificial environments has inspired our research into artificial game players. We em...
CCS
2007
ACM
14 years 3 months 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 ...