63 search results - page 6 / 13 » Expressiveness of ADL and Golog: Functions Make a Difference |
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
DSOM
2005
Springer
14 years 27 days ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...
ASIAN
2007
Springer
13 years 11 months ago
2007
Springer
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...
BMCBI
2004
13 years 7 months ago
2004
Background: Information obtained by DNA microarray technology gives a rough snapshot of the transcriptome state, i.e., the expression level of all the genes expressed in a cell po...
ICDCS
2007
IEEE
14 years 1 months ago
2007
IEEE
This work focuses on scenarios that require the storage of large amounts of data. Such systems require the ability to either continuously increase the storage space or reclaim spa...