Sciweavers

7202 search results - page 1001 / 1441
» Software System Engineering: A Tutorial
Sort
View
SEDE
2010
15 years 5 months ago
Security Controls Applied to Web Service Architectures
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
Robert Baird, Rose F. Gamble
UIST
2010
ACM
15 years 5 months ago
Gestalt: integrated support for implementation and analysis in machine learning
We present Gestalt, a development environment designed to support the process of applying machine learning. While traditional programming environments focus on source code, we exp...
Kayur Patel, Naomi Bancroft, Steven M. Drucker, Ja...
CCE
2011
15 years 2 months ago
Development and validation of a dynamic model for regeneration of passivating baths using membrane contactors
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
Eugenio Bringas, Rosa Mediavilla, Ana María...
ICSE
2012
IEEE-ACM
13 years 10 months ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
EUROSYS
2006
ACM
16 years 4 months ago
Solving the starting problem: device drivers as self-describing artifacts
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
Michael F. Spear, Tom Roeder, Orion Hodson, Galen ...
« Prev « First page 1001 / 1441 Last » Next »