1320 search results - page 79 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
126
click to vote
SP
2000
IEEE
15 years 7 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
141
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...
135
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
193
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
153
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...