Event-driven simulators are an eeective way to behaviorally describe a system. Timing constraints are also an important component of a system description. Ptolemy, a powerful graphical simulation framework, provides an event-driven environment. OESIM, a text-based event-driven simulator, provides support for timing constraints. This paper describes a new Ptolemy environment, based on the existi...

This chapter presents an approach for designing secure Data Warehouses (DWs) that accomplish the conceptual modeling of secure DWs independently from the target platform where the DW has to be implemented, because our complete approach follows the Model Driven Architecture (MDA) and the Model Driven Security (MDS). In most of real world DW projects, the security aspects are issues that usually ...

As the complexity of modern computer and enterprise systems is ever increasing due to emerging technologies and the need to integrate different systems, modelling tools, designed to encourage modellers in creating models according to the complex reality are of rising importance. Multi-view modelling methods (MVMM) can cope with this complexity by providing visualization, decomposition, and spec...

Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integrated Computing (MIC). Termination criteria for graph and model transformation systems have become a focused area recently. This paper provides termination criteria for graph and model transformation systems with injec...

Expansion of space, rather than the progress of time, drives many developmental processes in plants. Metric-driven grammars provide a formal method for specifying and simulating such processes. We illustrate their operation using cell division patterns, phyllotactic patterns, and several aspects of leaf development.

Global Software Development (GSD) considers the coordinated activity of software development that is not localized and central but geographically distributed. To support coordination among sites, usually it is aimed to adopt the same development and execution platform. Unfortunately, adopting a single platform might not be always possible due to technical or organizational constraints of the di...

Discrete functions are now commonly represented by binary (BDD) and multiple-valued (MDD) decision diagrams. Sifting is an effective heuristic technique which applies adjacent variable interchanges to find a good variable ordering to reduce the size of a BDD or MDD. Linear sifting is an extension of BDD sifting where XOR operations involving adjacent variable pairs augment adjacent variable int...

this paper is a study in different kinds of innovations in the product-design field and the way of categorization of them and station point of industrial design in this process. the research process comprised the following five steps: 1. defining the research problem and establishing its methodology; 2.selecting and describing samples; 3. analyzing data and shaping hypotheses; 4. testing the ca...

efflux time measurements are carried out for gravity draining of a liquid from a large cylindrical tank (where the flow is essentially laminar) through single exit pipe in the absence and presence of cetyl pyridinium chloride (cpc) surfactant solutions. the variables considered are initial height of liquid in the tank, dia. of tank, length of the exit pipe and concentration of surfactant. the d...

paraneoplastic neurological syndromes have only been described with pleural mesothelioma in five cases. we have described a 72-year-old man who developed anterograde amnesia 27 months after diagnosis of epithelioid pleural mesothelioma. investigations revealed a limbic encephalitis with no alternative causes identified. limbic encephalitis is a classical paraneoplastic syndrome and presentation...