2836 search results - page 406 / 568 » Model Checking for Software Architectures |
190
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The Generalized Hidden Markov Model (GHMM) has proven a useful framework for the task of computational gene prediction in eukaryotic genomes, due to its flexibility an...
159
click to vote
JSW
2008
15 years 6 months ago
2008
We use audited financial statements to examine claims that service-oriented architecture (SOA) leads to higher profits relative to traditional software delivery models. Specificall...
162
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
151
click to vote
EUROMICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
166
click to vote
IEEECIT
2006
IEEE
16 years 24 days ago
2006
IEEE
Currently Configuration Management (CM) tool and Process Management (PM) tool are both largely applied in software organizations. However, neither of them can effectively support ...