• Journal of Internet Computing and Services
• /
• v.8 no.2
• /
• pp.1-13
• /
• 2007

GPS/GIS and RFID technologies have been changing the paradigm af our society toward ubiquitous era. Especially, geographically distributed mobile agents with transporting objects need to be automatically recognizable and traceable under certain conditions. To do this, fundamental theories and technologies are required to specify and verify spatial and temporal behaviors of agents on geographical space. This paper presents a new formal method, called Calculus of Real-Time Distribution, Mobility, and Interaction (CaRDMI), for this purpose. For specification, CaRDMI defines a map, mobile agents with transporting objects. The movement of on agent is represented by a path on the map, consisting of a list of nodes and a list of edges with spatial and temporal constraints. Interactive constraints among agents are represented by synchronization modes on objects at nodes. These constraints are distinguishable features of CaRDMI from other methods. Especially, many-to-many timed synchronization constraints are noticeable. For verification, CaRDMI presents the spatial, temporal and interactive deduction rules and the spatial and temporal equivalence relations.

• Journal of Internet Computing and Services
• /
• v.17 no.3
• /
• pp.45-54
• /
• 2016

Medical images are an effective means to identity medical abnormalities.. Patients typically have medical images taken at different clinics during lifetime, and they often wish to have second interpretation on medical images showing substantial diseases. At present, since personal medical images are distributed to multiple clinics, there is a bit discomfort that patients directly bring their images by hands to get the second interpretation from another physician. With these two motivations, we design a cloud service for archiving medical images and interpreting medical images by physicians. We present the design and implementation of the service, and show its practical value as low-cost personal healthcare service. By using the service, patients can retrieve and review their medical images anytime and have a convenience of acquiring second opinions on their medical images at low-cost without visiting a clinic.

• Journal of Internet Computing and Services
• /
• v.12 no.1
• /
• pp.1-10
• /
• 2011

The spectrum sensing is one of the fundamental functions to realize the cognitive radios. One of problems in the spectrum sensing is that the performance of spectrum sensing can be degraded due to fading and shadowing. In order to overcome the problem, cooperative spectrum sensing method is proposed, which uses a distributed detection model and can increase sensing performance. However, the performance of cooperative spectrum sensing can be still affected by the interference factors such as obstacle and malicious user. Especially, most of cooperative spectrum sensing methods only considered the stationary primary user. In the ubiquitous environment, however the mobile primary users should be considered. In order to overcome the aforementioned problem, in this paper we propose a robust spectrum detection method based on localization where we estimate the location of the mobile primary user, and then based on the location and transmission range of primary user we detect interference users if there are, and then the local sensing reporting from detected interference users are excluded in the decision fusion process. Through simulation, it is shown that the sensing performance of the proposed scheme is more accurate than that of conventional other schemes

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.1
• /
• pp.47-59
• /
• 2003

The Internet telephony service is one of the commercially successful Internet application services. VoIP technology makes the service come true. VoIP deploys H.323 or SIP as the standard protocol for the distributed multimedia services over the Internet in which QoS is not guaranteed. VoIP carries the packetized voice over the RTP/UDP/IP protocol stack. The data transmission trouble is caused by UDP when the service is provided in private networks and some ISP-provided Internet access networks in the private address space. The Internet telephony users in such networks cannot listen the voices of the other parties in the public Internet or PSTN. Making the problem more difficult, the Internet telephony service considered in this paper gets the incoming voice packets of every session through only one UDP port number. In this paper, three schemes including the terminal proxy, the gateway proxy, and the protocol translation are suggested to solve the problems. The design and implementation of the NAT proxy server based on gateway proxy scheme are described in detail.

• Journal of KIISE
• /
• v.43 no.8
• /
• pp.893-901
• /
• 2016

In Internet of Things (IoT) environments, users are required to search for IoT devices necessary to access services for accomplishing their tasks. As IoT technologies advance, a user task will utilize various types of IoT-based services that are deployed in an IoT environment. Therefore, to accomplish a user task effectively, the services that utilize IoT devices need to be found in a certain geographical region. In addition, the service discovery needs to be accomplished in a stable manner while considering dynamically changing IoT environments. To deal with these issues, we propose two service discovery methods that consider geographic cohesiveness of services in IoT environments. We compare the effectiveness of the proposed methods against a traditional service discovery algorithm that does not consider geographic cohesiveness.

