In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...

resonances are intrinsic characteristics of an elastic object, which are completely independent of thesource of excitation. the appropriate utilization of the information contained within the resonancespectra and the identification of the resonance frequencies of the object can be used as a potent toolfor material characterization. in this paper, a new mathematical model for the wave diffractio...

High assurance security is extremely diicult to acheive in distributed computer systems due to their inherent non-determinism and heterogeneity. The practical application of formal methods is the key to high assurance security in open, distributed environments. This paper presents a methodology that applies formal methods within a dual framework to achieve secure interoperation of heterogeneous...

cooperative object manipulation control of rigid-flexible multi-body systems in space is studied in this paper. during such tasks, flexible members like solar panels may get vibrated that in turn may lead to some oscillatory disturbing forces on other subsystems, and consequently produces error in the motion of the end-effectors of the cooperative manipulating arms. therefore, to design and dev...

ion of Technology As already mentioned in the previous paragraphs the use of transfer objects can isolate the concerns of the utilized technologies. I.e. in the web service scenario.