Abstract: A test case is generated by receiving software specification, generating a test case including a test input value for particular software from the software specification, as well as an expected output value expected to be obtained as an output value when the software is executed by inputting the test input value, and checking whether a value that can be output in the software specification is included in the expected output value. As a result of the check, if it is determined that the output value that can be output in the software specification is not included in the expected output value, a test case including the value that can be output in the software specification as well as a corresponding test input value is generated and added to the test case that has been generated.

Abstract: A signature log storing apparatus includes a signature log list and a certificate list, and registers, in the signature log list, a part of signature information in generated hysteresis signature as a signature record and a part of a user certificate in the certificate list. The signature log storing apparatus further includes a trust point list and validates a signature records registered in the signature log list and registers identification information for identifying a latest signature record out of the validate signature record, evidence information for validating validity of the user certificate for a validated signature record, and a hash value of information derived by connecting the evidence information and the hash value as needed or before the user certificate expires.

Abstract: This invention relates to novel heterocyclic carboxamide derivatives and salts thereof. More particularly, it relates to novel heterocyclic carboxamide derivatives and salts thereof which act as a ROCK inhibitor, to a pharmaceutical composition comprising the same and to a method of using the same therapeutically in the treatment and/or prevention of ROCK-related disease.

Abstract: A method of managing digital signature includes the steps of preparing a signature log file storing signature log entry information, generating a new digital signature for a transmission message by reflecting, in the new digital signature, signature log entry information registered to the signature log file in the past; generating signature log entry information associated with the new digital signature and registering the signature log entry information to the signature log file; and preparing a user search file in addition to the signature log file; registering, to the user search file, user identifier information indicating a transmission destination of the transmitted digital signature and a transmission source of the received digital signature, with a correspondence established between the information, the user identifier information, and each signature log entry information in the signature log file.

Abstract: A cooling mechanism for a circuit board includes a board having electronic components disposed thereon, one or more heat radiation plates disposed on the board, a cooling fan for cooling the board and the electronic components disposed on the board by blowing air to at least one of the heat radiation plates, and a metal plate attached to one end of the board to ground the board, thereby preventing the leakage of electromagnetic radiation noises from the electronic components. Further, the metal plate includes a bent portion bent in L-shape along a lateral side of the board, and the cooling fan is so disposed at the inner side of the bent portion as to be perpendicular to the board. Furthermore, an air receiving surface of the heat radiation plate is so arranged as to be oblique to an axial blowing direction of the cooling fan.

Abstract: An image forming apparatus is provided which is capable of preventing the heat radiated from a high-voltage power source board from raising the temperature around the high-voltage power source board to a high temperature. A cooling fan is disposed opposite to the side of the high-voltage power source board where electronic components are disposed, as well as substantially in parallel with the high-voltage power source board; the cooling fan blows air upon the high-voltage power source board; and a heat-radiating component disposed on the high-voltage power source board, such as a transistor and a transformer, is located one-sidedly near the cooling fan, so that they can be efficiently cooled.

Abstract: The invention provides a method for verification having a structure that reflects reliability of a signature history properly for a hysteresis signature used for verification based on the signature history, and provides a method for arbitration and an arbitrator apparatus that solve a dispute on correctness of a signature based on the method for verification. Furthermore, the invention provides a method for managing history that mitigates the signature history management burden on a signer. Reliability is set on a signature forming record that is a component of a signature history, reliability of the signature history is calculated based on the set reliability, and the calculated reliability is output as reliability of a verification result. The invention provides a method for verification having a structure that reflects the reliability of a signature history properly and a method for arbitration and an arbitrator apparatus that solve a dispute on correctness of a signature.

Abstract: A publication system effective and secure to the publication agency and a user is provided for the publication agency, and a signature verifying function using the published signature log entries is provided for the user. The publication agency publishes a signature log entry received from the users on the Web, and acquires a time-stamp at the time of the publication, and transmits the time-stamp together with a publication notice back to the user. The publication agency also has the signature log, and either discloses part of the log at regular intervals in a newspaper or the like, or produces publication-purpose data based on the signature log entry received from each user, and publishes the data in the newspaper. The publication agency, after the newspaper publication, transmits the signature log of the publication agency to the user.

Abstract: A print order reception system for receiving an order for print services is provided with a recording medium reception port for receiving a recording medium on which image data of pictures and print order information including printing conditions for pictures to be printed are recorded in the form of electronic data in a predetermined format. A display system reads out from the recording medium received in the recording medium reception port the image data on the pictures to be printed and the print order information on the pictures to be printed and displays the image data and the print order information as an image.

