• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.3
• /
• pp.337-344
• /
• 2000

In this paper, we define a Process Algebra ACSMR(Algebra of Communicating Shared Multiple Resources) for system specification and verification using multiple resources. ACSMR extends a concept of multiple resources in ACSR that is a branch of formal methods based on process algebra. We'll show that two specification and verification examples. One is the specification of system behavior in multiprocessor using EDF(Earliest-Deadline-First) which is a scheduling algorithm of a real-time system. The other is the specification of describing timing analysis and resources restriction in a super scalar processor using multiple ports registers.

• Economic and Environmental Geology
• /
• v.36 no.3
• /
• pp.243-255
• /
• 2003

The mathematical models for GIS-based spatial data integration have been developed for geological applications such as mineral potential mapping or landslide susceptibility analysis. Among various models, the effectiveness of fuzzy logic based integration of multiple sets of geological data is investigated and discussed. Unlike a traditional target-driven fuzzy integration approach, we propose a data-driven approach that is derived from statistical relationships between the integration target and related spatial geological data. The proposed approach consists of four analytical steps; data representation, fuzzy combination, defuzzification and validation. For data representation, the fuzzy membership functions based on the likelihood ratio functions are proposed. To integrate them, the fuzzy inference network is designed that can combine a variety of different fuzzy operators. Defuzzification is carried out to effectively visualize the relative possibility levels from the integrated results. Finally, a validation approach based on the spatial partitioning of integration targets is proposed to quantitatively compare various fuzzy integration maps and obtain a meaningful interpretation with respect to future events. The effectiveness and some suggestions of the schemes proposed here are illustrated by describing a case study for landslide susceptibility analysis. The case study demonstrates that the proposed schemes can effectively identify areas that are susceptible to landslides and ${\gamma}$ operator shows the better prediction power than the results using max and min operators from the validation procedure.

• International Commerce and Information Review
• /
• v.15 no.2
• /
• pp.129-162
• /
• 2013

The purpose of this work is to explore the role of international entrepreneurship(IE) in explaining internationalization process of Korean ventures and to structure the model of IE with the logics of effectuation. The internationalization of entrepreneurial company is regarded as the realization of entrepreneurship which find out and use opportunities across borders in this point of view, and the realization process gets more realistic and applicable to the internationalization of ventures by effectuation. So we constructed the new concepts of the generating-internationalization-outcome capability(GIOC), which is the effectual capability allowing ventures to go international despite their lack of internal resources and experiences. Its sub-capabilities of GIOC are extemporaneous coping capability, perform-resource-in-hand capability and network-use capability. The empirical analyses of the relations among the capabilities and the performances of internationalization are performed in order to prove the rationale of the model, which provides finally significant evidences of the relationships. The key contribution of this study is that it highlights the important role of IE in internationalization of ventures and shows the possible role of effectuation in explaining the realization process of IE.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.2B
• /
• pp.269-278
• /
• 2010

In the clustering protocol, lifetime of the cluster members radically decrease because frequency interference between clusters make every cluster member consume a lot of energy to maintain or increase its transmission rate. In this paper, we analyze the frequency interference among the clusters with the game theory which deals with resource bargaining problems between players, and present a rational power allocation strategy. Both the cases that each cluster tries to selfishly occupy and cooperatively share the resource are analyzed in terms of non-cooperative and cooperative games. In simulation, we compare the cooperative game with non-cooperative game in terms of the node lifetime.

• Journal of KIISE:Computer Systems and Theory
• /
• v.36 no.6
• /
• pp.488-501
• /
• 2009

In ubiquitous environments, invisible devices and software are connected to one another to provide convenient services to users. In order to provide such services, we must have mobile devices that connect users and services. But such services are usually limited to those served on a single mobile device. To resolve the resource limitation problem of mobile devices, a nearby resource sharing research has been studied. Also, not only the nearby resource share but also a resource recommendation through context-based resource reasoning has been studied such as an UMO Project. The UMO Project share and manage the various context information for the personalization resource recommendation and reason based on current context information. Also, should verify resource inference rules for reliable the resource recommendation. But, to create various context information requires huge cost and time in actuality. Thus, we propose a inference verification tool called USim to resolve problem. The proposed inference verification tool provides convenient graphic user interfaces and it easily creates context information. The USim exactly verifies new inference rules through dynamic changes of context information.

