2133 search results - page 116 / 427 » Implementation of a SystemC based Environment |
MEMOCODE
2003
IEEE
14 years 3 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
WSKS
2009
Springer
14 years 2 months ago
2009
Springer
We propose a framework that supports a federated environment based on a Mediator Architecture in the Semantic Web. The Mediator supports mappings between the OWL Ontology of the Me...
IADIS
2004
13 years 11 months ago
2004
This paper proposes a collaborative approach for personal task management which is modeled as an alliance model. Alliance model is based on information sharing and collaboration o...
ENTCS
2007
13 years 10 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...
ICDIM
2010
IEEE
13 years 8 months ago
2010
IEEE
We present a risk management framework which allows to reason about and manage risk for role based access control systems. The framework expresses essential characteristics of risk...