Sciweavers

852 search results - page 16 / 171

» entcs 2010

47

ENTCS
2007

75views more ENTCS 2007»

Maude MSOS Tool

14 years 10 months ago

Maude MSOS Tool

Download maude-msos-tool.sourceforge.net

Fabricio Chalub, Christiano Braga

claim paper

Read More »

38

ENTCS
2007

74views more ENTCS 2007»

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

14 years 10 months ago

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

Download fsl.cs.uiuc.edu

Mark Hills, Traian Serbanuta, Grigore Rosu

claim paper

Read More »

36

ENTCS
2007

82views more ENTCS 2007»

Animation Metaphors for Object-Oriented Concepts

14 years 10 months ago

Animation Metaphors for Object-Oriented Concepts

Download cs.joensuu.fi

Jorma Sajaniemi, Pauli Byckling, Petri Gerdt

claim paper

Read More »

46

ENTCS
2007

83views more ENTCS 2007»

ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications

14 years 10 months ago

ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications

Download lia.deis.unibo.it

Mirko Viroli, Andrea Omicini

claim paper

Read More »

56

ENTCS
2007

93views more ENTCS 2007»

Types for Access Control in a Calculus of Mobile Resources

14 years 10 months ago

Types for Access Control in a Calculus of Mobile Resources

Download www.brics.dk

Hans Hüttel, Morten Kühnrich

claim paper

Read More »

« Prev « First page 16 / 171 Last » Next »