• Journal of Digital Convergence
• /
• v.19 no.9
• /
• pp.145-156
• /
• 2021

While the current literature has considered business group as a temporary form of organizations that only exists under the developing contries with under-developed financial markets. Chaebol, a form of businss group in Korea, has sustained as a major organization form in Korea. To fill the current gap in the literature and practice, I suggest a theoretical model of Chaebol scion's entrepreneurial firm growth mechanisms. First, I posit that social, structural, and psychological factors motivate Chaebol scions to engage in entrepreneurship. Second, I suggest that five mechanisms, including business opportunity, financial support, recruitment, marketing, and inter-organizational collaboration, will facilitate entrepreneurial firm growth. By constituting a model of Chaebol scion's entrepreneurial firm growth, the current theoretical paper advances the literature on business group and entrepreneurship with indicating Korean Chaebol's new expansion possibilities.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.12
• /
• pp.3794-3803
• /
• 2000

In a Video-on-Demand system, admission control that is used to serve multimedia data efficiently has to be perfonned by an accurate grasp of the condition of surplus resources. Most of all. we need to adaptable admission control mechanism because the disk has irregular response time caused by external elements of disk, and also has high deviation of amount demanded. In previous admission control schemes, they determined whether a new user is granted or not through a theoretical value. Although they based on the measurement, they left much to be desired in dealing with the service state. Measurement ~based statistical admission control scheme, as we su~~ested in this research, perfonns 2 processes of off-line process and on-line process in real service environment. Through this processes, we can grasp the accurate resource state of system and adaptive!y detennine the admission according to circumstances. Therefore, it can guarantee both maximum resource utilization and QoS(Quality of Service). On performance evaluations, we show that the video server can utilize maximum resource utilization with QoS guarantee through precision of perfonnance by measurement and adaptable admission control according to the requested bandwidth.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.17-20
• /
• 2017

실시간 마이그레이션은 데이터 센터 내에서 자원을 효율적으로 관리할 수 있도록 하는 기술이다. 그러나 대부분의 연구는 마이그레이션 Metric간 Trade-off를 고려하고 있지 않아 Qos저하의 우려가 있기 때문에 서비스 목적에 따라 다수의 Metric을 고려해야한다. 마이그레이션 시 고려되는 요소들을 분류하고 이를 복합적으로 고려할 수 있는 퍼지이론 기반의 마이그레이션 기법을 제시하고자 한다. 또한 향후 연구에 대해서도 논의한다.

• Economic and Environmental Geology
• /
• v.39 no.6 s.181
• /
• pp.787-801
• /
• 2006

Focused in the characteristic of R&D on Geoscience and Mineral Resources as basic research area, we survey on methods of public works' economic impact analysis including cost-benefit analysis and resent technology evaluation methods and suggest apply-methods to conduct economic impact analysis on R&D of geoscience and mineral resources. To conduct economic impact analysis on the basic research area, it need to identification research's out-come not just output. In this perspective, we propose a method, Input-Output-Outcome Roadmapping to identify the outcome of R&D and show the relation of input, output, and outcome of R&D. Furthermore, noticing the different effects of R&D from public works, we directly evaluate the use-value of the academic theory or geological maps through Contingent Valuation Method(CVM) and others developed as evaluation methods on environmental goods. In indirect application methods, it can evaluate the partial of the pubic works' benefit with assuming R&D factors if R&D is a part of public works. If not, we evaluate the R&D's value as reductions of costs or additions of benefit with finding related public works.

• The KIPS Transactions:PartA
• /
• v.11A no.6
• /
• pp.419-424
• /
• 2004

Mobile Internet using mobile devices provides Portability to users and is Spreading throughout out lives. But Practical use of the mobile Internet is insufficient due to it's fundamental limitations. Especially, mobile resources are not sufficient because they are not closely connected under current mobile Internet services which are provided with pre-designed structure. For these reasons it will take a lot more time and effort for mobile Internet to grow as a popular service. In this paper, we are focusing to overcome the local limitation and to enhance the 'Sharing of Mobile Resources' by expanding mutual connectivity between resource objects scattered over the mobile Internet environment. To archive this, we propose the MRSS(Mobile Resources Sharing System). MRSS automatically converts single request from user to multiple instructions based on 'Context-Awareness' to search for proper information. Using MRSS, we can expect 'Mobile Ubiquitous Computing' environment which users can reach to information anywhere, anytime.