Using formal specifications based on varieties of mathematical logic is becoming common in the process of designing and implementing software. Formal methods are usually intended to include all important details of the final system in the specification with the aim of proving that it possesses certain mathematical properties. In large, complex systems, this task requires sophisticated theorem p...

Network & internet security is the burning question of today's world and they are deeply related to each other for secure successful data transmission. Network security approach is totally based on the concept of network security services. In this paper, a new system of network security service is implemented which is more secure than conventional network security services. This technique ...

Commercial ports are large scale infrastructures which their Information and Telecommunication (PIT) systems o↵er critical services and host sensitive data. However the current maritime legislation or standardization e↵orts do not su ciently cover the IT security of the commercial ports. Identifying these needs we propose a collaborative environment o↵ering security management services includin...

This paper shows a possible path for the introduction of Mobile Service agents within an advanced Broadband Intelligent Network environment. The potential benefits of Distributed Object Technology and Mobile Agents Technology are described and the overall architecture is defined. Then some multimedia services and personal mobility service features are introduced in order to show the wide spectr...

The telecommunication network is classified by governments as a critical infrastructure which must be protected. It provides text and voice communication, Internet access, and emergency services for mobile subscribers worldwide. Operators set high demands on the availability of the telecommunication products and a common level to mark high availability is 99.999%, or less than five and a half m...

The hierarchical hub location problem is encountered three-level network that is applied in production-distribution system, education system, emergency medical services, telecommunication network, etc. This paper addresses the hierarchical hub covering problem with single assignment accounting for mandatory dispersion of central hubs restriction as a special case. This formulation with incorpor...

BACKGROUND With several efforts being made by key stakeholders to bridge the gap between beneficiaries and their having full access to free supplies, frequent stock-out, pilfering, collection of user fees for health commodities, and poor community engagement continue to plague the delivery of health services at the primary health care (PHC) level in rural Nigeria. OBJECTIVE To assess the pote...

Telecommunication networks and the Internet are growing together. Peer-to-Peer (P2P) services which are originally offered by network providers, like telephony and messaging, are provided through VoIP and Instant Messaging (IM) by Internet service providers, too. The IP Multimedia Subsystem (IMS) is the answer of the telecommunication industry to this trend and aims at providing Internet P2P an...

The need to support applications that are distributed on wide-local area networks or on multicomputer systems and that require large data transfer and low delay, drives the development of faster and more efficient ways of transporting and switching data. This work has led to the definition of new communication protocols and to the introduction in the telecommunication networks of fast packet-ba...

These paper introduces a reservation subframe protocol for multimedia services in a 3rd generation mobile telecommunication system. The Packet Reservation Multiple Access (PRMA) protocol is modified to achieve more efficient bandwidth management. Simulation results show that the resulting multiple access multimedia system can serve a large number of users with low probability of packet loss, en...