group :: big | BibSonomy

bookmarks (hide)1
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
order
ascending
descending
RSS
BibTeX
XML

2ModelCVS: A Semantic Infrastructure for Model-based Tool Integration
http://www.modelcvs.org/
13 years ago by @big
show all tags
ModelCVS
ModelCVS
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
⟩
⟩⟩

publications (hide)3
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
order
ascending
descending
help for advanced sorting...
RSS
BibTeX
RDF
more...

2A Solver for QBFs in Nonprenex Form: Overview and Experimental Results
U. Egly, M. Seidl, and S. Woltran. Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling , (2006)
13 years ago by @big
show all tags
imported
imported
(0)
copydeleteadd this publication to your clipboard
4SmartMatcher - How Examples and a Dedicated Mapping Language can Improve theQuality of Automatic Matching Approaches.
H. Kargl, and M. Wimmer. CISIS , page 879-885. (2008)
13 years ago by @big
show all tags
SmartMatcher
SmartMatcher
(0)
copydeleteadd this publication to your clipboard
3How Web 2.0 can Leverage Model Engineering in Practice.
M. Wimmer, A. Schauerhuber, M. Strommer, J. Flandorfer, and G. Kappel. DSML , volume 324 of CEUR Workshop Proceedings, page 31-44. CEUR-WS.org, (2008)
13 years ago by @big
show all tags
MetaModelbrowser
MetaModelbrowser
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