To support for interdisciplinary research in the Titech 21COE LKR Program, we are developing an advanced information storage system to manage the large-scale knowledge resources. The flexibility and extensibility are key issues to provide the required services. To realize the flexibility, we take an approach to combine two types of systems by web-service APIs: an information storage system prov...

The amount of data is increasing daily. Data requires storage and effective processing for information retrieval. These both are challenge in case of the BigData due its velocity, variety and volume. It requires different management and efficient information retrieval schemes. There are different techniques available for the management of the Bigdata. The distribution of the storage and the pro...

In this paper we describe a model for the representation and storage of time-related data in the context of the Integra framework. We highlight the need for a portable, sustainable data format that can be shared between common environments for audio and multimedia processing. Since the storage of spectral and gestural data has been covered by the SDIF and GDIF formats, we focus on the storage o...

Cloud computing is growing at a rapid pace, because of its promising low investment practices and the ease of access to data and services. But the security of sensitive data is an open challenge in untrusted cloud environments. Due to the single point failure model, single clouds possess the risk of service unavailability. The possibility of insider attacks in single clouds is also worrying clo...

Maintaining the vaccine cold chain is an essential part of a successful immunization programme, but in developed countries faulty procedures may occur more commonly than is generally believed. A survey was conducted in a health district in central Italy to assess the methods of vaccine transportation and storage. Of 52 primary vaccination offices inspected, 39 (76.5%) had a refrigerator for vac...

Controller Area Network (CAN) is a well designed communications bus for sending and receiving short real-time control messages at speeds of up to 1Mbit/sec. One of the perceived drawbacks to CAN has been the inability to bound accurately the worst-case response time of a given message (i.e. the longest time between queueing the message and the message arriving at the destination processors). Th...

The Controller Area Network (CAN) constitutes a good low level base for distributed real–time control systems. The priority mechanism allows for tailoring by choice of scheduling policy. It is however unfortunate that the error handling policy of CAN is fixed, this limits the solution space for the designer. Clock synchronization should be added to the basic CAN system in order to obtain a glob...

The PLC (Programmable Logic Controller) has been widely used in the industrial world as a controller for manufacturing systems, as a process controller and so on. The conventional PLC has been designed and verified as a pure Discrete Event System (DES) by using an abstract model of a controlled plant. In verifying the PLC, however, it is also important to take into account the physical behavior...