Sciweavers

3801 search results - page 440 / 761
» An Approach to Modeling Software Safety
Sort
View
CSDA
2006
142views more  CSDA 2006»
15 years 6 months ago
Automatic approximation of the marginal likelihood in non-Gaussian hierarchical models
Fitting of non-Gaussian hierarchical random effects models by approximate maximum likelihood can be made automatic to the same extent that Bayesian model fitting can be automated ...
Hans J. Skaug, David A. Fournier
AISS
2010
142views more  AISS 2010»
15 years 4 months ago
Service-Oriented Business-IT Alignment: A SOA Governance Model
The concept of Service Oriented Architecture (SOA) has had a significant impact not only on software engineering but on the analysis of an organization's business layer as we...
Mohammad Kazem Haki, Maia Wentland Forte
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
16 years 1 months ago
Timed Automata Model for Component-Based Real-Time Systems
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
Georgiana Macariu, Vladimir Cretu
CCGRID
2008
IEEE
16 years 1 months ago
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research
The CancerGrid consortium is developing openstandards cancer informatics to address the challenges posed by modern cancer clinical trials. This paper presents the service-oriented...
Tianyi Zang, Radu Calinescu, Steve Harris, Andrew ...
ECOOP
2007
Springer
16 years 27 days ago
Metamodel Adaptation and Model Co-adaptation
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
Guido Wachsmuth