In this paper we describe how the automated instantiation of assurance case arguments will require information to be extracted from multiple models of a system and its environment and engineering processes, e.g. safety and verification processes. For this to be done successfully the dependencies between the models must be explicitly, completely and correctly captured. We describe how a model-ba...

The creation of schema.org as the de facto vocabulary for the implementation of Semantic Annotations was the dawn of a new era for the Web by motivating the Web developers to start weaving semantics in the content, mainly, for visibility reasons in search engine results. Moving further, the new version of the vocabulary enables Web entities to self-describe the Actions with which they interact ...

We propose a model to support aspect-oriented programming in object-oriented languages, expressing general purpose aspects. To apply this model, the developer should implement the abstraction and composition mechanisms as well as one or more strategies defined in it. It could be applied to regular OO languages.

Languages for aspect-oriented programming (AOP) [5], such as AspectJ, are now popular, and the concepts used by the AOP community such as join points, pointcuts and advices are well-known. At the same time, in recent years, the aspect oriented software development (AOSD) approach has been developing itself beyond the programming activity. More particularly, the Early Aspects Initiative [9] advo...

The integration of functional fibers into wearable devices by traditional methods is commonly completed in weaving. A new post-weaving method integrating fiber textiles needed to address the challenge incorporating ready-made garments without tearing down clothing and re-weaving. 3D printing simultaneously fabricate integrate highly stretchable conductive with designed patterns presented. fabri...

Air-jet weaving is an advanced weaving method with high efficiency and productivity. It is one of the most widely used methods of weaving in the world. In air-jet filling insertion, the motion of weft yarn is caused by friction between weft yarn and air blown through nozzle. After declamping and subjecting the yarn to air stream, its motion is not active but very complicated and influenced by ...

in this paper we get some results and applications for duals and approximate duals of g-frames in hilbert spaces. in particular, we consider the stability of duals and approximate duals under bounded operators and we study duals and approximate duals of g-frames in the direct sum of hilbert spaces. we also obtain some results for perturbations of approximate duals.

in this paper, g-dual function-valued frames in l2(0;1) are in-troduced. we can achieve more reconstruction formulas to ob-tain signals in l2(0;1) by applying g-dual function-valued framesin l2(0;1).