Abbas Malekpour

High performance concurrent multi-path communication for MPI

MPI is the most generally accepted API in HPC. Today, a typical HPC platform provides a hierarchy of parallelism and networks, from OnChip Networks, SMPs, SAN to WAN. The MPI protocol stack has been optimized for shared memory plat-forms, InfiniBand etc. WAN MPI still is an extension of LAN MPI and thus uses TCP. MPI in WANs is important because large cross-site resource pools often are used in Cloud and Grid Computing. Therefore MPI performance/ reliability/security in WANs must be addressed, and thats what we do and present here.

Formal specification of a particular banking domain with RAISE specification language

The use of formal methods in real industrial projects is increasing, but is still a small percentage of the total number of project undertaken. New software engineering has served formal methods in the development of critical-safety systems. It consists of three phases: domain engineering, requirement engineering, and software design. Formal methods are the basis of domain engineering to develop reliable software for critical systems because these methods are based on mathematics and logic. Therefore, they are approvable. This paper outlines some of the benefits, barriers, and applications of formal methods and the concept of domain engineering. It then formulates and specifies a particular banking domain with RAISE specification language (RSL).

Application of Self-Managing Properties in Virtual Organizations

Emergence of enterprise modeling, and high integration of supply chains, virtual enterprises (VEs), virtual organizations (VOs), virtual government, agent programming, and autonomous systems represent a major trend in which organizations and enterprises seek joint organizations that allow them to participate in competitive business opportunities in new markets for innovative developments. An the virtual organization term, the number of projects in Autonomous System has as its vision the creation of this context is constraint. Although during the last 10-self managing systems to address todays concerns of 15 years, a number of research projects have been run complexity and total cost of ownership while in Europe through European Commission and other meeting tomorrows needs for pervasive and countries such as Japan, USA, Australia, and Mexico ubiquitous computation and communication. Purpose but applying autonomic computing idea in virtual of this paper is to present autonomous virtual organization is novel. This paper presents an organizations describing their characteristics, effects autonomous virtual organization model in order to on quality factors, their building blocks architecture, accelerate the VO functionalities including and challenges. It then outlines this autonomous model configuring, healing, optimizing, and protecting the for a virtual organization environment.

A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language

Recently, several flavors of formal methods (FMs) have been gaining industrial acceptance and production quality software tools have begun emerging. Domain engineering (DE) has been introduced as one of outstanding ideas in software development. It serves form al methods that provide a rigorous, mathematical based framework (domain model) for specifying, defining, and verifying systems in the software development. The increasing demands for extended products and services along with advances in lT industry have motivated researchers to create virtual organizations (VOs) in order to better respond to business opportunities and produce qualitative services and products. The purpose of this paper is to describe Virtual Organization and Domain engineering with introducing formal methods especially RAISE as a formal method that has been used successfully on diverse applications. Then, a primary formal model is presented using RAISE method and its language (RSI) formula for the improvement of VO creation process. Formal model presented in this paper is provable to implement. It improves reusability and reliability in such environments.

Multiple Frequency Effects on Human-Brain Based Steady-State Visual Evoked Potential (SSVEP)

Brain-computer Interface (BCI) systems authorize to communicate individual person with neuromuscular destruction. A multi-frequency stimuli based on Steady-state evoked potential (SSVEP) exiting a pragmatic continuous brain responses. Most researches used a unique stimulus frequency, therefore increase the number of stimuli frequency would generate a large number of required targets. Human-brain showed a good evokes responses only in a limited range of stimuli frequencies. This study presents new technique by extracting low/high duty-cycle of visual flicker frequency band to evoked users. The flickers frequency between 2-35 Hz transient the visual evoked potentials with overlap resulting in a steady state response. The proposed design used an ordinary Light-emitting diode (LEDs), which driven by sequences flickering that consist of rhythmic stimulus cycles with fixed duration in between. Comfortable flicker was adopted in a Phase-tagged trigger(PTT). Questionnaire survey embrace offline SSVEPs analyzes that induced by different frequencies and duty-cycle flickers. Due to the amplitude of spectral characteristic of fast Fourier transform (FFT) based SSVEP to achieve a higher response. Indicate dynamics Brain-wave (BW) activities that demonstrate a distinction differences between frequencies which are effects on brain activity.

An Add-on for Security on Concurrent Multipath Communication SCTP

Multi-homing is a mechanism that ties one transport layer association to several network interfaces, which provides a base to exchange data over several network paths. Concurrent Multipath Communication for Stream Control Transmission Protocol (CMC-SCTP) was developed by us for simultaneous data transmission over multiple paths increases path throughput and network interface failover. In this paper, we introduced a method to exchange encrypted data between two end nodes on base of multipath data transmission without any pre-shared key arrangement. This can efficiently increase connection security for the nodes that they can communicate over two or more independent paths. Our method not only protects data against the attacker, who can sniff out the transmitted data over the communicating paths but also increases the node data transfer rate. An OPNET simulation demonstrates and evaluates the efficiency of our proposed mechanism.

Application signaling protocols as basis for qos in IP-vased wireless networks

The wireless resources such as bandwidth in case of wireless networks (WNs) are very restricted compared with wired networks. Thus, providing integrated service for WNs could lead to high traffic and instable performance because of the high link error. However, some application signaling protocols transport information about their resource requirements; this information is similar to that transported by QoS-signaling protocol. The usage of these application signaling protocols to perform a kind of QoS can reduce the control traffic generated on the wireless side effectively. In this respect, new structure of QoS is presented, where a wireless access server (WAS) communicates with the applications server, and the base stations in order to provide a kind of QoS. This method is applied on SIP-based WLAN telephony. The experiments on our implemented software presented relatively small delay times, in average: 13 ms for flow reservation and 16 ms for updating the wireless state in WAS. This provides an effective structure of QoS for VoIP applications.

Optimizing and reducing the delay latency of mobile IPv6 location management

The long latency related with Mobile IPv6s home-address and care-of-address tests can considerably impact delay-sensitive applications. Applying the ingress-filtering in a proper way over the networks can prevent the source IP address spoofing which is used by the malicious nodes to launch some sort of attacks. We have suggested a new communication mode which is called Very Early Binding Update Mode (VEBU) for mobility in IPv6. The VEBU eliminates the long delay-latency associated with mobile IPv6 mobility messages either in start of a session or during a session after a handover. Our communication mode allows an optimistic mobile node (MN) to run in one less round-trip-time compared to the route optimization mode.