Sciweavers

1253 search results - page 164 / 251
» Studying Software Evolution for Taming Software Complexity
Sort
View
VAMOS
2008
Springer
13 years 11 months ago
Reflective Component-based Technologies to Support Dynamic Variability
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
Nelly Bencomo, Gordon S. Blair, Carlos A. Flores-C...
EUROPLOP
2006
13 years 11 months ago
A Pattern Language for Overlay Networks in Peer-to-Peer Systems
Peer-to-peer systems typically operate in large-scale, highly unreliable and insecure environments. Tackling this complexity requires good software design. Yet, many peer-to-peer ...
Dominik Grolimund, Peter Muller
FSTTCS
2008
Springer
13 years 11 months ago
Some Sieving Algorithms for Lattice Problems
ABSTRACT. We study the algorithmic complexity of lattice problems based on Ajtai-Kumar-Sivakumar sieving technique [AKS01]. Given a k-dimensional subspace M ⊆ Rn and a full rank ...
Vikraman Arvind, Pushkar S. Joglekar
FOSSACS
2012
Springer
12 years 5 months ago
Concurrent Games with Ordered Objectives
We consider concurrent games played on graphs, in which each player has several qualitative (e.g. reachability or B¨uchi) objectives, and a preorder on these objectives (for insta...
Patricia Bouyer, Romain Brenguier, Nicolas Markey,...
BMCBI
2006
103views more  BMCBI 2006»
13 years 10 months ago
Statistical inference of chromosomal homology based on gene colinearity and applications to Arabidopsis and rice
Background: The identification of chromosomal homology will shed light on such mysteries of genome evolution as DNA duplication, rearrangement and loss. Several approaches have be...
Xiyin Wang, Xiaoli Shi, Zhe Li, Qihui Zhu, Lei Kon...