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