Sciweavers

2631 search results - page 110 / 527
» Software Development with Code Maps
Sort
View
CORR
2006
Springer
122views Education» more  CORR 2006»
15 years 4 months ago
Coupling Methodology within the Software Platform Alliances
: CEA, ANDRA and EDF are jointly developing the software platform ALLIANCES which aim is to produce a tool for the simulation of nuclear waste storage and disposal repository. This...
Philippe Montarnal, Alain Dimier, Estelle Deville,...
ISOLA
2010
Springer
15 years 2 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
ICSM
1995
IEEE
15 years 8 months ago
Detecting interleaving
The various goals and requirements of a system are realized in software as fragments of code that are typically \interleaved" in that they may be woven together in the same c...
Spencer Rugaber, Kurt Stirewalt, Linda M. Wills
BMCBI
2007
147views more  BMCBI 2007»
15 years 4 months ago
Improved residue contact prediction using support vector machines and a large feature set
Background: Predicting protein residue-residue contacts is an important 2D prediction task. It is useful for ab initio structure prediction and understanding protein folding. In s...
Jianlin Cheng, Pierre Baldi
ECOOPW
1997
Springer
15 years 9 months ago
The Object Model for a Product Based Development Process
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...
Pavel Hruby