Abstract: Techniques of improving the safety of an information processing system at low cost are provided, the information processing system having an OS provided with an access control function based upon discretionary access control for preventing illegal accesses to files. A method and apparatus for providing the information processing system with functions and areas usable only by a specific user different from a system administrator. The areas are provided with an access control function in order to prevent the access control function from being tampered.

Abstract: A reliably safe storage system is provided which makes provable the status of a file stored in a storage server at a time specified by a user and creates evidence information that will be effective in future. In response to a file status fixing request from the user over a network, a storage server generates file fixing guarantee data, including data publicized by a publication server, and saves the generated data with the file associated with the generated data.

Abstract: A signature log storing apparatus includes a signature log list and a certificate list, and registers, in the signature log list, a part of signature information in generated hysteresis signature as a signature record and a part of a user certificate in the certificate list. The signature log storing apparatus further includes a trust point list and validates a signature records registered in the signature log list and registers identification information for identifying a latest signature record out of the validate signature record, evidence information for validating validity of the user certificate for a validated signature record, and a hash value of information derived by connecting the evidence information and the hash value as needed or before the user certificate expires.

Abstract: A cooling mechanism for a circuit board includes a board having electronic components disposed thereon, one or more heat radiation plates disposed on the board, a cooling fan for cooling the board and the electronic components disposed on the board by blowing air to at least one of the heat radiation plates, and a metal plate attached to one end of the board to ground the board, thereby preventing the leakage of electromagnetic radiation noises from the electronic components. Further, the metal plate includes a bent portion bent in L-shape along a lateral side of the board, and the cooling fan is so disposed at the inner side of the bent portion as to be perpendicular to the board. Furthermore, an air receiving surface of the heat radiation plate is so arranged as to be oblique to an axial blowing direction of the cooling fan.

Abstract: An image forming apparatus is provided which is capable of preventing the heat radiated from a high-voltage power source board from raising the temperature around the high-voltage power source board to a high temperature. A cooling fan is disposed opposite to the side of the high-voltage power source board where electronic components are disposed, as well as substantially in parallel with the high-voltage power source board; the cooling fan blows air upon the high-voltage power source board; and a heat-radiating component disposed on the high-voltage power source board, such as a transistor and a transformer, is located one-sidedly near the cooling fan, so that they can be efficiently cooled.

Abstract: A digitized document archiving system for saving a digitized document created from a receipt or a application form scanned by a scanner and related information created by registration device in a digitized document management device, wherein the digitized document management device performs a double scanning check with reference to a double scanning check verification and registration data for a double scanning check when it receives a double scanning check request including a characteristic quantity from the registration device, and sends the check result to the registration device, and the registration device deletes the created digitized document and the corresponding related information, if it is determined as double scanning.

Abstract: A character recognition process is executed for image data written with text information, and a digital signature is given to the character recognition results and image data. The digital signature is given to data coupling both digest values of the character recognition results and image data. The digital signature is verified, a character recognition process is executed for the image data, and further a digest value of the character recognition results is calculated and compared with the digest value of the stored character recognition results. The location where both the digest values are incoincident is identified as an alteration position.

Abstract: A network system capable of preventing the leakage of a confidential file by an inadvertent act of a transmitting party and capable of meeting the requirement for an arbitrary file format is disclosed. A label indicating a security level (“confidential” or “unclassified”) is attached to the file in a client terminal, which transmits the labeled file outside. A transmission management program on a gateway server checks the label of the file, and in the case where the security level is “unclassified”, transmits the file to an external network. Also, a label management program manages the labeled file in the client terminal.

Abstract: To provide a verification record preservation function for keeping for a long time an evidential property of a verified signature to a user side apparatus and to provide services for insuring reliability of a signature of a user. A verification record preservation program creates a verification log recording a verification object signature, a signature log and a deposited publication signature log entry that are used for verification. A publishing organization side apparatus provides services that can reliably execute chain verification with reliability while taking convenience of users into consideration, such as a publication reminder service for preventing forgetfulness of publication, a publication notice for notifying publication of other user, verification vicarious execution for a user, and so forth.

Abstract: A print order reception system for receiving an order for print services is provided with a recording medium reception port for receiving a recording medium on which image data of pictures and print order information including printing conditions for pictures to be printed are recorded in the form of electronic data in a predetermined format. A display system reads out from the recording medium received in the recording medium reception port the image data on the pictures to be printed and the print order information on the pictures to be printed and displays the image data and the print order information as an image.

Abstract: A print order reception system for receiving an order for print services is provided with a recording medium reception port for receiving a recording medium on which image data of pictures and print order information including printing conditions for pictures to be printed are recorded in the form of electronic data in a predetermined format. A display system reads out from the recording medium received in the recording medium reception port the image data on the pictures to be printed and the print order information on the pictures to be printed and displays the image data and the print order information as an image.