Sciweavers

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