Abstract: Automata with weights (multiplicities) in the so called (max,+) semiring constitute a class of timed automata. Their modeling power has been studied in Gaubert and Mairesse (1999): at least timed safe Petri nets can be modeled by means of (max,+) automata. In this contribution, we define compositions for (max,+) automata. The motivation is to be able to model a complex system by compo...

Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This paper presents a framework for modularizing crosscutting concerns in embedded and distributed software, and automating their composition at the modeling level, for simulation and validation purposes. The proposed approach ...

Security is an important concern for service based systems, i.e., systems that are composed of autonomous and distributed software services. This is because the overall security of such systems depends on the security of the individual services they deploy and, hence, it is difficult to assess especially in cases where the latter services must be discovered and composed dynamically. This paper ...

Sketches form an integral part of activities ranging from games through explanatory dialogues to doodles. They are also known to be important in the creative stages of design. This paper explores the role of sketching in musical composition. We discuss the historical correlation between changes in graphical notations for music and compositional practice. Contemporary music technologies provide ...

A characterization of module alphabets with the Hamming weight EP (abbreviation for Extension Property) had been settled. A thoughtfully constructed piece-of-art example by J.A.Wood ([7]) finished the tour. In 2009, in [8], Frobenius bimodules were proved to satisfy the EP with respect to symmetrized weight compositions. In [4], the embeddability in the character group of the ambient ring R was...

The method of refinement of component and object systems, known as rCOS, provides a notation with a formally defined relational semantics. In rCOS, the notions of interfaces, contracts, components, and component publications are formally defined. With the definitions of various compositions and refinement relations between contracts and components, the key software artifacts in all phases of a ...

Determination of the elemental compositions of a human body is a useful tool for understanding general physiology relationships, diagnosing some disease and cancers. Measurements of body composition yield data about normal growth, maturity and the process of ageing. Practically, these measurements provide standards against which departures from normality may be judged. It is necessary to define...

carrot contains valuable and healthy material. beta carotene pigments and antioxidants on it are so effective against free radicals in body. formulation of novel fruity products is object of some investigations and in parallel of it, have been used different compositions of hydrocolloids and others additional material in its formulations. in addition we can use the low edible quality of carrots...