645 search results - page 94 / 129 » Pure patterns type systems |
135
click to vote
CSFW
2009
IEEE
15 years 5 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
—Automatic illicit drug pill matching and retrieval is becoming an important problem due to an increase in the number of tablet type illicit drugs being circulated in our society...
134
click to vote
WFLP
2000
Springer
15 years 5 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
119
click to vote
AIRWEB
2008
Springer
15 years 4 months ago
2008
Springer
Combating Web spam has become one of the top challenges for Web search engines. State-of-the-art spam detection techniques are usually designed for specific known types of Web spa...
111
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...