4349 search results - page 553 / 870 » A Comprehensive Process Model for Studying Software Process ... |
156
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Predicting protein complexes from experimental data remains a challenge due to limited resolution and stochastic errors of high-throughput methods. Current algorithms ...
153
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
133
click to vote
ENTCS
2006
15 years 4 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
156
click to vote
ENTCS
2010
15 years 1 months ago
2010
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
126
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...