2715 search results - page 361 / 543 » An Implementation of Narrowing Strategies |
169
click to vote
JCS
2008
15 years 6 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
197
click to vote
JAR
2006
15 years 6 months ago
2006
Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Also motivated by the...
201
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
185
click to vote
JCP
2007
15 years 6 months ago
2007
— Combining the existing approaches for optical intelligence and the speed and capacity of light is undoubtedly the only viable strategy for building future-proof, highspeed netw...
161
click to vote
TSP
2008
15 years 6 months ago
2008
In this paper, a novel relaying strategy that uses multiple input multiple output (MIMO) fixed relays with linear processing to support multiuser transmission in cellular networks...