JICS

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. 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. 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. 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. 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. 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

Digital Library

Templates

Category Search

Publications