This paper presents a robust simulation environment targeted for researching the complex dynamics of wireless computer networks. The general-purpose DEVS-Suite simulator supports animation with I/O and state trajectories of wireless computer network models developed using parallel DEVS modeling approach. The simulator offers highlevel model abstraction as compared with simulators such as ns-2, ...

Refinements are model transformations that leave large parts of the source models unchanged. Therefore, if refinements are executed outplace, model elements need to be copied to the target model. Refinements written in imperative languages are increasingly verbose, unless suitable language facilities exist for creating these copies implicitly. Thus, for languages restricted to general-purpose f...

This paper addresses the problem of supporting programming conventions in a general-purpose language. We are working on a technique which allows programming conventions to be formalized and annotated to a program, and where interactive tools support the sug-

A function dependent on the solution of a set of differential equations containing adjust~ able parameters, can be minimized by systematic search procedures in parameter space. Such procedures can be implemented by a hybrid system consisting of a general purpose analog computer and a digital expansion providing parallel logic building blocks. Programming of such a system is illustrated for a si...

Verification and Validation of Simulated Process Model is the most important phase of the simulator life cycle. Evaluation of simulated process models based on Verification and Validation techniques checks the closeness of each component model (in a simulated network) with the real system/process with respect to dynamic behaviour under steady state and transient conditions. The process of Verif...

This paper presents the parallel design of a new type ATM network simulator. The proposed parallel design is to organize data by Virtual Paths and then to distribute them among processors, which all execute the same bunch of instructions on these data. The simulator is a pure time-true simulator but it is not a call-by-call type. It is characterized as a batch type. The whole duration of simula...

This paper presents TPDL* (extended temporal profile description language), a general-purpose language to observe and condition dynamic systems by means of temporal and logical expressions. It describes how time is modelled in TPDL*, gives an overview of the language through its basic types, primitives and conditional constructs, and its use in computer-aided design of digital systems. The pape...

This study investigates the role of financial structure on the volatility of four asset prices in Korea. First, historical development of size, activity and efficiency of financial structure is investigated and development of non-bank financial institutions analyzed for the last three decades. Second, using the concept of bank-based and market-based financial structure, it is shown that there e...