International Business Machines Corporation

Mitsubishi Denki Kabushiki Kaisha

Nec Corporation

Mitsubishi Electric Engineering Company, Limited

Kouichi Ono

Tatsuo Oomori

Shigeto Fujita

Hideki Tai

Mari Abe

Fumiko Satoh

Takashi Nerome

Takaaki Tateishi

Yoshihiro Ueda

Minoru Hanazaki

Toshio Komemura

Mutumi Tuda

Masaaki Tsuchihashi

Tomoaki Tanaka

Kouji Oku

Shinji Nakaguma

Tsukasa Kasuya

Norihiro Ide

Hiroaki Nakamura

Hiroshi Ishikawa

Yuichi Nakamura

Lawrence David Bergman

Danny Soroker

Guruduth Somasekhara Banavar

Masahiro Hori

Naoshi Tabuchi

Mika Saito

Masataka Nishida

Yuhichi Nakumura

Yukiko Oka

Yuichi Nokomuru

Aoi Uzuki

The present invention provides a retrieval apparatus () including: a search condition acquisition unit () acquiring a search condition specifying a plurality of starting points; a selection unit () selecting, from among a plurality of preregistered facilities, one or a plurality of facilities to be one or a plurality of meeting places from the plurality of starting points, based on the plurality of starting points and a crowdedness state of a public transportation means; and a notification unit () notifying a facility selected as the meeting place to a user.

Retrieval apparatus, retrieval method, and non-transitory storage medium

An information transmission apparatus includes an information acquisition unit, a route determination unit, and an information for a passenger transmission unit. The information acquisition unit acquires boarding stop information indicating a boarding stop for a passenger, and getting-off stop information indicating a getting-off stop for the passenger. The route determination unit determines, by using a route information storage unit, and the boarding stop information and the getting-off stop information, route information indicating a route of a vehicle that the passenger should board. The information for a passenger transmission unit transmits information for a passenger to a terminal of the passenger at a timing determined by using a current position of a vehicle traveling on a route indicated by the route information, and the boarding stop information. The information for a passenger includes boarding vehicle information, for example, an appearance image and a vehicle number of the vehicle.

Information transmission apparatus, information transmission method, and non-transitory computer-readable medium

A method for model based verification of security policies for web service composition. The method includes corresponding to a verification generated by an information flow analysis. The method further includes obtaining an abstracted security qualifier. The method proceeds by presenting the abstracted security qualifier to an application model. The abstracted security qualifier being presented to the application model as a security requirement. Subsequently, the method proceeds by farther including removing the data security requirement on data utilized in the service from the compliance rule. The method proceeds by processing flow in the application model, such processing being based upon the data security requirement. The method further includes verifying the consistency in response to the processing flow.

Method for model based verification of security policies for web service composition

A system, method and computer program for generating a sequence diagram that specifies processing among modules included in source code. First, a source code is acquired and then analyzed to generate a log acquisition code for acquiring an execution log. Then, a program including the generated log acquisition code is executed to acquire execution log information on the execution of the program. On the basis of the acquired execution log information, automaton information on states and transitions among the states is extracted, and then the extracted automaton information is converted into sequence diagram component information on components constituting a sequence diagram. Thereafter, a sequence diagram is generated based on the converted sequence diagram component information.

System, method and computer program for generating sequence diagram

Differencing and merging tree-structured documents, such as eXtensible Markup Language (XML) documents, is disclosed. A differencing-and-merging system for tree-structured documents of one embodiment of the invention includes a difference processing unit and a merging processing unit. The differencing processing unit performs a difference operation on at least two tree-structured documents, in accordance with difference configuration information regarding the documents. The merging processing unit performs a merging operation on the tree-structured documents from correspondence information generated by the difference processing unit, based on the difference operation configuration information regarding the documents. The correspondence information indicates differences among nodes of the documents. The difference operation configuration information specifies one or more nodes among the documents that are to be considered equivalent when the difference operation is performed, and one or more nodes among the documents that are to be ignored when the difference operation is performed.

Differencing and merging tree-structured documents

A software development apparatus for developing application software based on an object model that requires security in a web service application is provided. The software development apparatus includes a display unit that displays, in a class diagram of the application software, security annotation for adding security requirements for a service, input means for inputting the security annotation, transforming means for transforming the class diagram into a configuration model based on a markup language, and configuration-file creating means for creating a configuration file based on a markup language by serializing the configuration model based on a markup language. The security annotation includes the security requirements and a token class of a security token that is a certificate for declaring identity of a client to a server.

Software development apparatus for model that requires security

