Search Sciweavers | Sciweavers

290 search results - page 9 / 58

» entcs 2006

click to vote

ENTCS
2006

119views more ENTCS 2006»

Cloning and Expanding Graph Transformation Rules for Refactoring

14 years 10 months ago

Download tfs.cs.tu-berlin.de

Berthold Hoffmann, Dirk Janssens, Niels Van Eetvel...

claim paper

Read More »

click to vote

ENTCS
2006

100views more ENTCS 2006»

Quantitative Analysis With the Probabilistic Model Checker PRISM

14 years 10 months ago

Download www.prismmodelchecker.org

Marta Z. Kwiatkowska, Gethin Norman, David Parker

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 »

click to vote

ENTCS
2006

131views more ENTCS 2006»

Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks

14 years 10 months ago

Download www.cs.ncl.ac.uk

Oliver Shaw, L. Jason Steggles, Anil Wipat

claim paper

Read More »

click to vote

ENTCS
2006

132views more ENTCS 2006»

A Domain-Specific Language for Generating Dataflow Analyzers

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers