Sciweavers

3330 search results - page 49 / 666
» software 2010
Sort
View
ICST
2010
IEEE
13 years 5 months ago
Verified Firewall Policy Transformations for Test Case Generation
Achim D. Brucker, Lukas Brügger, Paul Kearney...
KBSE
2010
IEEE
13 years 5 months ago
Verification-driven slicing of UML/OCL models
Asadullah Shaikh, Robert Clarisó, Uffe Kock...
REFSQ
2010
Springer
13 years 5 months ago
Towards Multi-view Feature-Based Configuration
Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobb...
FTCGV
2010
13 years 5 months ago
Geodesic Methods in Computer Vision and Graphics
Gabriel Peyré, Mickaël Péchaud,...
CSMR
2010
IEEE
13 years 2 months ago
Adopting and Evaluating Service Oriented Architecture in Industry
Khalid Adam Nasr, Hans-Gerhard Groß, Arie va...