continuance is one of the most important reasons for the permissibility of primary emulation of a deceased mujtahid regarding those issues for which he has a fatwa. it has been reported in four different formulations. and in its critique, various notions have been suggested: the abrogation of the matter or subject, its being suspended, the continued matter or ruling (the mustashab) being neithe...

To aid the early adoption of ATM technology as a local area network the ATM Forum has defined the LAN Emulation over ATM specification which aims to present a service interface more compatible with that of previous LANs. This document describes and defines a set of services -LAN Emulation Servicestogether with the components used for their provision. The paper reports on an implementation of th...

We propose a web-based architecture using standard protocols to provide a userfriendly interface and remote access to satellite emulation test-bed facilities on a parallel computing cluster. Researchers can remotely control an emulation to evaluate performance of proposed space-based Internet architectures, backbone networks, formation clusters and satellite constellations. The objective is to ...

Product Driven Systems (PDS) architecture needs emulation systems [13]. Discrete events simulation is then often used to build this emulation tool, but emulation model design is not a trivial task. Also, the goal of this paper is the study of the design of a simulation model by reducing its complexity. According to theory of constraints, we want to build reduced models composed exclusively by b...

The paper fixes a formalization of dynamic epistemic logic, loosely based on Baltag, Moss, Solecki [1], and proves a number of useful facts about epistemic update logic. In particular, the notion of an action emulation is proposed as a notion of equivalence more appropriate for action models than bisimulation. It is proved that every bisimulation is an action emulation, but not vice versa, and ...

Scalability is the primary challenge to studying large complex network systems with network emulation. This paper studies topology partitioning, assigning disjoint pieces of the network topology across processors, as a technique to increase emulation capacity with increasing hardware resources. We develop methods to create partitions based on expected communication across the topology. Our eval...

Designing contemporary Systems-On-a-Chip (SOCs) introduces increasing complexity and heterogeneity to integrated circuits. Attention has to be paid especially to the interfaces between the reusable Intellectual Property (IP) blocks used in them. We have previously presented our own interface solution called Heterogeneous IP Block Interconnection (HIBI). In this paper, the verification of a HIBI...

Network emulation is an efficient method for evaluating distributed applications and communication protocols by combining the benefits of real world experiments and network simulation. The process of network emulation involves the execution of connected virtual nodes running the software under test in a controlled environment. Our Network Emulation Testbed (NET) achieves high scalability by com...

The development and implementation of new network protocols and applications need accurate, scalable, reconfigurable, and inexpensive tools for debugging, testing, performance tuning and evaluation purposes. Network emulation provides a fully controllable laboratory network environment in which protocols and applications can be evaluated against predefined network conditions and traffic dynamic...

Network emulation is an efficient method for evaluating distributed applications and communication protocols by combining the benefits of real world experiments and network simulation. The process of network emulation involves the execution of connected virtual nodes running the software under test in a controlled environment. Our Network Emulation Testbed (NET) achieves high scalability by com...