3931 search results - page 264 / 787 » Separation logic and abstraction |
162
click to vote
IFIP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
171
click to vote
ICLP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
178
click to vote
FCT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...
187
click to vote
AGP
1998
IEEE
15 years 11 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
185
click to vote
KI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...