Abstract: A regular expression generator (REG) computing device for generating customized regular expressions readable by a computing device is provided. The REG computing device is configured to receive an input string including a plurality of characters for use in generating a regular expression. The REG computing device is also configured to generate character patterns for at least one character of the plurality of characters. The REG computing device is further configured to display, for the at least one character, the character patterns. The REG computing device is also configured to assign, based on input received via a user interface, a first character pattern of the character patterns to the at least one character. The REG computing device is further configured to generate the regular expression using the first character pattern. The REG computing device is also configured to display the regular expression on the user interface.

Abstract: Disclosed is a control system for a water network. The control system includes a plurality of remotely-located monitoring and or monitoring and automatic control stations each including an automation controller for local control and automation, and each in communication via a dual-ring communication topology for system or wide-area control. The dual-ring facilitates redundant peer-to-peer data exchange to provide upstream and downstream water flow and water quality information. Systems described herein may calculate flow differential based on water flow data from each of the monitoring stations, and control flow based on the calculated flow differential.

Abstract: This disclosure relates generally to data structure abstraction, and more particularly to method and system for data structure abstraction for model checking. In one embodiment, the method includes identifying data structure accesses in the source code. Loops are identified in the data structure accesses, and loop-types are identified in the loops. An abstracted code is generated based on the loop types for abstracting the data structure. Abstracting the data structure includes, for each loop, replacing the data structure accesses by one of a corresponding representative element and a non-deterministic value in the loop body of said loop based on elements accessed, and eliminating loop control statement of said loop operating on elements of data structure based on loop type of said loop, and adding a plurality of non-array assignments at a start and after the loop body of the source code. The abstracted code is provided for the model checking.

Abstract: A method may include obtaining a plurality of synthesized method invocations using a plurality of objects and a plurality of methods of a software program. The method may also include determining a prioritization of the plurality of synthesized method invocations based on one or more of: relationships between one or more characteristics of each of the plurality of synthesized method invocations and a fault location; and relationships between the one or more characteristics and an error report that corresponds to the fault location. The method may also include selecting a synthesized method invocation from the plurality of synthesized method invocations for repair operations with respect to the fault location based on a corresponding prioritization of the selected synthesized method invocation. In addition, the method may include performing repair operations with respect to the fault location and the selected synthesized method invocation.

Abstract: An electronic device and method for improving an installation speed of a theme package are provided. The electronic device includes a display, a communication circuit, and a processor. The processor receives a file from an external device, through the communication circuit, the file including a package which contains a plurality of sub-packages, including at least one theme sub-package, the at least one theme sub-package having at least one of a resource and a function for implementing a theme to be displayed on the display, selects one of a first installation procedure and a second installation procedure to install the plurality of sub-packages in the electronic device, installs the plurality of sub-packages by using the selected installation procedure, and displays at least part of the theme on the display by using the installed plurality of sub-packages.

Abstract: Systems and methods of controlling the fan speed of one or more secondary variable speed cooling fans of an information handling system in real time by dynamically and adaptively shadowing the fan speed of another primary variable speed cooling fan or by so shadowing the fan speed of the variable cooling fan/s of a primary cooling fan zone including other variable speed primary cooling fans of the same information handling system.

Abstract: One general aspect includes a method to transmit one or more over-the-air software updates, the method including: (a) receiving, via a controller, a software update; (b) receiving, via a controller, a vehicle command request; (c) in response to the vehicle command request, via the controller, generating a communication package including update callback information based on the software update and a vehicle command based on the vehicle command request; and (d) transmitting, via the controller, the communication package to a vehicle. Other embodiments of this aspect include corresponding computer systems, apparatus, and computer programs recorded on one or more computer storage devices, each configured to perform the actions of the methods.

Abstract: Systems and methods are provided for accessing a source code repository comprising a plurality of versions of code, analyzing the plurality of versions of code of the component to compute metrics to identify each version of code, analyzing the metrics to determine a subset of the metrics to use to as a fingerprint definition to identify each version of the code, generating a fingerprint for each version of code using the fingerprint definition, generating a fingerprint matrix with the fingerprint for each version of code for the software component and storing the fingerprint definition and the fingerprint matrix

Abstract: Functionality is disclosed for automated deployment of applications. A network-based deployment service provides functionality for deploying software components to physical or virtual hosts in a service provider network and/or to hosts in other types of networks external to the service provider network. A user of the deployment service creates an application revision that includes deployable content and an application specification defining how the application is to be deployed and one or more lifecycle events. The application revision is then uploaded to a storage service, source code repository, or other location. A deployment configuration is also created that defines the location of the application revision, a deployment group, and a schedule for the deployment. A deployment agent executing on hosts in the deployment group obtains the application revision from the specified location, deploys the deployable content according to the schedule, and performs the lifecycle events.

