3773 search results - page 549 / 755 » Logical Reasoning |
137
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
130
click to vote
LOPSTR
1998
Springer
15 years 9 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
162
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
247
click to vote
GIS
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we follow the role-based access control (RBAC) approach and extend it to provide for the dynamic association of roles with users. In our framework, privileges assoc...
174
click to vote
FLOPS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...