A method and system for applying a method for iterative refinement of a presentation including (a) a developer creating a high-level representation of the user interface; (b) automatically generating a concrete user interface markup from the high-level representation; (c) the developer editing the concrete generated markup and saving the edits to an edit history; (d) the developer editing the high-level representation; (e) automatically re-generating a concrete markup from the edited high-level representation; and (f) automatically or interactively applying the edit history to the concrete markup to produce an updated markup.

Method and apparatus for iterative refinement of generated user-interface markup

Systems, methods and computer program products for string analysis with security labels for vulnerability detection. Exemplary embodiments include a method in a computer system configured to analyze security-labeled strings and to detect vulnerability, the method including receiving a program with security labels, translating the program into a static single assignment form, constructing a control flow graph having basic blocks as nodes, extracting instructions relating to string functions and object variables, calculating pre-conditions of variables for the basic blocks, extracting constraints among the variables subject to a rule set for translating pre-conditions, solving the constraints and obtaining a set of strings that he object variables form as a context-free grammar to obtain a set of security-labeled strings, checking if the set of security-labeled strings satisfies a rule of the rule set for translating pre-conditions and identifying locations in the program where a vulnerability is detected.

Systems, methods and computer program products for string analysis with security labels for vulnerability detection

Differencing and merging tree-structured documents, such as extensible Markup Language (XML) documents, is disclosed. A differencing-and-merging system for tree-structured documents of one embodiment of the invention includes a difference processing unit and a merging processing unit. The differencing processing unit performs a difference operation on at least two tree-structured documents, in accordance with difference configuration information regarding the documents. The merging processing unit performs a merging operation on the tree-structured documents from correspondence information generated by the difference processing unit, based on the difference operation configuration information regarding the documents. The correspondence information indicates differences among nodes of the documents. The difference operation configuration information specifies one or more nodes among the documents that are to be considered equivalent when the difference operation is performed, and one or more nodes among the documents that are to be ignored when the difference operation is performed.

A plasma generating apparatus capable of improving the uniformity of a plasma processing and coping with a larger diameter of a substrate is obtained. Microwaves are distributed and emitted from a waveguide through the branching portions of a T branch to four rod antennas. The microwaves are introduced through four dielectric tubes into a vacuum vessel. In the vacuum vessel, a multi-cusp magnetic field and an electron cyclotron resonance region are caused by permanent magnets located around the vessel and, by an interaction between a vibrational electric field of the microwaves and a magnetic field, highly uniform plasma is generated in a region where a substrate or the like is subjected to a plasma processing.

Plasma generating apparatus with multiple microwave introducing means

There is provided a plasma generating apparatus comprising: a waveguide for guiding a microwave; a vacuum vessel connected to the waveguide, having a means for supplying a gas for discharging electrons and a means for evacuating; and a dielectric member in a tube-like shape or a rod-like shape which is inserted in the vacuum vessel, wherein the dielectric member is provided with a means for emitting the microwave, whereby it is possible to apply the electric power of microwave effectively to plasma of high density exceeding so-called cut-off density and to homogenize the distribution of plasma in the vacuum vessel.

Magnetically enhanced microwave plasma generating apparatus

An ion source includes a partial flow generator for generating particle flow including atoms or molecules, a laser beam generator for generating a laser beam with one or a plurality of wavelengths which irradiates the whole or one part of the atoms or molecules in the particle flow near an exhaust nozzle of the particle flow generator, a pair of electrodes for applyinig an electric field over one part or the whole of the particle flow in the downstream region of the region irradiated with the laser beam, and a power supply for applying a voltage to generate the electric field between the electrodes to the electrodes. Wherein the laser has one or a plurality of excitation wavelengths for exciting specific atoms or molecules in the particle flow from a ground state to a highly excited state, that is, the Rydberg state in which the principal quantum number of a valence electron is large, a voltage for generating an electric field more than the minimum electric field for ionizing the atoms or molecules in the Rydberg state is applied between the electrodes after irradiation of the laser beam, and one or a plurality of outlet holes through which an ion beam is drawn out are provided at one part of the electrodes.

Ion source

A dry etching apparatus includes a discharge room in which a gas plasma is created by a discharge, an ejection nozzle for ejecting the plasma gas, a first vacuum room into which the plasma gas is introduced through the ejecting nozzle by supersonic expansion of the plasma gas, and a second vacuum room including a skimmer for extracting a supersonic molecular flow, the supersonic molecular flow of the plasma gas taken into the second vacuum room being blown against the material to be etched.

Growing community of inventors

Tokyo, Japan

Kouichi Ono