Search Sciweavers | Sciweavers

153 search results - page 8 / 31

» entcs 2002

click to vote

ENTCS
2002

67views more ENTCS 2002»

Describing Hierarchical Compositions of Java Beans with the Beanome Language

14 years 10 months ago

Download www-adele.imag.fr

Humberto Cervantes, Jean-Marie Favre, Fréd&...

claim paper

Read More »

Voted

ENTCS
2002

93views more ENTCS 2002»

An Abstract Machine for a Higher-Order Distributed Process Calculus

14 years 10 months ago

Download mikado.di.fc.ul.pt

Florence Germain, Marc Lacoste, Jean-Bernard Stefa...

claim paper

Read More »

click to vote

ENTCS
2002

84views more ENTCS 2002»

VOC: A Translation Validator for Optimizing Compilers

14 years 10 months ago

Download www.cs.utah.edu

Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...

claim paper

Read More »

click to vote

ENTCS
2002

69views more ENTCS 2002»

Isolating Resource Consumption in Linear Logic Proof Search

14 years 10 months ago

Download www.cs.cmu.edu

Pablo López, Ernesto Pimentel, Joshua S. Ho...

claim paper

Read More »

click to vote

ENTCS
2002

64views more ENTCS 2002»

Mobile Channels, Implementation Within and Outside Components

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers