Search Sciweavers | Sciweavers

3736 search results - page 23 / 748

» Generative Programming

132

KBSE
2009
IEEE

102views Software Engineering» more KBSE 2009»

Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses

16 years 18 days ago

Download www.cs.ucsb.edu

Given a program and an attack pattern (speciﬁed as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...

Fang Yu, Muath Alkhalaf, Tevfik Bultan

claim paper

Read More »

111

Voted

ERSHOV
2009
Springer

157views Theoretical Computer Science» more ERSHOV 2009»

Planet Map Generation by Tetrahedral Subdivision

16 years 13 days ago

Download www.diku.dk

Torben Æ. Mogensen

claim paper

Read More »

138

Voted

CP
2005
Springer

95views Artificial Intelligence» more CP 2005»

Test Instance Generation for MAX 2SAT

15 years 11 months ago

Download fjcp2005.free.fr

Mistuo Motoki

claim paper

Read More »

130

click to vote

PPDP
2005
Springer

90views Programming Languages» more PPDP 2005»

Nominal rewriting with name generation: abstraction vs. locality

15 years 11 months ago

Download www.gabbay.org.uk

Maribel Fernández, Murdoch Gabbay

claim paper

Read More »

108

click to vote

CC
2003
Springer

101views System Software» more CC 2003»

Integrating Generations with Advanced Reference Counting Garbage Collectors

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers