BibSonomy :: group :: big

actions for all displayed bookmarks:

export:

RSS, BibTeX, XML

sort:

criterion: date, title
order: ascending, descending

others:

display: all, bookmarks only
bookmarks per page: 5 10 20 50 100

actions for all displayed publications:

export:

RSS, BibTeX, RDF, more...

sort:

criterion: date, title
order: ascending, descending
advanced...

others:

display: all, publications only
publications per page: 5 10 20 50 100

ModelCVS: A Semantic Infrastructure for Model-based Tool Integration
http://www.modelcvs.org/
http://www.modelcvs.org/
4 years and 6 months ago
by big
2
- ModelCVS
ModelCVS
(0)
⟨⟨⟨1⟩⟩⟩

A Solver for QBFs in Nonprenex Form: Overview and Experimental Results
Uwe Egly, Martina Seidl, and Stefan Woltran. Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, (2006)
Uwe Egly, Martina Seidl, and Stefan Woltran. Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, (2006)
4 years and 5 months ago
by big
2
- imported
imported
(0)
URLDOITeX
SmartMatcher - How Examples and a Dedicated Mapping Language can Improve theQuality of Automatic Matching Approaches.
Horst Kargl, and Manuel Wimmer. CISIS, page 879-885. (2008)
Horst Kargl, and Manuel Wimmer. CISIS, page 879-885. (2008)
4 years and 6 months ago
by big
3
- SmartMatcher
SmartMatcher
(0)
URLDOITeX
How Web 2.0 can Leverage Model Engineering in Practice.
Manuel Wimmer, Andrea Schauerhuber, Michael Strommer, Jürgen Flandorfer, and Gerti Kappel. DSML, volume 324 of CEUR Workshop Proceedings, page 31-44. CEUR-WS.org, (2008)
Manuel Wimmer, Andrea Schauerhuber, Michael Strommer, Jürgen Flandorfer, and Gerti Kappel. DSML, volume 324 of CEUR Workshop Proceedings, page 31-44. CEUR-WS.org, (2008)
4 years and 6 months ago
by big
3
- MetaModelbrowser
MetaModelbrowser
(0)
URLDOITeX
⟨⟨⟨1⟩⟩⟩

BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact