Sciweavers

2629 search results - page 190 / 526
» complex 2009
Sort
View
DAMON
2009
Springer
15 years 7 months ago
Spinning relations: high-speed networks for distributed join processing
By leveraging modern networking hardware (RDMA-enabled network cards), we can shift priorities in distributed database processing significantly. Complex and sophisticated mechani...
Philip Werner Frey, Romulo Goncalves, Martin L. Ke...
DNA
2009
Springer
185views Bioinformatics» more  DNA 2009»
15 years 7 months ago
NP-Completeness of the Direct Energy Barrier Problem without Pseudoknots
Knowledge of energy barriers between pairs of secondary structures for a given DNA or RNA molecule is useful, both in understanding RNA function in biological settings and in desig...
Ján Manuch, Chris Thachuk, Ladislav Stacho,...
ECMDAFA
2009
Springer
109views Hardware» more  ECMDAFA 2009»
15 years 7 months ago
Uniform Random Generation of Huge Metamodel Instances
The size and the number of models is drastically increasing, preventing organizations from fully exploiting Model Driven Engineering benefits. Regarding this problem of scalabilit...
Alix Mougenot, Alexis Darrasse, Xavier Blanc, Mich...
ECOWS
2009
Springer
15 years 7 months ago
A Model and Algorithm for Self-Adaptation in Service-oriented Systems
Abstract—In this paper, we address the problem of selfadaptation in internet-scale service-oriented systems. Services need to adapt by select the best neighboring services solely...
Christoph Dorn, Daniel Schall, Schahram Dustdar
ECSQARU
2009
Springer
15 years 7 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
Vasiliki Efstathiou, Anthony Hunter