Abstract: Methods and systems for software analysis include determining a similarity score for an ordered input set and at least one ordered cluster set that represents a distance between the ordered input set and the at least one ordered cluster set. It is determined that he ordered input is similar to a first cluster of the at least one ordered cluster set, based on the similarity score. The ordered input set is merged to the first cluster of the at least one cluster set to generate a merged set that preserves an ordering of the ordered input set and the first cluster. Software analysis is performed using the merged set.

Abstract: Methods and systems for software analysis include determining a similarity score for an ordered input set and at least one ordered cluster set that represents a distance between the ordered input set and the at least one ordered cluster set. It is determined that he ordered input is similar to a first cluster of the at least one ordered cluster set, based on the similarity score. The ordered input set is merged to the first cluster of the at least one cluster set to generate a merged set that preserves an ordering of the ordered input set and the first cluster. Software analysis is performed using the merged set.

Abstract: Automation methods and systems include identifying common parts of consecutive pairs of consecutive screen outputs. The consecutive screen outputs are clustered responsive to a determination that a distance between the common parts of the consecutive pairs is lower than a threshold distance value. Interactions with a remote computer system are automated based on the clustered consecutive screen outputs.

Abstract: A computer-implemented method for invalidating an access token includes generating an access token and an HTML file in response to receipt of a request for issuing the access token, the HTML file comprising a set of instructions for rendering on one window in a browser, a code for generating a child segment in a memory which is controlled by the window, and a code for invalidating the access token in response to completion of rendering on the child segment, in response to completion of receiving, from a resource server, one or more resources requested by a client program executed on the child segment or in response to closing of the window, sending the access token and the HTML file to the browser, and invalidating the access token, in response to receipt, from the browser, of a request for invalidating the access token.

Abstract: An example operation may include one or more of requesting, by a client, a service that does not require an account registration, providing, by a server coupled to the client, calculation parameters comprising block content for a new block of a blockchain network to the client, calculating, by the client, one or more hashes of the block content while changing one or more nonces in the block, verifying the one or more hashes and nonces of the block content are valid, submitting, by the client, the one or more valid nonces to the server, submitting a valid hash to the blockchain network, and in response receiving a reward from the blockchain network.

Abstract: Methods and systems for estimating latent service and latent wait times include extracting transition times between activities from a partial event log. Parameters for respective gamma distributions are estimated that characterize latent waiting time and latent service time for each activity. A latent waiting time and latent service time for each activity is estimated based on the estimated parameters using a processor.

Abstract: An example operation may include one or more of requesting, by a client, a service that does not require an account registration, providing, by a server coupled to the client, calculation parameters comprising block content for a new block of a blockchain network to the client, calculating, by the client, one or more hashes of the block content while changing one or more nonces in the block, verifying the one or more hashes and nonces of the block content are valid, submitting, by the client, the one or more valid nonces to the server, submitting a valid hash to the blockchain network, and in response receiving a reward from the blockchain network.

Abstract: Operation testing without side effects may be enabled by a method including preparing a copy of a directory set of at least a part of a host system disk, creating a link to a file in a first directory in the host system disk, in a second directory of the copy of the directory set, wherein the second directory corresponds in position to the first directory in the directory set, and starting a non-privileged system using a disk image including the copy of the directory set and the created link.

Abstract: Methods and systems for estimating latent service and latent wait times include extracting transition times between activities from a partial event log. Parameters for respective gamma distributions are estimated that characterize latent waiting time and latent service time for each activity. A latent waiting time and latent service time for each activity is estimated based on the estimated parameters using a processor.

Abstract: Methods and systems for estimating latent service and latent wait times include extracting transition times between activities from a partial event log. Parameters for respective gamma distributions are estimated that characterize latent waiting time and latent service time for each activity. A latent waiting time and latent service time for each activity is estimated based on the estimated parameters using a processor.

Abstract: A method, executed by one or more processors, includes receiving a first bit sequence corresponding to source data having a source encoding bit-length (BLS), generating one or more additional bit sequences by shifting the first bit sequence by shift lengths that are equal to a multiple of the source encoding bit-length, partitioning the first bit sequence and the one or more additional bit sequences according to a target encoding bit-length (BLT) to provide a plurality of target encoding search patterns, and searching a target character string encoded with the target encoding using the plurality of target encoding search patterns. A computer system and computer program product corresponding to the above method are also disclosed herein.

