Sciweavers

15777 search results - page 290 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
SEFM
2008
IEEE
16 years 1 months ago
Ontology-Based Automatic Model Transformations
Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens ...
TASE
2008
IEEE
16 years 1 months ago
Structure and Interpretation of Computer Programs
Ganesh M. Narayan, K. Gopinath, Sridhar Varadaraja...
TASE
2008
IEEE
16 years 1 months ago
A Relational Model for Confined Separation Logic
Shuling Wang, Luís Soares Barbosa, Jos&eacu...
126
Voted
ASWEC
2007
IEEE
16 years 1 months ago
Benchmark Generation Using Domain Specific Modeling
Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu
161
Voted
ASWEC
2007
IEEE
16 years 1 months ago
OntoMove: A Knowledge Based Framework for Semantic Requirement Profiling and Resource Acquisition
Mehul Bhatt, J. Wenny Rahayu, Sury Prakash Soni, C...