Abstract: A machine control system receives sensor signals indicative of sensed variables on a mobile machine and calculates performance metric values for the mobile machine based upon the sensed variables. The machine control system displays information indicative of the performance metric value for the mobile machine on a time continuous user interface display.

Abstract: A system that can analyze and modify a point map file corresponding to a lens design is described. The lens design is optimized to meet a patient's ophthalmic prescription. However, a digital surfacing machine may not be physically capable of producing on a lens blank a lens curvature required by the prescription and defined by the point map file. The system takes into account limitations of physical characteristics of the digital surfacing machine, such as the diameter and speed of movement of the cutting tool, and modifies the point map file so that the digital surfacing machine can produce the lens curvature on the lens blank.

Abstract: A method for rendering a software program resistant to reverse engineering analysis. At least one first expression in a computational expression or statement of the software program is replaced with a second expression. The first expression being simpler than said second expression and the second expression being based on a value or variables found in said first expression. The second expression produces a value which preserves the value of said first expression. The conversion of the first expression is performed according to a mathematical identity of the form ?i=1k ai ei=E, where ai, are coefficients, ei, are bitwise expressions, whether simple or complex, and E is said first expression.

Abstract: According to some embodiments, an Arbitrary Software Logic Modeling (“ASLM”) data source may store electronic records associated with units, each electronic record including a unit identifier, one or more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform may also translate and maintain traceability among the system requirements, common design information exchange model information, and generated code.

Abstract: A system dynamically assesses computer code as it is constructed to determine if there is better wording for the code, a more efficient way of writing that code, or preferred code or programming language based on a set of predetermined factors and then proposes the best resource for obtaining that piece of code. The predetermined factors may include, but are not limited to an enterprise's policy, and business rules.

Abstract: A processing circuit is responsive to at least one conditional instruction to perform a conditional operation in dependence on a current value of a subset of at least one condition flag. A trace circuit is provided for generating trace data elements indicative of operations performed by the processing circuit. When the processing circuit 4 processes at least one selected instruction, then the trace circuit generates a trace data element including a traced condition value indicating at least the subset of condition flags required to determine the outcome of the conditional instruction. A corresponding diagnostic apparatus uses the traced condition value to determine a processing outcome of the at least one conditional instruction.

Abstract: A system dynamically assesses computer code as it is constructed to determine if there is better wording for the code, a more efficient way of writing that code, or preferred code or programming language based on a set of predetermined factors and then proposes the best resource for obtaining that piece of code. The predetermined factors may include, but are not limited to an enterprise's policy, and business rules.

Abstract: Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for a distributed ledger based management of an enterprise application lifecycle. In one aspect, a method includes receiving a notification regarding an availability of a latest version of an application; generating a transaction proposal that includes key value pairs and a unique signature; providing the transaction proposal to a plurality of peer nodes; receiving a proposal response from at least a portion of the peer nodes, each of the proposal responses including a verification of the unique signature; generating an endorsed transaction proposal based on validating the proposal responses according to an endorsement policy; providing the endorsed transaction proposal to an application management service; receiving the latest version of the application and a block of transactions, wherein the block of transactions includes the key value pairs; and storing the block of transactions to a distributed ledger.

Abstract: Embodiments of the present invention provide a method, system and computer program product for configurably recommending a software application update. In an embodiment of the invention, a method for configurably recommending a software application update is provided. The method includes receiving an update for a software application along with a set of ratings for the update. The method also includes comparing in memory of a computer the set of ratings with a pre-stored threshold. Finally, the method includes prompting in the computer to apply the update to the software application responsive to the set of ratings meeting the pre-stored threshold.

Abstract: An advanced method for a software discovery process may be provided. The method comprises receiving a product identifier comprising at least one mandatory software item and a related product priority. The method includes further determining a scan type for each mandatory software item of all product identifiers of all received related product priorities, performing a priority-based software discovery, using a next scan type for each of the at least one mandatory software items for each of the at least one product identifiers for each of the received product priorities, starting with a highest priority, requiring the next scan type, and repeating the previous step of performing the priority-based software discovery with a next scan type until all scan types for mandatory software have been executed.

Abstract: The disclosed embodiments provide a system that facilitates the execution of a software program. During operation, the system determines a structure of a software program and an execution context for the software program from a set of possible execution contexts for the software program, wherein the software program includes one or more object instances. Next, the system uses the structure and the execution context to identify a portion of an object instance from the one or more object instances that is determined to inefficiently use memory space in the software program. The system then provides a refactoring of the object instance that reduces use of the memory space in the object instance.