840 search results - page 63 / 168 » A low-complexity issue logic |
94
Voted
CSFW
2008
IEEE
15 years 7 months ago
2008
IEEE
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...
97
Voted
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
119
click to vote
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
105
click to vote
GLVLSI
2003
IEEE
15 years 5 months ago
2003
IEEE
It is likely that it will become increasingly difficult to manufacture the complex, heterogeneous logic structures that characterise current reconfigurable logic systems. As a res...
110
Voted
WISE
2002
Springer
15 years 5 months ago
2002
Springer
How to extract data from XML documents is an important issue for XML research and development. However, how to view XML documents determines how they can be queried. In this paper...