976 search results - page 172 / 196 » Approach to a Theory of Software Evolution |
72
Voted
CCS
2009
ACM
15 years 4 months ago
2009
ACM
History indicates that the security community commonly takes a divide-and-conquer approach to battling malware threats: identify the essential and inalienable components of an att...
89
Voted
BMCBI
2011
14 years 1 months ago
2011
Background: Flux coupling analysis (FCA) is a useful method for finding dependencies between fluxes of a metabolic network at steady-state. FCA classifies reactions into subsets (...
142
click to vote
PEPM
2007
ACM
16 years 7 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
EUROSEC
2010
ACM
15 years 4 months ago
2010
ACM
Fighting global security threats with only a local view is inherently difficult. Internet network operators need to fight global phenomena such as botnets, but they are hampered...