Sciweavers

3736 search results - page 337 / 748
» Hand-Writing Program Generator Generators
Sort
View
ACISICIS
2009
IEEE
15 years 11 months ago
A Systematic Framework for Grammar Testing
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...
Lixiao Zheng, Haiming Chen
GECCO
2009
Springer
127views Optimization» more  GECCO 2009»
15 years 11 months ago
Evo_indent interactive evolution of GNU indent options
Evo Indent http://www.dcs.kcl.ac.uk/staff/W.Langdon/ evo_indent/ is a PHP web server based user driven genetic algorithm which finds good C code layouts generated by GNU indent. ...
William B. Langdon
180
Voted
ICALP
2001
Springer
15 years 11 months ago
Symbolic Trace Analysis of Cryptographic Protocols
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
Michele Boreale
UM
2001
Springer
15 years 11 months ago
Utility-Based Decision Tree Optimization: A Framework for Adaptive Interviewing
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...
Markus Stolze, Michael Ströbel
HICSS
2000
IEEE
121views Biometrics» more  HICSS 2000»
15 years 11 months ago
Working with Patterns and Code
This paper describes the basis for a suite of tools that let the programmer work in terms of design patterns and source code simultaneously. It first introduces a language for de...
Steven P. Reiss