Results 261 to 270 of about 3,690,239 (301)
Some of the next articles are maybe not open access.
Model checking XSL transformations
Computer Languages, Systems & Structures, 2014Abstract The XSLT language is key technology to develop software which manipulates data encoded in XML, a versatile formalism widely adopted for information description and exchange. This motivates the adoption of formal techniques to certify the correctness (with respect to the expected output) and robustness (e.g., tolerance to malformed inputs) of
openaire +2 more sources
A Model Driven Transformation Development Process for Model to Model Transformation
Proceedings of the XXX Brazilian Symposium on Software Engineering, 2016In the MDD approach a transformation chain is responsible for the automation or semi-automation of the MDD development process by encapsulating the strategies to convert models into other models until code generation. The design of transformation chains can be complex and demand software engineering facilities such as processes, languages and ...
A. P. Magalhães +2 more
openaire +1 more source
Statistical Modelling, 2011
For the first time, we introduce a class of transformed symmetric models to extend the Box and Cox models to more general symmetric models. The new class of models includes all symmetric continuous distributions with a possible non-linear structure for the mean and enables the fitting of a wide range of models to several data types.
Cordeiro, Gauss M., Andrade, Marinho G.
openaire +2 more sources
For the first time, we introduce a class of transformed symmetric models to extend the Box and Cox models to more general symmetric models. The new class of models includes all symmetric continuous distributions with a possible non-linear structure for the mean and enables the fitting of a wide range of models to several data types.
Cordeiro, Gauss M., Andrade, Marinho G.
openaire +2 more sources
2017
AbstractChapter 6 explores the dynamics of business model innovation by discussing the interactions between Sony and Apple over the minidisc and the MP3 player. Seemingly, a period of business model renewal is likely to be followed by business model replication. Both renewal and replication can be internally driven, or externally driven.
Henk Volberda +2 more
openaire +1 more source
AbstractChapter 6 explores the dynamics of business model innovation by discussing the interactions between Sony and Apple over the minidisc and the MP3 player. Seemingly, a period of business model renewal is likely to be followed by business model replication. Both renewal and replication can be internally driven, or externally driven.
Henk Volberda +2 more
openaire +1 more source
Modelling penal transformation
Punishment & Society, 2005Using a systems analytical framework, this article explains how and why the Scottish penal system has followed a different trajectory to a number of its European and US counterparts. It highlights the manner in which penal-welfare values have continued to dominate all aspects of policy and practice in the face of the social and cultural factors that ...
openaire +1 more source
The biofilm life cycle: expanding the conceptual model of biofilm formation
Nature Reviews Microbiology, 2022Karin Sauer +2 more
exaly
2010
In this chapter we explore techniques for partitioning SKO models. These are subsequently used to developmethods for aggregating sub-graphs to transform SKO models into new ones. In Chap. 15, sub-graph aggregation forms the basis of con- strained embedding techniques to develop SKO models for closed-chain multibody systems.
openaire +1 more source
In this chapter we explore techniques for partitioning SKO models. These are subsequently used to developmethods for aggregating sub-graphs to transform SKO models into new ones. In Chap. 15, sub-graph aggregation forms the basis of con- strained embedding techniques to develop SKO models for closed-chain multibody systems.
openaire +1 more source
2016
It would be frustrating for readers that there are not appropriate conventional modeling techniques in power electronics which have the following requirements at the same time.
openaire +1 more source
It would be frustrating for readers that there are not appropriate conventional modeling techniques in power electronics which have the following requirements at the same time.
openaire +1 more source