Search Results

In the south of morocco, especially the Ziz basin, access to the drinking water becoming a concern for the populations. In addition, it is the main factor in the economic development of the region and the key to improving the standard of living of ...

This study carried out on the BOKOYA and GHIS-NEKOR tablecloth, which located in the North of Morocco. This work aims to study the quality of groundwater in the Al Hoceima region intended for human consumption, and their Physico-chemical and ...

The proposed techniques for wireless environments during the last decade have limited support for dynamically changing environments. Due to its nature, the mobile computing environment is extremely dynamic and subject to rapid and unpredictable changes. ...

Display Omitted

• A reference transcriptome dataset of sugar beet M14 was generated using RNAseq technology.

Sugar beet (Beta vulgaris) is an important crop of sugar production in the world. Previous studies reported that sugar beet monosomic addition line M14 obtained from the intercross between Beta vulgaris L. (cultivated species) and B. ...

Fast-converging routing protocols are necessary in order to keep up with the interconnected world we are living in and one of the quickest ones is EIGRP. In this paper, we are going to design two models for network devices running EIGRP by focusing on ...

FTP is a well-known network protocol aimed at transferring computer files between two end devices, following a client-server approach. In this paper, we are focusing on getting a formal description model for both FTP modes, namely active and passive, by ...

In cloud computing environment, it is common for a multi-component application to be deployed into the IT infrastructure on demand. Although the Application Component Placement Problem or ACP has been studied both in the academy and industry for some ...

Advanced software application systems commonly execute atop multiple interconnected computing platforms. Regardless of whether the underlying platforms being homogeneous or heterogeneous, such systems require basic reliability guarantees to ensure ...

Parallel control and management have been proposed as a new mechanism for conducting operations of complex systems, especially those that involved complexity issues of both engineering and social dimensions, such as transportation systems. This paper ...

Modern day computer architectures offer ever-increasing support for parallel processing, still it turns out to be quite difficult for programmers and therefore programs to tap into these parallel resources. To benefit from real general-purpose parallel ...

This article presents an parallel traffic management system for integrated control and management of urban transportation systems. This system's construction and operation are based on the ACP (artificial, computational, parallel) approach, which ...

This talk offers a survey of negative results on the existence of finite equational axiomatizations for bisimulation equivalence over fragments of algebraic process calculi.

Automatic cell planning aims at optimising the performance of UMTS networks in terms of capacity, coverage and quality of service by automatically adjusting antenna parameters and common channel powers. This paper presents an overview on optimisation ...

This paper reports on the first steps towards the formal verification of correctness proofs of real-life protocols in process algebra. We show that such proofs can be verified, and partly constructed, by a general purpose proof checker. The ...

A process is calledcomputable if it can be modelled by a transition system that has a recursive structure—implying finite branching. The equivalence relation between transition systems considered is strong bisimulation equivalence. The transition ...

The axiom system ACP of [BeK84a] was extended with real time features in [BaB91]. Here we proceed to define a discrete time extension of ACP, along the lines of ATP [NiS94]. We present versions based on relative timing and on absolute timing. Both ...

We illustrate the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS. We define both early and late input in a general framework extending ACP, and consider ...

We describe an axiom system ACP_p that incorporates real timed actions. Many examples are provided in order to explain the intuitive contents of the notation. ACP_p is a generalisation of ACP. This implies that some of the axioms have to be relaxed ...

Where can you find a solid, forthright overview of the computer systems and management behind airline reservations? NASA's space shuttle? Or any of the multitude of other large computer systems that support important projects or national activities? It'...