Patent application number | Description | Published |
20100043865 | System and Method of Utilizing Energetic Radiation in an Enclosed Space - Systems and methods of utilizing energetic radiation in an enclosed space are disclosed. For example, an embodiment of a system of utilizing energetic radiation in an enclosed space includes: one or more photovoltaic cells, positioned at one or more predetermined positions in the enclosed space, adapted to convert radiation in the enclosed space into electric power; and an electric circuit to utilize the electric power to perform a function associated with the enclosed space. Other embodiments are described and claimed. | 02-25-2010 |
20110055373 | SERVICE IDENTIFICATION FOR RESOURCES IN A COMPUTING ENVIRONMENT - A method for identifying computational services performed by one or more computing resources is provided. The method comprises analyzing digital data associated with the computing resources to identify similarities between the digital data; grouping sets of digital data into one or more clusters according to similarities identified between the digital data; and generating a description for the one or more clusters to describe at least one computational service associated with a set of digital data grouped in the one or more clusters. | 03-03-2011 |
20110107315 | ABSTRACTING BENEFIT RULES FROM COMPUTER CODE - A method that includes: obtaining a computer code usable to process insurance claims; building a computer readable directed graph representing a control flow of the code, by identifying decisions and actions in the code, the graph comprising nodes connected by edges, some of the nodes being decision nodes associated with the decisions and some of the nodes being action nodes associated with the actions; determining, on the graph, benefit action nodes that are each associated with at least one monetary outcome of a specified insurance claim; identifying all logic paths that lead to each benefit action node by traversing the graph from each benefit action node backwards, each logic path comprising a sequence of preceding decision nodes and action nodes connected by edges, each set of paths being associated with a specified benefit action node representing a benefit rule; and outputting all benefit rules by presenting each specified benefit action vis à vis grouped logic paths associated with the specified benefit action. | 05-05-2011 |
20120078874 | Search Engine Indexing - Exemplary embodiments include a search engine indexing method, including finding a page on a server that includes keywords, scanning the page for a tag designating a portion of the page from which to index the keywords and in response to a presence of the tag within the page, indexing the portion of the page that is designated by the tag. | 03-29-2012 |
20120240977 | UTILIZING ENERGETIC RADIATION IN AN ENCLOSED SPACE - Systems of utilizing energetic radiation in an enclosed space is disclosed. For example, an embodiment of a system of utilizing energetic radiation in an enclosed space includes: one or more photovoltaic cells, positioned at one or more predetermined positions in the enclosed space, adapted to convert radiation in the enclosed space into electric power; and an electric circuit to utilize the electric power to perform a function associated with the enclosed space. Other embodiments are described and claimed. | 09-27-2012 |
20130018901 | Search Optimization In a Computing EnvironmentAANM Bnayahu; JonathanAACI HaifaAACO ILAAGP Bnayahu; Jonathan Haifa ILAANM Landau; ArielAACI NesherAACO ILAAGP Landau; Ariel Nesher ILAANM Nisenson; MordechaiAACI HaifaAACO ILAAGP Nisenson; Mordechai Haifa IL - Systems and methods for verifying membership in one or more sets that are subsets of a global set are provided. The method compromises representing members of the global set by mapping each member to a distinct Boolean variable of length d, wherein 2 | 01-17-2013 |
20130067436 | ENHANCING FUNCTIONAL TESTS COVERAGE USING TRACEABILITY AND STATIC ANALYSIS - A method that may include: building a dependencies graph representing dependencies between code elements of a computer code; associating portions of the computer code with corresponding design specifications or requirements derived from a design specifications document or a requirements document respectively which is associated with the computer code, to yield a design specifications or requirements-code tracing map; and analyzing the design specifications or requirements-code tracing map based on the dependencies graph to yield an ordered list of design specifications or requirements respectively, wherein the order is selected such that functional tests written for the computer code and addressing design specifications or requirements of a higher order, will yield a higher level of functional test coverage of the computer code in terms of design specifications or requirements. | 03-14-2013 |
20130103669 | Search Engine Indexing - Exemplary embodiments include a search engine indexing method, including finding a page on a server that includes keywords, scanning the page for a tag designating a portion of the page from which to index the keywords and in response to a presence of the tag within the page, indexing the portion of the page that is designated by the tag. | 04-25-2013 |
20130247002 | ABSTRACTING BENEFIT RULES FROM COMPUTER CODE - A method that includes: obtaining a computer code usable to process insurance claims; building a computer readable directed graph representing a control flow of the code, by identifying decisions and actions in the code, the graph comprising nodes connected by edges, some of the nodes being decision nodes associated with the decisions and some of the nodes being action nodes associated with the actions; determining, on the graph, benefit action nodes that are each associated with at least one monetary outcome of a specified insurance claim; identifying all logic paths that lead to each benefit action node by traversing the graph from each benefit action node backwards, each logic path comprising a sequence of preceding decision nodes and action nodes connected by edges, each set of paths being associated with a specified benefit action node representing a benefit rule; and outputting all benefit rules by presenting each specified benefit action vis à vis grouped logic paths associated with the specified benefit action. | 09-19-2013 |