10038 search results - page 1503 / 2008 » Model Checking for Managers |
174
click to vote
CIA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The rapid advances in the computer industry allow building larger systems that require mass storage volumes. As storage space increases, its management becomes increasing...
154
click to vote
DRM
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present Trishul-UCON (T-UCON), a DRM system based on the UCONABC model. T-UCON is designed to be capable of enforcing not only application-specific policies, as a...
220
click to vote
EGOV
2008
Springer
15 years 8 months ago
2008
Springer
During the last decades eGovernment has been a vivid, dynamic research and development area. As services are being transformed, electronic documents and web services appear every d...
190
click to vote
IESA
2007
15 years 8 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
183
click to vote
APBC
2007
15 years 8 months ago
2007
ibe an abstract data model of protein structures by representing the geometry of proteins using spatial data types and present a framework for fast structural similarity search bas...