Sciweavers

15777 search results - page 508 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
127
Voted
IESA
2007
15 years 6 months ago
The ATHENA Interoperability Framework
Arne-Jørgen Berre, Brian Elvesæter, N...
FOSSACS
2008
Springer
15 years 6 months ago
Complexity of Decision Problems for Mixed and Modal Specifications
Adam Antonik, Michael Huth, Kim Guldstrand Larsen,...
ISSRE
2007
IEEE
15 years 6 months ago
Intra-Class Testing of Abstract Class Features
Peter J. Clarke, Djuradj Babich, Tariq M. King, Ja...
128
Voted
AVI
2010
15 years 6 months ago
Visual workflow composition through semantic orchestration of web services
Barbara Rita Barricelli, Piero Mussio, Stefano Val...