................................................................................................................... iii Acknowledgements.................................................................................................. iii

Software product families are an emerging and important area of software engineering, whereas product configuration of traditional products, i.e., mechanical and electronic, has a slightly longer history as a specific area of research and business. This paper presents a preliminary comparison of concepts for modelling variety and evolution in both fields. This comparison shows remarkable simila...

paper undertakes software based numerical simulations in two different traditional houses in cold-dry climate of tabriz and hot-arid climate of yazd, the eco test software chosen for bim simulations. case study on real houses instead of hypothetical models can give more tangible results and choosing traditional houses can provide a good opportunity to compare both physical and thermal condition...

this paper presents an approach to modeling of field penetration and gives contribution to understanding the real effects of the fields and the sensitivity of human model to electromagnetic radiation generated by mobile antenna. when a human body is exposed to the electromagnetic radiation, because human body contain 70% of liquid, and it contain more liquid near of head, heart, abdomen (near o...

1 Context and challenges Model checking is a technique used to verify that a certain system's design satisfies its requirements. Given some models of the design and system's requirements formulated as formal properties, the system model can be checked [1], and if properties are violated, the model checker provides the user with counter examples that represent execution sequences (traces) leadin...

Software agents \live" in changing environments. Perception and actions of agents need to adapt dynamically to new situations. This paper is concerned with meta-agent protocols, an approach to support the modular and portable implementation of various kinds of agent systems. Meta-agent protocols are derived from object-based reeective systems that allow access to the state and structure of a pr...