3468 search results - page 629 / 694 » An open logical framework |
157
click to vote
GG
2010
Springer
15 years 1 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 ...
101
click to vote
AAMAS
2007
Springer
15 years 21 days 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...
AI
2008
Springer
15 years 21 days ago
2008
Springer
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
112
click to vote
BMCBI
2010
15 years 20 days 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...
111
click to vote
CORR
2010
Springer
15 years 20 days 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 ...