SciTePress - Affiliation Profile

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Affiliation

Select a Subject
Refine Ontology Subject

Shibaura Institute of Technology, Japan

Context (please use complete words only)

Field

Sort by

16 Papers

A Practical Methodology to Learn Computer Architecture, Assembly Language, and Operating System

Topics: Project Based Learning and Engineering Education; Tools to Assess Learning

Authors: Hiroaki Fukuda ¹ , Paul Leger ² and Ismael Figueroa ³

Affiliations: ¹ Department of Computer Science and Engineering, Shibaura Institute of Technology, 3-7-5 Toyosu, Koto, Tokyo, Japan , ² Escuela de Ingeniería Civil, Universidad Católica del Norte, Coquimbo, Chile , ³ Ingeniería en Información y Control de Gestión, Universidad de Valparaíso, Valparaíso, Chile

Digital Object Identifier: 10.5220/0009319503330340

Proceedings of CSEDU 2020, ISBN: 978-989-758-417-6

Quick Abstract

System-level details, such as assembly language and operating systems, are important to develop/debug embedded systems and analyze malware. Therefore it is recommended to teach every topic of these subjects. However, their learning cost has been significantly increased due to current system complexities. To solve this problem, several visualization techniques have been proposed to help students in their learning process. However, observing only the computer system behaviors may be insufficient to apply it to real systems due to the lack of practical experiences and a comprehensive understanding of system-level details. To address these issues, we propose a novel methodology where students implement a virtual machine instead of using existing ones. This virtual machine needs to execute binary programs that can be run on a real operating system. Through implementing this virtual machine, students improve by experience their understanding of computer architecture, assembly languages, instruction sets, and the role of operating systems. We also provide MMVM that is a virtual machine implementation reference, and can execute the binary programs while showing the internal states of CPU (registers & flags) to users (students) to support their implementation. Finally, this paper reports the education results applying this methodology to 15 students that consist of 3rd-year students and 1st year of master students.

Automatic Verification of Behavior of UML Requirements Specifications using Model Checking

Topics: Model-Driven Architecture; Frameworks for Model-Driven Development; Model-Based Testing and Validation; Model Quality

Authors: Saeko Matsuura , Sae Ikeda and Kasumi Yokotae

Affiliation: Graduate School of Engineering and Science, Shibaura Institute of Technology, Saotama, Japan

Digital Object Identifier: 10.5220/0009339001580166

Proceedings of MODELSWARD 2020, ISBN: 978-989-758-400-8

Quick Abstract

With the development of information and communication technology (ICT), services have often been provided through a collection of systems of various architectures interoperating with each other. System development must incorporate non-functional requirements in addition to traditional functional requirements. However, to determine the requirements of multiple cooperative systems, it is necessary a) to consider hardware architecture, user characteristics, and system safety requirements and b) to verify these at an early stage of development. UML is a well-known general purpose modeling language through which it is possible to define functional requirements and to support design and implementation efforts that are based on a specified use case model. However, it is difficult to verify such inter-system cooperation using use case models in UML. Moreover, confirming the correct behaviors, exhibited concurrently, of a system of multiple interoperating systems is difficult using the static models found in UML. This study proposes a method of transforming a model of mutually cooperating multiple systems described in UML into a model that uses the model-checking tool UPPAAL and verifying whether parallel behaviors can occur without deadlock. Consequently, a method, applied at an early stage of development, of guaranteeing the correctness of the concurrent operation and cooperation of multiple systems is demonstrated.

Goal-Satisfaction Verification to Combination of Use Case Components

Topics: Model-Driven Engineering; Software and Systems Development Methodologies; Requirements Engineering

Authors: Saeko Matsuura ¹ , Shinpei Ogata ² and Yoshitaka Aoki ³

Affiliations: ¹ Shibaura Institute of Technology, Japan , ² Shinshu University, Japan , ³ Nihon Unisys Ltd., Japan

Digital Object Identifier: 10.5220/0006785003430350

Proceedings of ENASE 2018, ISBN: 978-989-758-300-1

Quick Abstract

Functional requirements of a system can be specified by fundamental use cases that satisfy "the effective and useful scenarios in the system usage" so as to meet "the goal of the system". Ambiguous non-functional requirements against the system goal often cause uncertainty of use cases and scenarios at the early stage of software development. In this paper, from the viewpoint of non-functional requirements that are included in the goal, we discuss how to check satisfaction of the goal due to the combination of functional requirements during requirements analysis using an example.

Related Ontology Subjects/Areas/Topics (11)

Artificial Intelligence	Model-Driven Engineering	Software Engineering
Cross-Feeding between Data and Software Engineering	Requirements Engineering	Software Engineering Methods and Techniques
Knowledge Management and Information Sharing	Service-Oriented Software Engineering and Management	Symbolic Systems
Knowledge-Based Systems	Software and Systems Development Methodologies

Security Requirements Verification for Existing Systems with Model Checking Technique and UML

Topics: Frameworks for Model-Driven Development; Model-Based Testing and Validation

