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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
5525
search results - page 171 / 1105
»
Verification of Model Transformations
Sort
relevance
views
votes
recent
update
View
thumb
title
157
click to vote
IJCIS
2006
75
views
more
IJCIS 2006
»
Model-Driven Design, Refinement and Transformation of Abstract Interactions
15 years 6 months ago
Download
www.inf.ufes.br
João Paulo A. Almeida, Remco M. Dijkman, Lu...
claim paper
Read More »
108
click to vote
JACIII
2006
60
views
more
JACIII 2006
»
Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model
15 years 6 months ago
Download
www.fujipress.jp
Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiro...
claim paper
Read More »
121
click to vote
JOT
2008
59
views
more
JOT 2008
»
A change propagating model transformation Language
15 years 6 months ago
Download
www.dcs.kcl.ac.uk
Laurence Tratt
claim paper
Read More »
118
click to vote
ECEASST
2007
37
views
more
ECEASST 2007
»
Ensuring Containment Constraints in Graph-based Model Transformation Approaches
15 years 6 months ago
Download
homepages.cwi.nl
Christian Köhler, Holger Lewin, Gabriele Taen...
claim paper
Read More »
152
click to vote
MIS
2006
Springer
80
views
Multimedia
»
more
MIS 2006
»
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
15 years 6 months ago
Download
tfs.cs.tu-berlin.de
Paolo Bottoni, Fabio De Rosa, Kathrin Hoffmann, Ma...
claim paper
Read More »
« Prev
« First
page 171 / 1105
Last »
Next »
