524 search results - page 95 / 105 » Representation and Reasoning on RBAC: A Description Logic Ap... |
177
click to vote
SEKE
2005
Springer
16 years 5 days ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
261
click to vote
KR
2004
Springer
16 years 1 days ago
2004
Springer
We discuss the representation of knowledge and of belief from the viewpoint of decision theory. While the Bayesian approach enjoys general-purpose applicability and axiomatic foun...
202
click to vote
VLSISP
2008
15 years 6 months ago
2008
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
181
click to vote
ICLP
2005
Springer
16 years 6 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
172
click to vote
ICLP
2005
Springer
16 years 6 days ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...