Authors: Saeko Matsuura ¹ , Shinpei Ogata ² and Yoshitaka Aoki ¹

Affiliations: ¹ Shibaura Institute of Technology, Japan , ² Shinsyu University, Japan

Digital Object Identifier: 10.5220/0006267105290535

Proceedings of MODELSWARD 2017, ISBN: 978-989-758-210-3

Quick Abstract

In software development, when making migration or specification changes to an existing system, it is important to verify that the new source code meets the original specifications. We propose an effective use of model checking techniques and a supporting tool that allows non-specialized developers to easily verify specification conformance. In this study, we verify security requirements for an ongoing learning management system that has insufficient specification documentation and discuss the applications and challenges for developing the model checking technology.

Related Ontology Subjects/Areas/Topics (6)

Applications and Software Development		Methodologies, Processes and Platforms		Model-Driven Software Development
Frameworks for Model-Driven Development		Model-Based Testing and Validation		Software Engineering

Global Hybrid Registration for 3D Constructed Surfaces using Ray-casting and Improved Self Adaptive Differential Evolution Algorithm

Topics: Image-Based Modeling and 3D Reconstruction; Image Registration; Stereo Vision and Structure from Motion

Authors: Tao Ngoc Linh , Hasegawa Hiroshi and Tam Bui

Affiliation: Shibaura Institute of Technology, Japan

Digital Object Identifier: 10.5220/0005718901670174

Proceedings of VISAPP 2016/VISIGRAPP, ISBN: 978-989-758-175-5

Quick Abstract

As a fundamental task in computer vision, registration has been a solution for many application such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reverse engineering. Given two images, the aim is to find the best possible homogenous transformation movement resulting in a more completed view of objects or scenarios. The paper presents a novel algorithm of registering structured pointcloud surfaces by using a fast ray-casting based closest point method intergrated with a new developed global optimization method Improve Self Adaptive Differential Evolution (ISADE). Ray-casting based L2 error calculation method enables the algorithm to find the local minima error effectively while ISADE exploits the searching boundary to find the global minima. The new algorithm is evaluated on structured images captured by a Kinect camera to show the superior in quality and robustness of ISADE over state-of-the-art searching method and accuracy of the new method over a well known registration algorithm, KinectFusion.

Related Ontology Subjects/Areas/Topics (10)

Applications	Image Registration	Pattern Recognition
Computer Vision, Visualization and Computer Graphics	Image-Based Modeling	Software Engineering
Geometry and Modeling	Motion, Tracking and Stereo Vision	Stereo Vision and Structure from Motion
Image and Video Analysis

A Proposal for a Method of Graph Ontology by Automatically Extracting Relationships between Captions and X- and Y-axis Titles

Topics: Ontology Engineering; Knowledge Acquisition

Authors: Sarunya Kanjanawattana and Masaomi Kimura

Affiliation: Shibaura Institute of Technology, Japan

Digital Object Identifier: 10.5220/0005602102310238

Proceedings of KEOD 2015/IC3K, ISBN: 978-989-758-158-8

Quick Abstract

A two dimensional graph is a powerful method for representing a set of objects that usually appears in many sources of literature. Numerous efforts have been made to discover image semantics based on contents of literature. However, conventional methods have not been fully able to satisfy users because a wide variety of techniques are being developed, and each is very useful for enhancing system capabilities in their own way. In this paper, we have developed a method to automatically extract relationships from graphs on the basic of their captions and image content, particularly from graph titles. Furthermore, we improved our idea by applying several technologies such as ontology and a dependency parser. The relationships discovered in a graph are presented in the form of a triple (subject, predicate, object). Our objectives are to find implicit and explicit information in the graph and reduce the semantic gap between an image and literature context. Accuracy was manually estimated to identify the most reliable triple. Based on our results, we concluded that the accuracy via our method was acceptable. Therefore, our method is dependable and worthy of future development.

Related Ontology Subjects/Areas/Topics (10)

Artificial Intelligence	Knowledge Acquisition	Ontologies and the Semantic Web
Data Engineering	Knowledge Engineering and Ontology Development	Ontology Engineering
Enterprise Information Systems	Knowledge-Based Systems	Symbolic Systems
Information Systems Analysis and Specification

An Efficient Agent Lookup Approach in Middlewares for Mobile Agents

Topics: Wireless Application Areas; Wireless Communication Middleware; Peer-To-Peer Computing and Networking

Author: Hiroaki Fukuda

Affiliation: Shibaura Institute of Technology, Japan

Digital Object Identifier: 10.5220/0005554100810087

Proceedings of WINSYS 2015/ICETE, ISBN: 978-989-758-119-9

Quick Abstract

A Wireless Sensor Network (WSN) is typically deployed on the place in which no electric source is provided, meaning that the battery consumption concern is crucial. Due to their deeply-embedded pervasive nature, applications running on WSNs need to adapt to the changes in physical environment or user preferences. In addition, developers of these applications must pay attention to a set of additional concerns such as limited hardware resources and the management of a set sensor nodes. To appropriately address these concerns, middlewares based on mobile agent based like Agilla have been proposed. Applications for these middlewares are executed by the communications among agents, thereby a common task is to look up the agents. In this paper, we propose an efficient lookup approach for mobile agent based middlewares in WSNs. We evaluate the advantages of our proposal through the comparison with traditional lookup approaches.

