Sciweavers

31387 search results - page 20 / 6278

» Abstracts

74

POPL
2004
ACM

110views Programming Languages» more POPL 2004»

An abstract interpretation-based framework for software watermarking

14 years 10 months ago

An abstract interpretation-based framework for software watermarking

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

65

POPL
2002
ACM

103views Programming Languages» more POPL 2002»

Lazy abstraction

14 years 10 months ago

Lazy abstraction

Download pho.ucsd.edu

Grégoire Sutre, Ranjit Jhala, Rupak Majumda...

claim paper

Read More »

28

CADE
2003
Springer

124views Logical Reasoning» more CADE 2003»

Equational Abstractions

14 years 10 months ago

Equational Abstractions

Download maude.cs.uiuc.edu

José Meseguer, Miguel Palomino, Narciso Mar...

claim paper

Read More »

19

ICFP
2006
ACM

110views Programming Languages» more ICFP 2006»

Abstraction preservation and subtyping in distributed languages

14 years 9 months ago

Abstraction preservation and subtyping in distributed languages

Download pauillac.inria.fr

James J. Leifer, Pierre-Malo Deniélou

claim paper

Read More »

25

MOBISYS
2007
ACM

140views Computer Networks» more MOBISYS 2007»

Dali: a communication-centric data abstraction layer for energy-constrained devices in mobile sensor networks

14 years 9 months ago

Dali: a communication-centric data abstraction layer for energy-constrained devices in mobile sensor networks

Download cmsadler.googlepages.com

Christopher M. Sadler, Margaret Martonosi

claim paper

Read More »

« Prev « First page 20 / 6278 Last » Next »