Sciweavers

638 search results - page 88 / 128
» Taming architectural evolution
Sort
View
FASE
2004
Springer
13 years 11 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
GCSE
2000
Springer
13 years 11 months ago
Product Instantiation in Software Product Lines: A Case Study
Product instantiation is one of the less frequently studied activities in the domain of software product lines. In this paper, we present the results of a case study at Axis Commu...
Jan Bosch, Mattias Högström
CSE
2009
IEEE
13 years 11 months ago
Socially Enhanced Network Address Translation
—The rapid evolution of the Internet has forced the use of Network Address Translation (NAT) to help slow the decline of publicly available IPv4 address space. While NAT provides...
Alexis Malozemoff, Muthucumaru Maheswaran
BIBE
2007
IEEE
126views Bioinformatics» more  BIBE 2007»
13 years 9 months ago
FPGA Acceleration of Phylogeny Reconstruction for Whole Genome Data
In this paper we describe our design and characterization of a co-processor architecture to accelerate median-based phylogenetic reconstruction for generearrangement data. Our curr...
Jason D. Bakos, Panormitis E. Elenis, Jijun Tang
ADBIS
2010
Springer
181views Database» more  ADBIS 2010»
13 years 9 months ago
Stones Falling in Water: When and How to Restructure a View-Based Relational Database
Nowadays, one of the most important problems of software engineering continues to be the maintenance of both databases and applications. It is clear that any method that can reduce...
Eladio Domínguez, Jorge Lloret, Angel Luis ...