Computer Software
Print ISSN : 0289-6540
Search
OR
Browse
Search
Volume 34 , Issue 3
Showing 1-14 articles out of 14 articles from the selected issue
    • |<
    • <
    • 1
    • >
    • >|
  • [in Japanese]
    Volume 34 (2017) Issue 3 Pages 3_1
    Released: September 25, 2017
    JOURNALS FREE ACCESS
    Download PDF (101K)
  • [in Japanese], [in Japanese]
    Volume 34 (2017) Issue 3 Pages 3_2
    Released: September 25, 2017
    JOURNALS FREE ACCESS
    Download PDF (135K)
  • Ryoma SIN'YA
    Volume 34 (2017) Issue 3 Pages 3_3-3_35
    Released: September 25, 2017
    JOURNALS FREE ACCESS
    Automata are the simplest mathematical model of computation, so simple that they take forms in various diverse areas. In this survey, we present several theorems, one of which gives a new viewpoint for the classical theory of automata, and one of which shows a deep relation between formal language theory and other mathematical fields.
    View full abstract
    Download PDF (790K)
  • [in Japanese], [in Japanese], [in Japanese], [in Japanese]
    Volume 34 (2017) Issue 3 Pages 3_36
    Released: September 25, 2017
    JOURNALS FREE ACCESS
    Download PDF (110K)
  • Manabu TSUKADA, Keiko OGAWA, Masahiro IKEDA, Takuro SONE, Kenta NIWA, ...
    Volume 34 (2017) Issue 3 Pages 3_37-3_58
    Released: September 25, 2017
    JOURNALS FREE ACCESS
    Internet users come to enjoy various audio-visual services these days. Among these services, object-based audio-visual services are becoming important. We started the Software Defined Media (SDM) consortium to investigate object-based digital media and Internet-by-design audio-visual service. We design the SDM architecture that virtualizes the underlying audio-visual infrastructure installed in the place. We implemented a prototype system based on the architecture and presented in Interop 2015 Tokyo. Moreover, we organised hackathons to investigate the innovative application of the platform. We also study a tangible interface using the SDM prototype. To make a database of object-based audio-visual data, a baroque orchestra was recorded by various methods with 82 channels of microphones in total. We measured the delay of the application on the prototype platform and the result shows that the system has enough real-timeless to support major applications. The experimental evaluation of an interactive SDM application shows that the prototype system allows reflecting the intention of the application developer well.
    View full abstract
    Download PDF (8419K)
  • Yuki MANABE
    Volume 34 (2017) Issue 3 Pages 3_59-3_69
    Released: September 25, 2017
    JOURNALS FREE ACCESS
    To encourage use of open source software, this paper shows an overview of open source software license related research presented in international conferences or journals in software engineering. These researches are classified into open source license identification, open source software license evolution, and open source license compliance. Based on them, the future are discussed.
    View full abstract
    Download PDF (512K)
  • Yu SUZUKI
    Volume 34 (2017) Issue 3 Pages 3_70-3_74
    Released: September 25, 2017
    JOURNALS FREE ACCESS
    Download PDF (10175K)
  • Hiroyuki NAKAGAWA, Tsutomu KOBAYASHI, Shinpei HAYASHI, Nobukazu YOSHIO ...
    Volume 34 (2017) Issue 3 Pages 3_75-3_80
    Released: September 25, 2017
    JOURNALS FREE ACCESS
    Download PDF (659K)
  • Tasuku HIRAISHI
    Volume 34 (2017) Issue 3 Pages 3_81-3_85
    Released: September 25, 2017
    JOURNALS FREE ACCESS
    Download PDF (3769K)
  • Kimio KURAMITSU
    Volume 34 (2017) Issue 3 Pages 3_86-3_89
    Released: September 25, 2017
    JOURNALS FREE ACCESS
    Download PDF (296K)
  • [in Japanese]
    Volume 34 (2017) Issue 3 Pages 3_92-3_93
    Released: September 25, 2017
    JOURNALS FREE ACCESS
    Download PDF (637K)
  • Takahisa TODA, Toshiki SAITOH, Hiroaki IWASHITA, Jun KAWAHARA, Shin-ic ...
    Volume 34 (2017) Issue 3 Pages 3_97-3_120
    Released: August 09, 2017
    JOURNALS FREE ACCESS
    Combinatorial enumeration problems are to find all combinations of items (solutions) that satisfy given constraints. There are many applications to various problems that are closely related to real-life such as power distribution network analysis. Recent researches have paid attention to a generic framework for computing various combinatorial enumeration problems through the method of efficiently constructing the data structure, ZDD, for all solutions of those problems in a top-down fashion, which is thus called top-down ZDD construction. The paper focuses on this subject and provides a comprehensive survey on algorithms that the construction is based on, an extended method for efficiently handling complicated constraints, the basics of the programming tool, TdZdd, that allows us to easily develop top-down construction-based programs, and practical programming examples of some applied problems.
    View full abstract
    Download PDF (1041K)
  • Haruto TANNO, Toshiyuki KURABAYASHI, Xiaojing ZHANG, Muneyoshi IYAMA, ...
    Volume 34 (2017) Issue 3 Pages 3_121-3_147
    Released: August 09, 2017
    JOURNALS FREE ACCESS
    Test input generation techniques play a key role in improving test design efficiency. We present a survey of these techniques by systematically investigating research papers from five premium international conferences of software engineering and software testing held in the past decade. In this survey we categorize the papers by their purpose and also introduce each paper with a summary.
    View full abstract
    Download PDF (1388K)
  • Atsushi KITANI, Takako NAKATANI
    Volume 34 (2017) Issue 3 Pages 3_148-3_160
    Released: August 09, 2017
    JOURNALS FREE ACCESS
    Tablet devices have become popular and various note-taking applications are now available. We can manipulate those applications through handwriting inputs. When we use those applications, we want to take notes naturally as if we are using a real pen and paper notebook. Though we have tried several applications, we felt a sense of incongruities with a series of menu manipulations. With regard to natural manipulations, menus on existing note-taking applications have signaled some drawbacks. In order to reveal the drawbacks, first we clarify criteria of menus for note-taking applications. Secondly, we research touch interactions, which we can assign into menu manipulations on tablet devices, and review how we invoke and select menus. Finally, we evaluate current menus and discuss what the suitable menus of note-taking applications are.
    View full abstract
    Download PDF (1407K)
    • |<
    • <
    • 1
    • >
    • >|
feedback
Top