Program analysis device, program analysis method and program
    11.
    发明专利
    Program analysis device, program analysis method and program 审中-公开
    程序分析设备,程序分析方法和程序

    公开(公告)号:JP2006178835A

    公开(公告)日:2006-07-06

    申请号:JP2004373087

    申请日:2004-12-24

    Abstract: PROBLEM TO BE SOLVED: To raise efficiency in a program analyzing work by providing a method for efficiently extracting a execution condition required till the execution of a program reaches the code in program analysis, and providing a system therefor.
    SOLUTION: A program analysis device is provided with: a graph generating part 10 for analyzing the program to be processed and generating a condition dependence graph where a condition and state change till the execution reaches the code to be noted are used as nodes; and a graph abstracting part 20 for replacing the plurality of conditions and state changes corresponding to the plurality of nodes of a perfect subgraph with the set of one or the plurality of state changes concerning the perfect subgraph which is a part where a path is divided into the plurality of paths by the condition corresponding to a prescribed node and subsequently joined together to one node again, in the condition dependence graph generated by the graph generating part 10, and converting it into the subgraph which is expressed by one path passing the node corresponding to the set of the state changes.
    COPYRIGHT: (C)2006,JPO&NCIPI

    Abstract translation: 要解决的问题:为了提高程序分析工作的效率,通过提供一种用于有效提取程序执行到执行程序所需的执行条件的方法,并提供其系统。 解决方案:程序分析装置具有:用于分析待处理程序的图形生成部分10,并且生成直到执行到达要注意的代码的条件和状态改变的条件依赖图被用作节点 ; 以及图形抽象部分20,用于将与完整子图的多个节点对应的多个条件和状态变化替换为关于作为路径被分割成的部分的完美子图的一个或多个状态变化的集合 所述多个路径通过与规定节点相对应的条件,并且随后在图生成部分10生成的条件依赖图中再次连接到一个节点,并将其转换成由通过节点对应的一个路径表示的子图 到状态的变化。 版权所有(C)2006,JPO&NCIPI

    Server, information processing method, and program
    12.
    发明专利
    Server, information processing method, and program 有权
    服务器,信息处理方法和程序

    公开(公告)号:JP2005050241A

    公开(公告)日:2005-02-24

    申请号:JP2003283501

    申请日:2003-07-31

    CPC classification number: G06F9/4443

    Abstract: PROBLEM TO BE SOLVED: To provide a web application server capable of performing appropriate processing to even access from a terminal, which are not assumed when a web application is designed.
    SOLUTION: The web application server comprises a DLG file storage part 12 for storing a DLG file in which a job logic of a web application is described with definition of abstract expression, a DLG execution part 13 for using the DLG file to execute a job process of the web application in response to a request from a client, a view specializer 14 for producing at a JSP a view suitable to an attribute of the client based on the processing result by the DLG execution part 13, and a response generation part 16 for generating and sending back a response to the client using the view of the JSP file produced by the view specializer 14.
    COPYRIGHT: (C)2005,JPO&NCIPI

    Abstract translation: 要解决的问题:提供能够执行适当处理以从终端进行偶数访问的web应用服务器,这在web应用被设计时不是假设的。 解决方案:Web应用服务器包括用于存储DLG文件的DLG文件存储部分12,DLG文件中定义了抽象表达式描述web应用的作业逻辑; DLG执行部分13,用于使用DLG文件执行 响应于来自客户端的请求的web应用的作业过程,用于根据DLG执行部分13的处理结果在JSP处产生适合于客户端的属性的视图的视图专用器14以及响应生成 第16部分,用于使用视图专家14生成的JSP文件的视图来生成并发回给客户端的响应。版权所有(C)2005,JPO&NCIPI

    DISPLAY CONTROL INFORMATION GENERATION METHOD AND COMPUTER

    公开(公告)号:JP2000082039A

    公开(公告)日:2000-03-21

    申请号:JP3842299

    申请日:1999-02-17

    Applicant: IBM

    Abstract: PROBLEM TO BE SOLVED: To produce a dynamic document or the display control information to provide a user interface according to each function to a client terminal having various functions by using a data object group that is independent of a terminal and the terminal attribute information to produce a view object group to produce the display control information respectively. SOLUTION: A data object group that is independent of a terminal is produced in response to the display request given from the terminal. Then a view object group is produced by means of a data object group and the terminal attribute information, and the display control information is produced by means of the view object group and by referring to the terminal attribute information. An HTML(hypertext markup language) generation mechanism 230 of an HTTP server 100 includes a part which produces a view object group by means of the data object group and the information received from a terminal DB 250, and the view object group itself.

    TRANSFER METHOD AND MOBILE RADIO TRANSMITTER-RECEIVER

    公开(公告)号:JPH11306488A

    公开(公告)日:1999-11-05

    申请号:JP8418798

    申请日:1998-03-30

    Applicant: IBM

    Abstract: PROBLEM TO BE SOLVED: To transmit more local information to a user existing in a prescribed range by calculating a distance from an information source through the use of position information, comparing it with a prescribed threshold and deciding received information so that it cannot be transferred at the time of deciding the propriety of the transfer of received information containing position information of the information source. SOLUTION: A communication controller decides the propriety of information transfer. Whether information which is decided so that it is to be transferred at first is judged to be valid or not (210). When it is overdue, information is not transferred (270). Then, it is judged whether it itself is detached from an information source by a prescribed distance or not (220). It can be judged according to whether a self-position detected from a position detector is within a circle whose radius is set to be a distance as a threshold with the information source as a center from the distance inputted to the frame of transfer information as the threshold and the position of the information source in the frame. When it is detached from the information source for more than the prescribed distance, information is not transferred (270).

    15.
    发明专利
    未知

    公开(公告)号:DE69939407D1

    公开(公告)日:2008-10-09

    申请号:DE69939407

    申请日:1999-03-11

    Applicant: IBM

    Abstract: Information transmitted from an information origin is transferred from one mobile station to another. At this time, in the mobile station, the transmission of the information is controlled so that the information is not transmitted to a distance more than a predetermined value from the position of the information origin. A valid period of the information is defined and only the information within the valid period is transmitted. Alternatively, controls are carried out in order to avoid overlapping of the transfer paths and detours of them. Particularly, if a density of the mobile stations becomes high, the quantity of the information to be transferred increases tremendously. Therefore, it is necessary to select and limit the information to be transferred. If the mobile station is a portable information terminal and a personal user has this portable information terminal, the information origin is a retail store and transmits special sale information and the like as well as position information. The user holding the portable information terminal may go to the special sale store after seeing the special sale information, and if he feels no interest in it, he leaves the special sale store. When the user is walking on the street after leaving the store, the portable information terminal held by the user who was in the store exchanges information with an information portable terminal of the other users. While repeating the exchange of the information, the information reaches to a person who has an interest in the special sale information.

    METHOD FOR GENERATING DISPLAY CONTROL INFORMATION AND COMPUTER

    公开(公告)号:MY125812A

    公开(公告)日:2006-08-30

    申请号:MYPI9902122

    申请日:1999-05-28

    Applicant: IBM

    Abstract: A METHOD FOR GENERATING DISPLAY CONTROL INFORMATION (A HTML DOCUMENT, FOR INSTANCE ) SO AS TO DISPLAY IN A FORM ADAPTED TO A TERMINAL (120-150) USED BY A USER IS DISCLOSED. THE METHOD COMPRISES THE STEPS OF: RECEIIVING A DISPLAY REQUEST FROM THE TERMINAL (1005); GENERATING A GROUP OF DATA OBJECTS CONCERNING THE CONTENTS OF THE DISPLAY , WHEREIN THE DATA OBJECTS ARE INDEPENDENT OF THE TERMINAL (1020); BY USING THE GROUP OF DATA OBJECTS AND INFORMATION ABOUT ATTRIBUTES OF THE TERMINAL, GENERATING A GROUP OF VIEW OBJECTS FOR GENERATING THE DISPLAY CONTROL INFORMATION (1040); AND BY REFFERING TO THE INFORMATION ABOUT THE ATTRIBUTES OF THE TERMINAL, GENERATING THE DISPLAY CONTROL INFORMATION BY THE GROUP OF VIEW OBJECTS.FIGURE 4.

    METHOD FOR GENERATING DISPLAY CONTROL INFORMATION AND COMPUTER

    公开(公告)号:SG83132A1

    公开(公告)日:2001-09-18

    申请号:SG1999002785

    申请日:1999-06-09

    Applicant: IBM

    Abstract: To dynamically generate documents or display control information so as to provide client terminals of various capability with user interface in compliance with each terminal's capability. A method for generating display control information (HTML document, for instance) so as to display in a form adapted to a terminal used by a user, comprises the steps of: receiving a display request from the terminal; in response to the display request, generating a group of data objects concerning the contents of the display, wherein the data objects is independent of the terminal; by using the group of data objects and information about attributes of the terminal, generating a group of view objects for generating the display control information; and by referring to the information about the attributes of the terminal, generating the display control information by the group of view objects.

Patent Agency Ranking