Abstract: An example system includes a processor to receive target asset information from an asset management system. The processor can generate an inspection mission based on the target asset information. The processor can generate unmanned aerial vehicle (UAV)-specific commands based on the inspection mission. The processor can transmit the UAV-specific commands to an unmanned aerial vehicle (UAV) platform. The processor can receive images and sensor data from the UAV. The processor can also send the images and sensor data to an artificial intelligence (AI) services module. The processor can receive feedback from the AI services module. The processor can further modify the inspection mission based on the feedback.

Abstract: An example system includes a processor to receive media and an event from a deployed unmanned aerial vehicle (UAV). The processor is to send the media and the event to an artificial intelligence (AI) service and receive smart insights from the AI service. The processor is to dynamically generate an execution block based on the smart insights. The processor is to send the generated execution block to an edge device for generating vehicle specific commands.

Abstract: A computer implemented method of assuring correctness of data updated at a remote server and used by a local application, comprising one or more processors at a client terminal adapted to receive from a remote server updated values for a plurality of data items associated with a dataset required for execution of an application executed by the processor(s) where the dataset defines a close relation among the plurality of associated data items, determine whether the reception includes updated values for all of the associated data items, retrieve automatically from a local memory resource, previous values for all of the associated data items in case the updated value is missing for at least one of the associated data items and provide to the application the updated values or the previous values according to the determination.

Abstract: According to an aspect of some embodiments of the present invention there is provided a method for verifying correctness of application configuration of an application, comprising: for each of baseline and changed source codes of an application analyzing a graph representation of an execution flow of a plurality of application functionalities performed by execution of the respective source code to identify a plurality of functional dependencies between source code segments of the baseline source code and a plurality of functional dependencies between source code segments of the changed source code, wherein each of the functional dependencies is at least one of data dependency and control dependency, identifying a configuration discrepancy according to a match between functional dependencies of the changed source code when compared to the baseline source code, and producing a notification when the configuration discrepancy is found and is not permitted by the configuration.

Abstract: Statically analyzing a computer software application can include identifying a plurality of objects within the instructions of a computer software application, where the objects in the plurality of objects are of the same object type, and preparing a modified version of the instructions in which any of the objects in the plurality of objects determined to be extraneous is omitted.

Abstract: Obtaining a dynamic download policy for a mobile application being executed on the mobile computing device, wherein the dynamic download policy indicating a download policy for a data item, the download policy is defined by the dynamic download policy as enabled in a first device context of the mobile computing device. During execution of the mobile application, a current device context of the mobile application is being monitored. In response to the mobile application attempting to download the data item and in response to the current device context being the first device context, the download policy may be enforced.

Abstract: A computer implemented method of dynamically configuring a mobile application according to environment context information of the mobile application, comprising using one or more processors for executing a code for collecting a plurality of context information items defining an environment of an application executed on a mobile device associated with a user, extracting according to the plurality of context information items, a plurality of context profiles assigned to the user, each of the plurality of context profiles defines a respective one of a plurality of aspects of the environment and maps a plurality of pre-defined configuration settings of the application, determining an aggregated configuration setting for the application by evaluating a combination of the plurality of configuration settings for the extracted plurality of context profiles and applying automatically the aggregated configuration setting to the application.

Abstract: According to an aspect of some embodiments of the present invention there is provided a method for verifying correctness of application configuration of an application, comprising: for each of baseline and changed source codes of an application analyzing a graph representation of an execution flow of a plurality of application functionalities performed by execution of the respective source code to identify a plurality of functional dependencies between source code segments of the baseline source code and a plurality of functional dependencies between source code segments of the changed source code, wherein each of the functional dependencies is at least one of data dependency and control dependency, identifying a configuration discrepancy according to a match between functional dependencies of the changed source code when compared to the baseline source code, and producing a notification when the configuration discrepancy is found and is not permitted by the configuration.

Abstract: According to an aspect of some embodiments of the present invention there is provided a method for verifying correctness of application configuration of an application, comprising: for each of baseline and changed source codes of an application analyzing a graph representation of an execution flow of a plurality of application functionalities performed by execution of the respective source code to identify a plurality of functional dependencies between source code segments of the baseline source code and a plurality of functional dependencies between source code segments of the changed source code, wherein each of the functional dependencies is at least one of data dependency and control dependency, identifying a configuration discrepancy according to a match between functional dependencies of the changed source code when compared to the baseline source code, and producing a notification when the configuration discrepancy is found and is not permitted by the configuration.

Abstract: A computer implemented method of assuring correctness of data updated at a remote server and used by a local application, comprising one or more processors at a client terminal adapted to receive from a remote server updated values for a plurality of data items associated with a dataset required for execution of an application executed by the processor(s) where the dataset defines a close relation among the plurality of associated data items, determine whether the reception includes updated values for all of the associated data items, retrieve automatically from a local memory resource, previous values for all of the associated data items in case the updated value is missing for at least one of the associated data items and provide to the application the updated values or the previous values according to the determination.

