Sciweavers

11089 search results - page 276 / 2218
» Developing software families
Sort
View
CORR
2000
Springer
132views Education» more  CORR 2000»
15 years 7 months ago
Uniform semantic treatment of default and autoepistemic logics
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...
CSMR
2000
IEEE
15 years 11 months ago
A Proposal for Supporting Software Evolution in Componentware
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
Andreas Rausch
BMCBI
2010
105views more  BMCBI 2010»
15 years 7 months ago
Subdivision of the MDR superfamily of medium-chain dehydrogenases/reductases through iterative hidden Markov model refinement
Background: The Medium-chain Dehydrogenases/Reductases (MDR) form a protein superfamily whose size and complexity defeats traditional means of subclassification; it currently has ...
Joel Hedlund, Hans Jörnvall, Bengt Persson
SOFTWARE
2002
15 years 7 months ago
Software Engineering is Not Enough
Much of the software engineering literature begins with an admonition that what practitioners are doing isn't enough--that the state-of-the-practice is creating bad software. ...
James A. Whittaker, Steven Atkin
DIMVA
2008
15 years 8 months ago
Learning and Classification of Malware Behavior
Malicious software in form of Internet worms, computer viruses, and Trojan horses poses a major threat to the security of networked systems. The diversity and amount of its variant...
Konrad Rieck, Thorsten Holz, Carsten Willems, Patr...