2132 search results - page 123 / 427 » Automated software winnowing |
101
click to vote
CAV
2012
Springer
13 years 1 months ago
2012
Springer
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
ISPW
2009
IEEE
15 years 5 months ago
2009
IEEE
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
CBSE
2004
Springer
15 years 4 months ago
2004
Springer
: In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall ...
COMPSAC
2008
IEEE
14 years 11 months ago
2008
IEEE
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
The idea to develop applications and infrastructure software as software product lines (SPLs) is continuously growing in acceptance throughout the software industry. The ability t...