Abstract: The present invention provides a vehicle control apparatus (10) including: an acquisition unit (11) that acquires internal situation information indicating a situation inside a vehicle; a detection unit (12) that detects a person who satisfies a predetermined condition inside the vehicle, based on the internal situation information; a decision unit (13) that decides a driving mode of the vehicle, based on whether the person who satisfies the predetermined condition is detected; a processing unit (14) that performs processing of the decided driving mode; and a notification unit (15) that notifies an outside of the vehicle of the decided driving mode.

Abstract: The present invention provides a retrieval apparatus (10) including: a search condition acquisition unit (11) acquiring a search condition specifying a plurality of starting points; a selection unit (12) 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 (13) notifying a facility selected as the meeting place to a user.

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

Abstract: The present invention may include an embodiment identifies the plurality of source code. The embodiment may extract one or more characteristics from a plurality of lines of the plurality of source code. The embodiment may analyze the one or more extracted characteristics for an inclusion relation and a congruent relation. The embodiment may generate a plurality of node relations of a plurality of nodes based on the inclusion relation and the congruent relation, where each node within the plurality of nodes corresponds to each line of the plurality of source code. The embodiment may determine a sum of the one or more nodes from the plurality of nodes that have no inclusion relation based on the analyzed inclusion relation and the analyzed congruent relation and the embodiment may display the sum of the determined one or more nodes.

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

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

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

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

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

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

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

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

Abstract: A plurality of concentric ring-shaped slots (300) to (304) are formed in a planar antenna member (3), and the thickness of conductors in the central part is made relatively thin and the thickness of peripheral conductors is made relatively thick, so that a microwave can easily pass through the slots (300) to (304) without being attenuated, and a uniform electric field distribution can be provided and uniform high-density plasma can be generated in a processing space on an average. As a result, an object to be processed can be provided close to the antenna member (3) and the object can be uniformly processed at high speed.

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

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

Abstract: The present disclosure provides an information processing apparatus and the like, which allow a service developer, who develops a service requiring confidentiality in a service-oriented architecture, to easily create authentication settings for the service model. The present disclosure provides an information processing apparatus for developing a service requiring confidentiality in a service-oriented architecture. The information processing apparatus includes: an input unit for inputting an annotation for a service; a storage unit for storing an Authentication Infrastructure Model of a machine node on which the service is executed; and an Authentication Policy generation unit for generating an Authentication Policy by using the annotation and the Authentication Infrastructure Model.

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

Abstract: A method for model, based verification of security policies for web service composition. The method includes corresponding to a verification generated by an information Row 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.

Abstract: A cleaning method for a processing chamber of semiconductor substrates is provided which is capable of rapidly removing deposits and accretions generated inside the chamber of processing semiconductor substrates of a high-dielectric-constant oxide and of preventing any reaction product depositing. The cleaning method for a processing chamber of semiconductor substrates includes activating a mixed gases which contains a halogenated gas and either an oxygen-contained gas or an oxidizing gas during a plasma treatment or a heating treatment in order to etch off the deposits or accretions.

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