Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
25
click to vote
ECEASST
2010
97
views
Computer Vision
»
more
ECEASST 2010
»
Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling
13 years 5 months ago
Download
www.cs.uni-paderborn.de
Gregor Engels, Christian Soltenborn
claim paper
Read More »
17
click to vote
ECEASST
2010
110
views
Computer Vision
»
more
ECEASST 2010
»
Expressiveness of graph conditions with variables
13 years 5 months ago
Download
www.informatik.uni-bremen.de
Annegret Habel, Hendrik Radke
claim paper
Read More »
19
click to vote
ECEASST
2010
120
views
Computer Vision
»
more
ECEASST 2010
»
Decidable Race Condition and Open Coregions in HMSC
13 years 5 months ago
Download
www.fi.muni.cz
Vojtech Rehák, Petr Slovák, Jan Stre...
claim paper
Read More »
19
click to vote
ECEASST
2010
109
views
Computer Vision
»
more
ECEASST 2010
»
On A Graph Formalism for Ordered Edges
13 years 5 months ago
Download
wwwhome.cs.utwente.nl
Maarten de Mol, Arend Rensink
claim paper
Read More »
17
click to vote
ECEASST
2010
98
views
Computer Vision
»
more
ECEASST 2010
»
Stochastic Graph Transformation with Regions
13 years 5 months ago
Download
www.cs.le.ac.uk
Paolo Torrini, Reiko Heckel, István R&aacut...
claim paper
Read More »
21
click to vote
ECEASST
2010
102
views
Computer Vision
»
more
ECEASST 2010
»
Recognizable Graph Languages for Checking Invariants
13 years 5 months ago
Download
www.ti.inf.uni-due.de
Christoph Blume, Harrie Jan Sander Bruggink, Barba...
claim paper
Read More »
16
click to vote
ECEASST
2010
91
views
Computer Vision
»
more
ECEASST 2010
»
Verification of Model Transformations
13 years 5 months ago
Download
www4.in.tum.de
Bernhard Schätz
claim paper
Read More »
13
click to vote
ECEASST
2010
104
views
Computer Vision
»
more
ECEASST 2010
»
De-/Re-constructing Model Transformation Languages
13 years 5 months ago
Download
www.cs.mcgill.ca
Eugene Syriani, Hans Vangheluwe
claim paper
Read More »
18
click to vote
ECEASST
2010
111
views
Computer Vision
»
more
ECEASST 2010
»
Defining Models - Meta Models versus Graph Grammars
13 years 5 months ago
Download
www.informatik.uni-bremen.de
Berthold Hoffmann, Mark Minas
claim paper
Read More »
25
click to vote
ECEASST
2010
139
views
Computer Vision
»
more
ECEASST 2010
»
Graph Algebras for Bigraphs
13 years 5 months ago
Download
www.cs.le.ac.uk
In this talk we will present a new approach to deal with attributed graphs and attributed graph transformation. The approach is based on working with what we call symbolic graphs, ...
Davide Grohmann, Marino Miculan
claim paper
Read More »
« first
‹ previous
1
2
3
4
next ›
last »