2076 search results - page 303 / 416 » Functional logic overloading |
133
click to vote
ISW
1997
Springer
15 years 5 months ago
1997
Springer
Signcryption is a new paradigm in public key cryptography that simultaneously fulfills both the functions of digital signature and public key encryption in a logically single step,...
108
click to vote
VL
1995
IEEE
15 years 5 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
85
Voted
AAAI
2008
15 years 3 months ago
2008
We propose a new local search platform that splits a CNF formula into three sub-components: i) a minimal dependency lattice (representing the core connections between logic gates)...
105
Voted
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
112
click to vote
CSL
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...