Sciweavers

414 search results - page 25 / 83
» Integration of Existing Programs into CORBA
Sort
View
BMCBI
2006
111views more  BMCBI 2006»
13 years 7 months ago
Tools for integrated sequence-structure analysis with UCSF Chimera
Background: Comparing related structures and viewing the structures in the context of sequence alignments are important tasks in protein structure-function research. While many pr...
Elaine C. Meng, Eric F. Pettersen, Gregory S. Couc...
JUCS
2008
182views more  JUCS 2008»
13 years 7 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger
ORL
2008
111views more  ORL 2008»
13 years 7 months ago
Certificates of linear mixed integer infeasibility
A central result in the theory of integer optimization states that a system of linear diophantine equations Ax = b has no integral solution if and only if there exists a vector in...
Kent Andersen, Quentin Louveaux, Robert Weismantel
PODS
1997
ACM
149views Database» more  PODS 1997»
13 years 12 months ago
Answering Recursive Queries Using Views
We consider the problem of answering datalog queries using materialized views. The ability to answer queries using views is crucial in the context of information integration. Prev...
Oliver M. Duschka, Michael R. Genesereth
PADL
2010
Springer
14 years 4 months ago
Similar Code Detection and Elimination for Erlang Programs
A well-known bad code smell in refactoring and software maintenance is duplicated code, that is the existence of code clones, which are code fragments that are identical or similar...
Huiqing Li, Simon Thompson