Abstract: A computer-implemented method for invalidating an access token includes generating an access token and an HTML file in response to receipt of a request for issuing the access token, the HTML file comprising a set of instructions for rendering on one window in a browser, a code for generating a child segment in a memory which is controlled by the window, and a code for invalidating the access token in response to completion of rendering on the child segment, in response to completion of receiving, from a resource server, one or more resources requested by a client program executed on the child segment or in response to closing of the window, sending the access token and the HTML file to the browser, and invalidating the access token, in response to receipt, from the browser, of a request for invalidating the access token.

Abstract: A computer-implemented method for invalidating an access token includes generating an access token and an HTML file in response to receipt of a request for issuing the access token, the HTML file comprising a set of instructions for rendering on one window in a browser, a code for generating a child segment in a memory which is controlled by the window, and a code for invalidating the access token in response to completion of rendering on the child segment, in response to completion of receiving, from a resource server, one or more resources requested by a client program executed on the child segment or in response to closing of the window, sending the access token and the HTML file to the browser, and invalidating the access token, in response to receipt, from the browser, of a request for invalidating the access token.

Abstract: A method, executed by one or more processors, includes receiving a first bit sequence corresponding to source data having a source encoding bit-length (BLS), generating one or more additional bit sequences by shifting the first bit sequence by shift lengths that are equal to a multiple of the source encoding bit-length, partitioning the first bit sequence and the one or more additional bit sequences according to a target encoding bit-length (BLT) to provide a plurality of target encoding search patterns, and searching a target character string encoded with the target encoding using the plurality of target encoding search patterns. A computer system and computer program product corresponding to the above method are also disclosed herein.

Abstract: A method and system are provided for performing a security inspection of a set of virtual images. The method includes merging the virtual images into a tree structure having a root and a plurality of leaves such that child leaves and a parent leaf to the child leaves have common ones of the virtual images. The method further includes applying a bisection method against a path in the tree from the root to a given one of the plurality of leaves having a given one of the virtual images in which a security violation has been identified to find a particular one of the virtual images that is a root cause of the security violation. The method also includes performing a corrective action for any of the plurality of images having the security violation.

Abstract: A method and system are provided for performing a security inspection of a set of virtual images. The method includes merging the virtual images into a tree structure having a root and a plurality of leaves such that child leaves and a parent leaf to the child leaves have common ones of the virtual images. The method further includes applying a bisection method against a path in the tree from the root to a given one of the plurality of leaves having a given one of the virtual images in which a security violation has been identified to find a particular one of the virtual images that is a root cause of the security violation. The method also includes performing a corrective action for any of the plurality of images having the security violation.

Abstract: A method and system are provided for performing a security inspection of a set of virtual images in a cloud infrastructure. The method includes merging the virtual images into a tree structure having a root and a plurality of leaves such that child leaves and a parent leaf to the child leaves have common ones of the virtual images. The method further includes identifying a security violation in a given one of the virtual images at a given one of the plurality of leaves. The method also includes applying a bisection method against a path in the tree from the root to the given one of the plurality of leaves to find a particular one of the virtual images that is a root cause of the security violation. The method additionally includes performing a corrective action for any of the plurality of images having the security violation.

Abstract: A computer-implemented method for invalidating an access token includes generating an access token and an HTML file in response to receipt of a request for issuing the access token, the HTML file comprising a set of instructions for rendering on one window in a browser, a code for generating a child segment in a memory which is controlled by the window, and a code for invalidating the access token in response to completion of rendering on the child segment, in response to completion of receiving, from a resource server, one or more resources requested by a client program executed on the child segment or in response to closing of the window, sending the access token and the HTML file to the browser, and invalidating the access token, in response to receipt, from the browser, of a request for invalidating the access token.

Abstract: A three-dimensional shape of a subject is acquired in a healthy and realistic calculation time, using two-dimensional images taken by a general camera having a narrow angle of view. The processing apparatus calculates an image taking position of each of a plurality of images, and includes: a storage unit for storing thereinto a selected image set including images whose image taking position has been calculated; a calculation unit calculates a plurality of image taking position candidates for an unselected image of the plurality of images; a selection unit selects an optimum image taking position having a highest degree of coincidence in correspondence points, from among the plurality of image taking position candidates for the unselected image; and a determination unit determines whether or not the unselected image is added to the selected image set.

Abstract: A method and system are provided for performing a security inspection of a set of virtual images in a cloud infrastructure. The method includes merging the virtual images into a tree structure having a root and a plurality of leaves such that child leaves and a parent leaf to the child leaves have common ones of the virtual images. The method further includes identifying a security violation in a given one of the virtual images at a given one of the plurality of leaves. The method also includes applying a bisection method against a path in the tree from the root to the given one of the plurality of leaves to find a particular one of the virtual images that is a root cause of the security violation. The method additionally includes performing a corrective action for any of the plurality of images having the security violation.