Abstract: This invention relates to an apparatus, system, and method for modifying the behavior of an application using configuration. A configuration platform allows for the provisioning of configuration data on a local device. The configuration can cause the application to be reactive to the user's environment, such as location and time of day. The configuration data provides a convenient way to change application behavior without implementing dynamic behavior at development time.

Abstract: According to an aspect of some embodiments of the present invention there is provided a computer implemented method of refactoring a source code that includes a plurality of references to sensitive data into at least two separate source codes, comprising receiving a source code comprising a plurality of references to sensitive data, identifying a plurality of code blocks comprising the plurality of references, refactoring the source code into an enterprise source code having a plurality of functions containing the plurality of code blocks and a cloud source code that is semantically equivalent when executed to the source code when executed, and replacing within the cloud source code at least one of the plurality of code blocks with a call to a function within the enterprise source code, the function containing a code block that is semantically identical to the replaced code block.

Abstract: Obtaining a dynamic download policy for a mobile application being executed on the mobile computing device, wherein the dynamic download policy indicating a download policy for a data item, the download policy is defined by the dynamic download policy as enabled in a first device context of the mobile computing device. During execution of the mobile application, a current device context of the mobile application is being monitored. In response to the mobile application attempting to download the data item and in response to the current device context being the first device context, the download policy may be enforced.

Abstract: According to an aspect of some embodiments of the present invention there is provided a computer implemented method of refactoring a source code that includes a plurality of references to sensitive data into at least two separate source codes, comprising receiving a source code comprising a plurality of references to sensitive data, identifying a plurality of code blocks comprising the plurality of references, refactoring the source code into an enterprise source code having a plurality of functions containing the plurality of code blocks and a cloud source code that is semantically equivalent when executed to the source code when executed, and replacing within the cloud source code at least one of the plurality of code blocks with a call to a function within the enterprise source code, the function containing a code block that is semantically identical to the replaced code block.

Abstract: According to an aspect of some embodiments of the present invention there is provided a computer implemented method of refactoring a source code that includes a plurality of references to sensitive data into at least two separate source codes, comprising receiving a source code comprising a plurality of references to sensitive data, identifying a plurality of code blocks comprising the plurality of references, refactoring the source code into an enterprise source code having a plurality of functions containing the plurality of code blocks and a cloud source code that is semantically equivalent when executed to the source code when executed, and replacing within the cloud source code at least one of the plurality of code blocks with a call to a function within the enterprise source code, the function containing a code block that is semantically identical to the replaced code block.

Abstract: A method of presenting hyperlink data. The method comprises identifying when a web browser running on a web browser client retrieves, in response to a web document data request submitted to a target server, a first web document data for displaying a first web document containing a hyperlink having a label for display and a target destination defining an address of a second web document, evaluating a risk from content of the second web document, generating by the web browser to a reference evaluation indication of the risk, and processing the web document data and the reference evaluation indication by the web browser for generating a presentation on the client terminal which combines the first web document data and the reference evaluation indication such that when the reference evaluation indication is presented when the label is presented by the web browser.

Abstract: A method of presenting hyperlink data. The method comprises identifying when a web browser running on a web browser client retrieves, in response to a web document data request submitted to a target server, a first web document data for displaying a first web document containing a hyperlink having a label for display and a target destination defining an address of a second web document, evaluating a risk from content of the second web document, generating by the web browser to a reference evaluation indication of the risk, and processing the web document data and the reference evaluation indication by the web browser for generating a presentation on the client terminal which combines the first web document data and the reference evaluation indication such that when the reference evaluation indication is presented when the label is presented by the web browser.

Abstract: Detecting security vulnerabilities in web applications by interacting with a web application at a computer server during its execution at the computer server, identifying client-side instructions provided by the web application responsive to an interaction with the web application, where the client-side instructions are configured to be implemented by a client computer that receives the client-side instructions from the computer server, evaluating the identified client-side instructions, and identifying a security vulnerability associated with the client-side instructions.

Abstract: Detecting security vulnerabilities in web applications by interacting with a web application at a computer server during its execution at the computer server, identifying client-side instructions provided by the web application responsive to an interaction with the web application, where the client-side instructions are configured to be implemented by a client computer that receives the client-side instructions from the computer server, evaluating the identified client-side instructions, and identifying a security vulnerability associated with the client-side instructions.

Abstract: A method of telephone call management in process of service development that allows a user to model and create telephone call management schemes independent of telecommunications protocols and network layer details. The method of the invention operates by creating an abstract model of a telephone call life-cycle that is converted, using a set of communication threads, into executable code. Models in accordance with the method of the invention are constructed using an Integrated Development Environment (IDE) for creating and developing telecom services that embodies the Telecom Service Domain Specific Language (TS-DSL) which is implemented as a Unified Modeling Language (UML) extension for the telecom domain. By this method, individuals without specialized knowledge of telecom related software programming and protocols can successfully design and implement telecom services that manages calls.