11909 search results - page 449 / 2382 » The Scheme Programming Language |
195
click to vote
TON
2012
13 years 10 months ago
2012
—Regular expressions (RegExes) are widely used, yet their inherent complexity often limits the total number of RegExes that can be detected using a single chip for a reasonable t...
192
click to vote
CCS
2004
ACM
16 years 1 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
214
Voted
DEDUCTIVE
1997
15 years 9 months ago
1997
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
204
Voted
IJPP
2011
15 years 2 months ago
2011
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
172
Voted
AFP
2008
Springer
16 years 2 months ago
2008
Springer