1320 search results - page 148 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
130
Voted
AICOM
2010
15 years 3 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
122
click to vote
TOOLS
1998
IEEE
15 years 7 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
138
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
151
Voted
DAWAK
2000
Springer
15 years 8 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
110
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
The Revised6 Report on Scheme requires its generic equivalence predicate, equal?, to terminate even on cyclic inputs. While the terminating equal? can be implemented via a DFA-equ...