• The Journal of Korean Association of Computer Education
• /
• v.5 no.3
• /
• pp.79-87
• /
• 2002

Theorema system is built on top of Mathematica to automate deductive reasoning processes as the combination of computer algebra system and deductive system. Theorema system that was developed at RISC in Austria provides three modes based on rewriting techniques; computation, problem solving and proving. This paper shows how the computation mode of Theorema can simulate Derive part for TI-92 graphic calculators to produce TI-92 manuals. Moreover, it also describes how such manuals can be converted to web-based learning materials via Java servlet.

• Proceedings of the KIEE Conference
• /
• 2000.11d
• /
• pp.830-832
• /
• 2000

XML형식으로 표현된 RDF data를 VRML을 사용하여 시각적으로 나타내는 방법을 연구하였다. 현재 Web 환경은 동적으로 문서를 생성하고 Visual하게 표현하는 방향으로 발전하고 있으며 이러한 환경에서 XML은 실시간으로 data를 생성하기 쉬워 많이 사용되고 있다. 그러나 XML은 text 기반이기 때문에 data를 가시화하여 사용자한테 보여주기 힘들며 data를 표현하는데 너무 많은 융통성을 제공하고 있다는 단점이 있다. 이에 XML 표현에 제약을 둬 표준적인 방식으로 표현하도록 해주는 RDF가 유용하다고 할 수 있다. 본 논문에서는 VRML을 RDF와 결합하여 실시간으로 변하는 data를 시각화 도구를 사용하여 표현하는 방법에 대해 연구를 하였다 이를 위하여 Java Servlet을 사용하였으며 RDF 문서에서 data를 추출하여 VRML 펀드를 만들고. 그 코드를 사용자측에 전달하여 시각적으로 data를 볼 수 있도록 하는 시스템을 구현하였다.

• The Journal of Information Systems
• /
• v.10 no.1
• /
• pp.127-146
• /
• 2001

The area of business applications in the internet are extended enormously in result of fast development of computing and communication technologies, increase of internet use, and use of intranet/extranet in enterprise information system. Widely spread the use of the internet, there are various applications for Business to Business (B to B) or Business to Customer(B to C) model that are based on the intranet or extranet. This paper designed and implemented the Web-based Electronic Bidding System for Business to Business (B to B) model. The technical issues of electronic bidding system in the internet are involved in the connection between web client and server, electronic data interchange for the contract document, and security solution during the bidding and contracting processes. The web-based electronic bidding system in this paper is implemented using Java applet and servlet as a connection interface for web client and server, XML/EDI-based documents for a bid and a contract, and bidding server and notary server for enhancing the security using PKI(Public Key Infrastructure)-based public key cryptography, digital signature and Certification Authority(CA).

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.243-246
• /
• 2003

웹 사용의 보편화에 따라 많은 서비스가 이루어지고 있다. 이러한 서비스 중에는 웹을 통한 학습교육서비스 또한 많이 있다. 웹 교육은 시간과 학습자의 수에 제약을 받지 않는 장점이 있으나, 웹에서 인증을 통해 학습 서비스를 받는 과정에서 로그 아웃이나 세션 시간 종료까지 실질적으로 사용자가 학습을 하고 있는지 활동을 자세히 알 수가 없다. 따라서, 본 논문은 기반 Ormapper와 Java세션 관리를 이용해서 학습을 받고 있는 사용자들을 관리하는 시스템을 개발하였다.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.7
• /
• pp.329-336
• /
• 2017

As web apps have evolved faster and become more complex, their validation and verification have become essential for their development and maintenance. Efficient validation and verification require understanding of how web components collaborate with each other to meet user requests. Thus, this paper proposes a new approach to automatically extracting such collaboration when a user issues a request for a new page. The approach is dynamic and less sensitive to web development languages and technologies, compared to static extraction approaches. It considers an orignal web app as a black-box and does not change the app's behavior. The empirical evaluation shows that our approach can be applicable to extract component collaboration and understand the behavior of open source web apps.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.9B
• /
• pp.1073-1081
• /
• 2011

