Search Sciweavers | Sciweavers

852 search results - page 6 / 171

» entcs 2010

click to vote

ENTCS
2006

112views more ENTCS 2006»

Mobile Agents in Interaction Spaces

14 years 10 months ago

Download www-poleia.lip6.fr

Frédéric Peschanski

claim paper

Read More »

click to vote

ENTCS
2006

107views more ENTCS 2006»

Monitoring Interfaces for Faults

14 years 10 months ago

Download cs.nyu.edu

Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck

claim paper

Read More »

Voted

ENTCS
2006

125views more ENTCS 2006»

ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter

14 years 10 months ago

Download www.cs.tufts.edu

Norman Ramsey

claim paper

Read More »

click to vote

ENTCS
2006

104views more ENTCS 2006»

Abstract Graph Transformation

14 years 10 months ago

Download wwwhome.cs.utwente.nl

Arend Rensink, Dino Distefano

claim paper

Read More »

click to vote

ENTCS
2006

118views more ENTCS 2006»

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers