• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.16 no.4
• /
• pp.43-57
• /
• 2006

When building a software system out of software components, the composition is not simple because of the complexity caused by diverse versions, digital signatures, static type information, and off-the-shelf components from various vendors. Well-established linking policies are one of the best solutions to solve the complexity problem at linking time. Secure Linking (SL) enables users to specify their linking policies which can be enforced at link time. Secure Linking framework is a framework based on a higher-order logic in order to help build a SL system. This paper shows that the Secure Linking logic is expressive enough to describe a real-world component composition system, the linking protocol of.NET. The paper also demonstrates the advantage of the logic-based linking framework by discussing the weakness of the code signing protocol in.NET which was found while we encoded the assembly linking system of.NET.

• Journal of the Korean Society for information Management
• /
• v.26 no.3
• /
• pp.45-67
• /
• 2009

The ecosystem of the Library has been radically changing in the advent of ubiquitous information service technology. We are already aware of the digital library due to popularizing digital information resources and we are impressed with Library 2.0 and Social Semantic Digital Library of user-centered, service-oriented library. We summarize the ultimate goal of the evolution of library systems as knowledge services and propose a logical model of library system for the realization of knowledge services. This local model can be applied for a library framework to harmonize the diverse knowledge resources, active users with participation and collaboration, the innovation of library business and ubiquitous information service technologies to achieve the missions of library in knowledge-intensive society.

• Smart Media Journal
• /
• v.7 no.3
• /
• pp.57-63
• /
• 2018

With many types of data generated in the shift of business environment as a result of growth of an organization or enterprise, there is a need to improve the data-processing efficiency in smarter means with a single domain model such as Data Lake. In particular, creating a logical single domain model from physical partitioned multi-site data by the finite resources of nature and shared economy is very important in terms of efficient operation of computing resources. Based on the advantages of the existing Data Lake framework, we define the CDA-Concept (connected data architecture concept) and functions of Data Lake Framework over Abyss Storage for integrating multiple sites in various application domains and managing the data lifecycle. Also, it performs the interface design and validation verification for Interface #2 & #3 of the connected data architecture-concept.

• Journal of Intelligence and Information Systems
• /
• v.16 no.1
• /
• pp.1-16
• /
• 2010

Several techniques and methods for ontology modularization have been proposed recently. However, there are few ontology evaluation frameworks to evaluate these techniques and methods. Most researches on ontology modularization have not been focused on ontology modularization evaluation but ontology modularization process itself. In this paper, we devise a novel ontology modularization evaluation framework to measure the quality of ontology modules, logical integrity during modularization process and modularization tools. Experiments were conducted to validate the proposed framework. Three representative modularization approaches SWOOP, Prompt, and PATO were chosen and used to partition or extract modules from an ontology. Then the proposed evaluation framework is applied to these modules. The experiment results indicate that the modularization framework works well. The proposed framework would help ontology engineers improve ontology module quality, anticipate and reduce future maintenance as well as help ontology users to choose ontology modules that best meet their requirements.

• The KIPS Transactions:PartD
• /
• v.12D no.6 s.102
• /
• pp.905-914
• /
• 2005

This paper suggests a healthcare home service system based on the distributed object group framework that can not only provide healthcare application services using the information obtained from the physical healthcare sensors and devices, and but also monitor and control these services remotely. The distributed object group framework supports the object group service, the interaction service between object groups and the real-time service in order to execute the healthcare application. Here object group means the unit of logical grouped objects or healthcare sensors and devices for a service. Our suggested system consists of 3 layers. The first layer presents the physical sensors and devices for healthcare, as a physical layer. The second layer lays the distributed object group framework, and the third layer, the upper's one, implements healthcare applications based on lower layers. With healthcare applications providing for this system, we implemented the location tracking service, the health information service and the titrating environment service. Also the integrated executing results of these services can be monitored and controlled via remote desktop systems or PDAs.

• Journal of Internet Computing and Services
• /
• v.9 no.3
• /
• pp.9-24
• /
• 2008

