Sciweavers

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