Digital Library

1. 1. A Study on the Charge of Using the Internet Network - Focusing on U.S. Internet History and Charter Merger Approval Conditions Litigation -
   Dae-Keun Cho, Vol. 22, No. 4, pp. 123-134, Aug. 2021
   10.7472/jksii.2021.22.4.123
   Keywords: Internet, Peering, Net Neutrality, Access fee, Charter Merger
2. 2. Developing a Reactive System Model from a Scenario-Based Specification Model
   Ryoung-Kwo Kwon, Gi-Hwon Kwon, Vol. 13, No. 1, pp. 99-106, Feb. 2012
   10.7472/jksii.2012.13.1.99
   Keywords: LTL Synthesis, Reactive System, Scenario Based Specification, Live Sequence Chart
3. 3. Code Generation from the Statechart Based on XMI
   Joa-Sang Lim, Jin-Man Kim, Vol. 12, No. 6, pp. 161-170, Dec. 2011
   Keywords: Statechart, XMI, Code Generation
4. 4. An Efficient Incremental Evaluation Technique Using an Extended Dependency Chart
   Jung-Lan Hun, Vol. 10, No. 2, pp. 75-84, Apr. 2009
   Keywords: incremental evaluation, Dependency Chart, incremental evaluation algorithm, dependency graph, object oriented programming languages
5. 5. Web-based Chart Generating System Using CML
   Hyun-Nim Yoon, Yang-Woo Kim, Vol. 9, No. 5, pp. 47-58, Oct. 2008
   Keywords: CML, Chart Generating System, XML, Chart
6. 6. The Building of Incremental Interpreter Using Analyzing of Dynamic Semantics
   Han Junglan, Choi Sung, Vol. 5, No. 6, pp. 111-120, Dec. 2004
   Keywords: Incremental Interpreter, Dynamic Semantics, Action equations, Dependency Chart