• Journal of Internet Computing and Services
• /
• v.6 no.2
• /
• pp.1-11
• /
• 2005

Web services are being recognized as the efficient way to integrate the distributed applications on the web based on the web standards such as SOAP, WSDL and UDDI. Recently, BPEL4WS is suggested as a standard integration model language for web services to integrate them efficiently. The recent studies of web service integration are focused on the comparability among the services, process identification and tracing, and automation, However, little or no effort has been dedicated to the reusability, extensibility on the business process integrated services and how to allocate the services dynamically, So, in this paper, we propose how to increase the reusability and extensibility of integrated structure when services are integrated using BPEL4WS, and how to allocate and use the services dynamically. Also, we propose the framework of the composition of web services for the efficient use of suggested integrated structure.

• Journal of Internet Computing and Services
• /
• v.4 no.1
• /
• pp.53-65
• /
• 2003

I/O processing speed of relatively sluggish storage devices incurs overall performance degradation in computer systems. As a solution to improve the situation, SAN(Storage Area Network) has been proposed. In order to utilize a SAN system more effectively, where storage devices are directly connected with a high speed network such as Fibre Channel, a proper management tool is needed. In this paper, we present a design and implementation of a performance monitoring and configuration management tool for the SANtopia system which supports global file sharing in the SAN environment The developed tool is to monitor the performance of the Linux hosts composing the SANtopia system and to manage the configuration of the hosts and storage devices. It also supports GUI(Graphic User Interface) environment using the JAVA programming language.

• Journal of Internet Computing and Services
• /
• v.8 no.6
• /
• pp.1-8
• /
• 2007

The Mobile Ad-hoc network does environmental information which an individual collects in nodes which are many as the kernel of the USN technology based on the radio communication. And it is the latest network description delivering critical data to the destination location desiring through a multi-hop. Recently, the Ad-hoc network relative technique development and service are activated. But the security function implementation including an authentication and encoding about the transmitted packets, and etc, is wirelessly the insufficient situation on the Ad-hoc network. This paper provides the security service of key exchange, key management. entity authentication, data enciphering, and etc on the Mobile Ad-hoc network. It implements with the Ad-hoc network security management server system design which processes the security protocol specialized in the Ad-hoc network and which it manages.

• Journal of Internet Computing and Services
• /
• v.14 no.3
• /
• pp.35-46
• /
• 2013

As mobile terminal environment gets matured, the use of Android platform based mobile terminals has been growing high. Recently, the number of attacks by malicious application is also increasing as Android platform is vulnerable to private information leakage in nature. Most of these malicious applications are easily distributed to general users through open market or internet and an attacker inserts malicious code into malicious app which could be harmful tool to steal private data and banking data such as SMS, contacts list, and public key certificate to a remote server. To cope with these security threats more actively, it is necessary to develop countermeasure system that enables to detect security vulnerability existing in mobile device and take an appropriate action to protect the system against malicious attacks. In this sense, this paper aggregates diverse system events from multiple mobile devices and also implements a system to detect attacks by malicious application.

• Journal of Communications and Networks
• /
• v.13 no.6
• /
• pp.591-601
• /
• 2011

Today's Internet which provides communication channels with best-effort end-to-end performance is rapidly evolving into an autonomic global computing platform. Achieving autonomicity in the Future Internet will require a performance architecture that (a) allows users to request and own 'slices' of geographically-distributed host and network resources, (b) measures and monitors end-to-end host and network status, (c) enables analysis of the measurements within expert systems, and (d) provides performance intelligence in a timely manner for application adaptations to improve performance and scalability. We describe the requirements and design of one such "Future Internet performance architecture" (FIPA), and present our reference implementation of FIPA called 'OnTimeMeasure.' OnTimeMeasure comprises of several measurement-related services that can interact with each other and with existing measurement frameworks to enable performance intelligence. We also explain our OnTimeMeasure deployment in the global environment for network innovations (GENI) infrastructure collaborative research initiative to build a sliceable Future Internet. Further, we present an applicationad-aptation case study in GENI that uses OnTimeMeasure-enabled performance intelligence in the context of dynamic resource allocation within thin-client based virtual desktop clouds. We show how a virtual desktop cloud provider in the Future Internet can use the performance intelligence to increase cloud scalability, while simultaneously delivering satisfactory user quality-of-experience.