4266 search results - page 771 / 854 » A Framework for Defining Logics |
225
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
164
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Networked multi-agent systems are comprised of many autonomous yet interdependent agents situated in a virtual social network. Two examples of such systems are supply cha...
170
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Likelihood (ML)-based phylogenetic inference has become a popular method for estimating the evolutionary relationships among species based on genomic sequence data. Th...
150
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Comparative genomics has become a significant research area in recent years, following the availability of a number of sequenced genomes. The comparison of genomes is ...
178
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...