In this paper, we describes the design of software architecture supporting for healthcare context information service platform based on multi agent in home environment. In this platform, the DOGF supports the execute object and healthcare sensors and device's logical services grouping. JADE framework can support mobility in heterogeneous environment. The multi agents on platform order to support a healthcare context information service it will be able to divide. An agent collects an environment information from distributed devices. Another an agent follows mobile-device specific and it does a different service. And an agent where it manages like this. The mobile-proxy&agent is an interface part between DOGF and JADE, support data interchange or mobility pattern. For DOGF and JADE to provide healthcare context information service, we describes the design of multi agent software platform and multi agent classification by services. Finally we showed the system environments which is physical environments and prototype based on platfonn for healthcare context information services.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.4
• /
• pp.359-372
• /
• 2000

Current CAD systems are good enough to be used as a tool to manipulate three-dimensional shapes. This is a very important capability to be owned by a design tool because a major portion of designers'activities is spent on the shape manipulation in the design detailing process. However, the whole design process involves a lot more than the, shape manipulation. Currently, these remaining tasks, mostly logical reasoning process for the function realization together with structure decomposition in the top-down manner, are processed in the designer's brain. To support the top-down functional design process of a mechanical product, a system integrating the functional, structural and geometrical aspects of a product design in a unified environment is presented. Using this system, a designer can perform function decomposition, structure decomposition, and geometry detailing, and function verification activities in parallel and the whole design process it modeled resultantly. Once the whole design process is modeled, any redesign task can be automatically performed with the verification of the desired functions.

• International conference on construction engineering and project management
• /
• 2022.06a
• /
• pp.1093-1099
• /
• 2022

The number of buildings is increasing day by day. The next logical footstep is tackling challenges regarding scarcity of resources and sustainability, as well as shifting focus on existing building structures to renovate and retrofit. Many existing old and heritage buildings lack documentation, such as building models, despite their necessity. Technological advances allow us to use virtual reality, augmented reality, and mixed reality on mobile platforms in various aspects of the construction industry. For these purposes, having a BIM model or high detail 3D model is not always necessary, as a simpler model can serve the purpose within many mobile platforms. This paper streamlines a framework for generating a lightweight 3D model for mobile platforms. In doing so, we use an existing structure's site survey data for the foundation data, followed by mobile VR implementation. This research conducted a pilot study on an existing building. The study provides a process of swiftly generating a lightweight 3D model of a building with relative accuracy and cost savings.

• Knowledge Management Research
• /
• v.7 no.2
• /
• pp.53-68
• /
• 2006

Knowledge has become an important resource for organization. The manufacturing industry is usually operated on the basis of business processes, and most workers are familiar with their own processes. The process-based approach, therefore, can provide an efficient way to capture and navigate knowledge. In this study, we focus on knowledge which may be missed during knowledge transfer among workers. For this, we propose a method for analyzing knowledge flow, which is passed among business processes. We propose a process-based knowledge management framework for analyzing knowledge flow, which employs a two-phase analysis: process analysis and knowledge flow analysis. A knowledge flow model, represented by Knowledge Flow Diagram, is proposed as a tool for representing knowledge. We formulate several semantics for knowledge flow modeling. We build the three-level schema: conceptual, logical, and physical in order to automate the knowledge model adaptive to knowledge management systems. The proposed approach is verified and illustrated through a case study on the manufacturing process of A Company.

• Korean Institute of Interior Design Journal
• /
• v.24 no.3
• /
• pp.30-37
• /
• 2015

The target of design is a harmony between Beauty and Usefulness. Design is a result from representation of visual language by designer's creative thinking system. also, As an ill-defined problem cannot be described completely. and subjectively interpret depend on the situation, it is very difficult to present a theoretical standard. There have been many Design Sciences researches in recent years. such as Rule Based Design, Parametric Design, Replacement Design, Analogy Design, Metaphor Design, Genetic Algorithm. but Objective research is still unsatisfactory condition to investigate true nature about Design. At this point, It is very important to formulating about meaning of Design Language and Thinking. This study will define about that, and based on this definition, Lay out a logical basis for Treatment design variable and materialization of process by "Elements", "Relationship", "Schema". ultimately it look forward to provide a framework and minimize the complexity about Design Thinking.