• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.373-376
• /
• 2004

본 논문에서 우리는 시맨틱 웹을 기반으로 하는 웹 서비스 발견, 실행, 구성 및 모니터링을 자동화하기 위한 목적을 가지는 DAML-S를 규칙기반 프레임워크로의 확장 및 통합방안에 관한 연구결과를 제시한다. 확장 및 통합된 형태의 DAML-S는 온톨로지 내부에 DamlRuleML로 인코딩된 형태의 규칙들을 포함한다. 내포된 규칙들로 보완된 DAML-S 서비스 온톨로지들은 서비스 발견, 실행, 구성 및 모니터링에서 확장 이전의 DAML-S가 가지는 한계점들을 극복하고 나아가 보다 지능적인 서비스의 구현을 가능하게 한다. 본 논문에서 제안된 우리의 접근법은 온톨로지를 마크업하기 위한 노력과 규칙을 표현하기 위한 노력이 자연스러운 방법으로 통합될 수 있는 근간을 마련할 뿐만 아니라 규칙들을 이용하여 온톨로지들을 보완하고, 규칙들에서 사용되는 용어들을 온톨로지들에서 정의된 용어들 및 속성들로 표현할 수 있다는 장점을 가진다. 이와 같은 공헌이외에 우리는 실제 시나리오를 통하여 언급된 사항들이 가능하게 되는 방법들을 구체적으로 보인다.

• Journal of Science and Technology Studies
• /
• v.13 no.1
• /
• pp.1-39
• /
• 2013

How would technoscientists collaborate in their technoscientific practices? Based on the ethnographic research done at NRI(Neuroscience Research Institute), this research shows how collaboration occurs in/outside the interdisciplinary laboratory. As previous studies show, collaboration makes researches possible that otherwise would have been impossible. Korean technoscientists who are situated in the scientific periphery, practice contextualized collaboration in their labs. These collaborations are invisible before opening the black box of the lab. But it acquires visibility after certain incidents such as collaborations, debates and discussions, malfunctioning of the instruments, and networking with other actors occur. These networks again become invisible after the certain incidents end. However these blackboxing and whiteboxing (opening the blackbox) processes occur simultaneously in various levels, it is almost impossible to identify them separately. In real technoscientific practices, blackboxing and whiteboxing do not occur distinctively. They almost always occur at the same time on multi-layered levels, hence forming the 'grey box' of technoscientific practices. Lastly, collaborations inside laboratory have in/visible features, because laboratories function as Foucauldian heterotopias.

• Journal of Software Engineering Society
• /
• v.23 no.4
• /
• pp.141-149
• /
• 2010

Agile development is mentioned a lot by developers these days. XP or Scrum is one of the popular development processes, and it says that unit test automation would drive an agile development successful. The success of unit test automation depends on how well to compare an execution result to its own expected result. that is why this paper focuses on the comparison part. This paper introduces how to build test codes for unit testing, and then concludes with mentioning two considerations of unit testing automation. First, test codes for void-typed methods need Mock Framework to monitor their behavior. Second, the comparison of execution results and expected results is hard to implement in case of testing void-typed methods. We check every sentences of a test path to decide if the testing is fail or pass.

• Journal of Software Engineering Society
• /
• v.28 no.1
• /
• pp.1-6
• /
• 2019

Google released an initial version of Android that runs Dex(Dalvik Executable) through the Dalvik Runtime. Since Dalvik Runtime is based on interpreter, JIT(Just-in-time) compilation has been applied to improve performance. After Lollipop(Android 5.0) Dalvik Runtime has replaced with ART Runtime which support AOT (Ahead-of-time) compilation of Dex into Native Code. The late st Android has a problem that the application execution speed is slow until the AOT compilation is completed according to the actual usage record after the installation of the app. To improve the problem we have investigate the characteristics of profile that can improve the execution speed of the application and generate the profile automatically. Finally we propose a method that can optimize the application at install time. With the proposed method we can optimize selectively at install time and can help improving the execution speed of the app from the initial execution.

• Journal of Korea Multimedia Society
• /
• v.7 no.7
• /
• pp.976-984
• /
• 2004

C# and .NET platform in Microsoft Corp. has been developed to meet the needs of programmers, and cope with Java and JVM platform of Sun Microsystems. After compiling, a program written in .NET language is converted to MSIL code, and also executed by .NET platform but not in JVM platform. Java, one of the most widely used programming languages recently, is the language invented by James Gosling at Sun Microsystems, which is the next generation language independent of operating systems and hardware platforms. Java source code is compiled into bytecode as intermediate code independent of each platform by compiler, and also executed by JVM. This paper presents the MSIL-to-Bytecode intermediate language translator which enables the execution of the program written in .NET language such as C or C# in JVM(Java Virtual Machine) environment, translating MSIL code produced by compiling .NET program into java bytecode. This work provides an environment for programmers to develop application programs without limitations of programming languages.

• The KIPS Transactions:PartD
• /
• v.13D no.4 s.107
• /
• pp.535-548
• /
• 2006

To formally describe business process, many business process languages have been so far specified with different origins and goals such as XPDL, BPML and BPELAWS. Especially, XPDL proposed by WfMC has been widely used in various business process environments for a long time. On the other hand, the necessity of a standard graphical notation for a business process may create BPMN driven by BPMI. Because BPMN is composed of graphical constructs which can be used to graphically depict business process, BPMN-formed business processes should ultimately be converted to their corresponding semantically equivalent business process language(XPDL). Then, the business process languages can be consequently executed by business process engines. In this paper, we proposed a transformation mechanism from BPMN to XPDL for a business process. By this paper, We minimized the difference between process designers and process execution modules as reducing the gap of semantics between BPMN and XPDL.

