Search Sciweavers | Sciweavers

852 search results - page 23 / 171

» entcs 2010

click to vote

ENTCS
2002

60views more ENTCS 2002»

Incremental Evaluators for Remote Attribute Grammars

14 years 10 months ago

Download www.cs.uwm.edu

John Boyland

claim paper

Read More »

click to vote

ENTCS
2002

67views more ENTCS 2002»

Systematic Component Adaptation

14 years 10 months ago

Download www.di.unipi.it

Andrea Bracciali, Antonio Brogi, Carlos Canal

claim paper

Read More »

click to vote

ENTCS
2002

69views more ENTCS 2002»

Tiling Transactions in Rewriting Logic

14 years 10 months ago

Download formal.cs.uiuc.edu

Roberto Bruni, José Meseguer, Ugo Montanari

claim paper

Read More »

click to vote

ENTCS
2002

56views more ENTCS 2002»

Using Assumptions to Distribute CTL Model Checking

14 years 10 months ago

Download www.fi.muni.cz

Lubos Brim, Jitka Crhova, Karen Yorav

claim paper

Read More »

click to vote

ENTCS
2002

97views more ENTCS 2002»

Semantic domains for Handel-C

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers