5550 search results - page 127 / 1110 » Different Approaches to Proof Systems |
178
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
181
click to vote
SMC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Today’s enterprises are confronted with a challenging environment that demands continuous transformations. Globalized markets, disruptive technological innovations, an...
151
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...
164
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
282
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
There is currently considerable enthusiasm around the MapReduce (MR) paradigm for large-scale data analysis [17]. Although the basic control flow of this framework has existed in ...