Search Sciweavers | Sciweavers

31387 search results - page 164 / 6278

» Abstracts

136

click to vote

PPDP
2005
Springer

90views Programming Languages» more PPDP 2005»

Nominal rewriting with name generation: abstraction vs. locality

15 years 12 months ago

Download www.gabbay.org.uk

Maribel Fernández, Murdoch Gabbay

claim paper

Read More »

137

click to vote

PPDP
2005
Springer

132views Programming Languages» more PPDP 2005»

Abstract interpretation for constraint handling rules

15 years 12 months ago

Download people.cs.kuleuven.be

Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck

claim paper

Read More »

135

click to vote

RAID
2005
Springer

125views Computer Networks» more RAID 2005»

Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks

15 years 12 months ago

Download www.comp.nus.edu.sg

Sufatrio, Roland H. C. Yap

claim paper

Read More »

143

click to vote

RTA
2005
Springer

128views Theoretical Computer Science» more RTA 2005»

Abstract Modularity

15 years 12 months ago

Download www.informatik.uni-bremen.de

Michael Abbott, Neil Ghani, Christoph Lüth

claim paper

Read More »

125

click to vote

RULEML
2005
Springer

78views Internet Technology» more RULEML 2005»

Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers