3053 search results - page 72 / 611 » Performance of Generative Programming Based Protocol Impleme... |
124
Voted
CSFW
2009
IEEE
15 years 4 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...
99
Voted
ICALT
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...
114
click to vote
BMCBI
2008
15 years 28 days ago
2008
Background: With the completion of the HapMap project, a variety of computational algorithms and tools have been proposed for haplotype inference, tag SNP selection and genome-wid...
86
Voted
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...
92
Voted
CC
2003
Springer
15 years 6 months ago
2003
Springer
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...