An URL parameter can hold some information that is confidential or vulnerable to illegitimate tampering. We propose Link-E-Param(Link with Encrypted Parameters) to protect the whole URL parameter names as well as their values. Unlike other techniques concealing only some of the URL parameters, it will successfully discourage attacks based on URL analysis to steal secret information on the Web sites. We implement Link-E-Param in the form of a servlet filter to be deployed on any Java Web server by simply copying a jar file and setting a few configuration values. Thus it can be used for any existing Web application without modifying the application. It also supports numerous encryption algorithms to choose from. Experiments show that our implementation induces only 2~3% increase in user response time due to encryption and decryption, which is deemed acceptable.

• The KIPS Transactions:PartB
• /
• v.11B no.1
• /
• pp.91-98
• /
• 2004

This paper proposes how to support various media on online conversational activity using XML(extensible Markup Language). The method converts media information into XML based messages and handles alike conventional text based messages. The XML based messages are unified to an XML document, and then a HTML document is generated using the XML and an XSLT documents in a server. A user in each client can play or present media through the hyperlink that is associated media information on the HTML document. The suggested method supports use of various media (text, image, audio, video, documents, etc) and efficient maintenance of font size, color, and style on messages according to extension and modification of XML tags. For application, this paper implemented the system to support media that has client and server architecture on online conversational activity. A user in each client inputs text or media based message using JAVA applet and servlet on the system, and conversational messages on every users' interfaces are automatically updated whenever a user inputs new message. Media on conversational messages are played or presented according to a user's click on hyperlink. Applications for the media presentation are as follows : distance learning, online game, collaboration, etc.

• Proceedings of the CALSEC Conference
• /
• 1999.07b
• /
• pp.587-596
• /
• 1999

In this paper, we introduce the design and development of a web-based workflow management system. The goal of the developed system is to manage business processes occurring in the CITIS (Contractor Integrated Technical Information Services) environment. The system is composed of three main modules: Process Designer, Workflow Engine, and Client modules. The Process Designer is a module that provides the environment for the build-time function, which generates the specifications of processes. The module presents the capability of defining nested process models, which is powerful in particular for designing complex processes. Since the other two modules are implemented using pure Java technology, the Workflow Engine can be implemented on any platform and the Client programs can be accessed via the WWW interface. This indicates that there is no need to install any client programs at the client-sides. Users who has a connection to the internet with web browsers, such as Internet Explorer and Netscape Navigator, and has a proper right of access can utilize the normal client, monitoring client, and system administration client programs. Communications between the workflow engine and the clients are implemented using the java servlet mechanism. The workflow system can serve as the underlying platform of process management tool in CALS and CITIS environments. An example scenario of using the system is presented.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.6
• /
• pp.742-747
• /
• 2005

As the complexity of Web applications have increased significantly, the approach using frameworks such as Cocoon, Struts, JSF, is being suggested to develop Web applications more Quickly and efficiently. However, it Is difficult for beginners to write Apache Cocoon Sitemap files in XML. We implement a Cocoon Sitemap editor on the Java Servlet engine that allows beginners to write Cocoon Sitemap files more easily. Our system consists of three parts: Sitemap Main editor, Pipeline Viewer, and Sitemap Tracer. Sitemap Main editor support users to write BML configuration documents, so-called Sitemap file, that defines all the components pipelines, generators, and other configuration information for a Cocoon application. pipeline Viewer support users to catch the structure of Cocoon component pipelines by the medium of graphical interface. Sitemap Tracer have features to monitor of SAX events through Cocoon pipelines in a Sitemap file.

• Publications of The Korean Astronomical Society
• /
• v.20 no.1 s.24
• /
• pp.55-62
• /
• 2005

The First Generation Digitized Sky Survey (DSS-I) is a collection of digitized photographic atlases of the night sky taken from the Palomar Observatory (northen sky) and the Anglo-Australian Observatory (southern sky). DSS-I is widely used by the astronomical community for a number of applications including object cross-identification and astrometry. However, accessing and retrieving the actual images are nontrivial owing to the huge size (> 60 GB) of the dataset. To facilitate retrieval process of DSS-I data for the public, Korean Astronomical Data Center (KADC) developed a web application that provides not only data retrieval but also visualization functions. The web application consists of several modules developed using Java Applet, Jave Servlet, and JaveServer Pages (JSP) technologies. It allows users to retrieve images efficiently in various formats such as FITS, JPEG, GIF, and TIFF, and also offers an interactive visulization tool, ImgViewer, for displaying/analyzing FITS images. To use the web application, users require a Java-enabled web browser.