• Journal of the Korean Society for Library and Information Science
• /
• v.45 no.1
• /
• pp.149-167
• /
• 2011

The research started with the idea that the proper supervision of bibliotherapy would improve its therapeutic effect. Revealing therapeutical effect is, to therapists more than just therapy process itself. Bibliotherapists, however not only feel the pressure by the term 'therapy' and have a low conviction over self-activating therapy. Therefore, the therapeutic value of bibliotherapy has not been well approved, and the need for improving the situation has grown among bibliotherapists. The bibliotherapy supervising action research was triggered by such need. This research takes the form of interpretive action research which emphasizes a 'methodical' approach to the research process. The purpose is to observe the problems of supervisees, make each session better, and help both the researcher and participants during the research process.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.09a
• /
• pp.264-279
• /
• 1995

오늘날 기업 경영 환경은 더욱 복잡해지고, 국가간.지역간 통합 경제 체제 형태로 변화하고 있다. 정보 기술과 텔리커뮤니케이션의 결합에 따른 급속한 발전은 국가간.지역간 경계를 넘어 다국적 기업, 더 나아가서는 범세계적 기 업으로 글로벌(global) 기업을 출현시켰다. 경영 환경의 빠른 변화의 추세 속 에서 경쟁 우위를 지키기 위해서는 이러한 변화를 적절히 수용하고 적응할 수 있는 조직이 필요하였다. 기존의 MIS 관점으로는 환경 변화에 적응 할 수 있는 혁신적인 조직으로 변화시키는 데는 한계가 있었고, 이에 따라 BPR 이 대두되었다. BPR실행에 있어 성공뿐만 아니라 많은 실패도 겪었다. BPR 실행에는 많은 자금과 인력, 시간이 투자되기 때문에 실패의 손실은 기업에 게 큰 타격을 가져다 줄 수 있다. 대부분의 BPR의 실패 원인은 사회적 측면 을 고려하지 못한 데 있다. 정보 기술을 이용하여 프로세스를 급진적으로 재 설계 하였지만, 운영 주체인 구성원의 저항감이나 조직의 문화에 대한 고려 를 하지 못하였다. 그러므로 BPR을 수행함에 있어 사회적 측면과 기술적 측 면을 동시에 고려하여 적용한다면 오류나 실패 요인을 감소시킬 수 있다. 따 라서 요즈음 새로이 부상하고 있는 사회.기술적 시스템 접근법은 성공적인 BPR 실행을 위한 대안이 될 수 있다.

• Journal of Families and Better Life
• /
• v.12 no.2
• /
• pp.90-105
• /
• 1994

본 연구의 기본적 취지는 부인과 남편의 가사와 자녀 양육노동시간에 영향을 미치는 결정요인을 조사하는 것이다. 연구목적을 효과적으로 달성하기 위하여, 가사분담 및 육아시간 설명에 유용하게 쓰여온 다양한 관점의 이론을 도입하여, 그 효과를 검증하였다. 본 연구에서 도입된 이론은 경제적 효율가설(Economic Efficiency), 수요 및 실행가능가설 (Demand/Response Capability), 성 역할관념가설(Sex-Role Ideology), 그리고 상대적 자원가설(Relative Resources)이다. 이 가설들로부터 유출된 대용변수들의 부인과 남편의 가사와 육아시간에 미치는 효과가 검증되었는데 이 변수들은 임금률 부부간의 임금률 비율 노동시 장에서의 근로시간 어린자녀 수 성별에 따른 역할에 대한 사고관, 소득, 부부간의 상대적 소 득수준 교육수준 직업 연령 가족형태, 인종이었다. 본 연구에서 사용된 조사는 1988년 미국 위스콘신 대학 (메디슨)내의 인구 및 생태국(Center for Demography and Ecology)에서 실시한 전국 가족 및 가계조시(National Survey of Families and Households)이다. 부인과 남편의 가사 및 육아 시간량을 설명하는 이론의 효과검증에 대한 연구 결과를 요약하면 역할 관념가설을 부인과 남편모두의 가사 및 육아노동 시간을 잘 설명하는 가설로 나타났고 수요 및 실행가능성가설은 남편보다는 부인의 가사와 육아시간에 더 설득력있는 가설임이 밝혀졌다. 대체적으로 경제적 효율가설과 상대적 자원가설의 효과는 크지 않은 것으로 나타났다. 또한 수요 및실행가능가설이 남편의 총가사시간을 설명하는 효과는 크지 않았으나 남편의 여성중심형 과업시간에는 유의마한 변수로 나타난 것은 주목할 만하다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2891-2902
• /
• 1997

This paper presents an analysis on the optimal partitioning configuration of cache (memory) for meeting deadlines of periodic and aperiodic real-time task set. Our goal is not only to decrease the deadline missing ratio of each task by minimizing the task utilization, but also to allocate another tasks to idle spaces of cache. For this reason, we suggest an algorithm so that tasks could be allocated to cache segments. Here, the set of cache segments allocated tasks is called a cache partitioning configuration. Based on how tasks allocate to cache segments, we can get various cache partitioning configurations. From these configurations, we obtain the boundary of task utilization that tasks are possible to schedule, and analyze the cache optimal partitioning configuration that can be executed to minimize the task utilization.