Related Ontology Subjects/Areas/Topics (7)

Mobile Software and Services	Wireless and Mobile Technologies	Wireless Communication Middleware
Peer-To-Peer Computing	Wireless Application Areas	Wireless Information Networks and Systems
Telecommunications

Construction of a Bayesian Network as an Extension of Propositional Logic

Topics: Machine Learning; Foundations of Knowledge Discovery in Databases; Data Analytics

Authors: Takuto Enomoto and Masaomi Kimura

Affiliation: Shibaura Institute of Technology, Japan

Digital Object Identifier: 10.5220/0005595102110217

Proceedings of KDIR 2015/IC3K, ISBN: 978-989-758-158-8

Quick Abstract

A Bayesian network is a probabilistic graphical model. Many conventional methods have been proposed for its construction. However, these methods often result in an incorrect Bayesian network structure. In this study, to correctly construct a Bayesian network, we extend the concept of propositional logic. We propose a methodology for constructing a Bayesian network with causal relationships that are extracted only if the antecedent states are true. In order to determine the logic to be used in constructing the Bayesian network, we propose the use of association rule mining such as the Apriori algorithm. We evaluate the proposed method by comparing its result with that of traditional method, such as Bayesian Dirichlet equivalent uniform (BDeu) score evaluation with a hill climbing algorithm, that shows that our method generates a network with more necessary arcs than that generated by the traditional method.

Related Ontology Subjects/Areas/Topics (12)

Artificial Intelligence	Data Engineering	Knowledge-Based Systems
Business Analytics	Evolutionary Computing	Machine Learning
Computational Intelligence	Foundations of Knowledge Discovery in Databases	Soft Computing
Data Analytics	Knowledge Discovery and Information Retrieval	Symbolic Systems

Real-Time Prediction to Support Decision-making in Soccer

Topics: Data Analytics; Clustering and Classification Methods

Authors: Yasuo Saito , Masaomi Kimura and Satoshi Ishizaki

Affiliation: Shibaura Institute of Technology, Japan

Digital Object Identifier: 10.5220/0005595302180225

Proceedings of KDIR 2015/IC3K, ISBN: 978-989-758-158-8

Quick Abstract

Data analysis in sports has been developing for many years. However, to date, a system that provides tactical prediction in real time and promotes ideas for increasing the chance of winning has not been reported in the literature. Especially, in soccer, components of plays and games are more complicated than in other sports. This study proposes a method to predict the course of a game and create a strategy for the second half. First, we summarize other studies and propose our method. Then, data are collected using the proposed system. From past games, games to similar to a target game are extracted depending on data from their first half. Next, similar games are classified by features depending on data of their second half. Finally, a target game is predicted and tactical ideas are derived. The practicability of the method is demonstrated through experiments. However, further improvements such as increasing the number of past games and types of data are still required.

Related Ontology Subjects/Areas/Topics (8)

Artificial Intelligence	Data Analytics	Knowledge-Based Systems
Business Analytics	Data Engineering	Symbolic Systems
Clustering and Classification Methods	Knowledge Discovery and Information Retrieval

HTN Planning for Pick-and-Place Manipulation

Topics: Planning and Scheduling; Knowledge Representation and Reasoning; Task Planning and Execution; Cognitive Robotics; Robot and Multi-Robot Systems

Authors: Hisashi Hayashi ¹ , Hideki Ogawa ¹ and Nobuto Matsuhira ²

Affiliations: ¹ Toshiba Corporation, Japan , ² Shibaura Institute of Technology, Japan

Digital Object Identifier: 10.5220/0004226303830388

Proceedings of ICAART 2013, ISBN: 978-989-8565-38-9

Quick Abstract

We introduce new heuristics of HTN (Hierarchical Task Network) planning for mobile robots with two arms/hands that pick and place objects among movable obstacles. Based on our new heuristics, the robot moves obstacles if necessary, picks and places the target objects without collisions. The robot chooses the (right or left) hand to use for each manipulation in order to avoid collisions and reduce the number of obstacle movements. In most of the previous approaches that combine task planning and motion planning, collisions between an arm and obstacles are checked only by the lower-level geometric motion planner. Therefore, the high-level general-purpose task planner often produces a plan that is not executable by the lower-level modules. On the other hand, in our new heuristics, the task planner roughly checks collisions, and produces executable plans.

Related Ontology Subjects/Areas/Topics (13)

Agents	Intelligent Control Systems and Optimization	Robotics and Automation
Artificial Intelligence	Knowledge Representation and Reasoning	Simulation and Modeling
Cognitive Robotics	Planning and Scheduling	Symbolic Systems
Formal Methods	Robot and Multi-Robot Systems	Task Planning and Execution
Informatics in Control, Automation and Robotics