Voice over Internet Protocol (VoIP) technologies are integral to modern telecommunications because of their advanced features, flexibility, and economic benefits. Internet Service Providers initially promoted these technologies by providing low cost local and international calling. At present, there is also a great deal of interest in using IP-based technologies to replace traditional small and...

Last 20 years formal methods are being used widely to specify formally, analyze, verify and test software and hardware systems, particularly, telecommunication protocols. The paper presents automated verification system based on Petri nets formal modelling technique and linear algebra methods for automatic proving structural and some dynamic properties. Application of the system is considered o...

Modern telecommunication applications must provide high availability and performance. They must also be maintainable in order to reduce the maintenance cost and time-to-market for new versions. Previous studies have shown that the ambition to build maintainable systems may result in very poor performance. Here we evaluate an application called SDP pre-paid and show that the ambition to build sy...

Japanese electric power companies seek to maintain highly reliable telecommunication networks in order to protect, operate, and maintain electric power systems. Hence, such companies operate telecommunication networks that consist of various kinds of network elements, such as microwave radio communication systems, optical fiber communication systems, and communication line carrier networks. Int...

The telecommunication numbering system in Indonesia currently complies to the International TelecommunicationUnion (ITU) standard, that is ITU-T E.164. In accordance to both technology development and the growing of network users, ITU has also been designing future infrastructure network concept, namely Next Generation Network Infrastructure (NGNI). In its technical paper, ITU discusses future ...

A wide range of security services may be available to applications in a heterogeneous computer network environment. Resource Management Systems (RMSs) responsible for assigning computing and network resources to tasks need to know the resource-utilization costs associated with the various network security services. In order to understand the range of security services an RMS needs to manage, a ...

Due to the proliferation of cloud computing, cloud-based systems are becoming an increasingly attractive target for malware. In an Infrastructure-as-a-Service (IaaS) cloud, malware located in a customer’s virtual machine (VM) affects not only this customer, but may also attack the cloud infrastructure and other co-hosted customers directly. This paper presents CloudIDEA, an architecture that pr...

In tunneling and mining construction work, heavy and large manipulators are used to spray liquid concrete on the walls. These manipulators are usually operated manually with simple control units allowing to control all actuators independently. In cooperation between industry and university, we have developed a novel automatic and human-oriented control system for such a manipulator. The new con...

Non-repudiation is a security service that provides cryptographic evidence to support the settlement of disputes in electronic commerce. In commercial transactions, an intermediary (or agent) might be involved to help transacting parties to conduct their business. Nevertheless, such an intermediary may not be fully trusted. In this paper, we propose agent-mediated non-repudiation protocols, and...

Current study aims at investigating the comparison of online performance appraisal system in relation with Traditional paper and pencil based performance appraisal system on employees’ work outcome and behavior. In this way, the contemporary study will focus on major areas of online performance appraisal system and paper and pencil based performance appraisal system. The universe selected for t...