Abstract: A quantified belief propagation (QBP) algorithm receives as input an existentially quantified boolean formula (QBF) of existentially quantified boolean variables, universally quantified variables, and boolean operators. A tripartite graph is constructed, and includes (i) there-exists nodes that correspond to and represent the existentially quantified variables, (ii) for-all nodes that correspond to and represent the universally quantified variables, and (iii) sub-formula nodes that correspond to and represent sub-formulas of the QBF. A set of boolean values of the existentially quantified variables is found by (i) passing a first message from an arbitrary sub-formula node to an arbitrary for-all node, and (ii) in response, passing a second message from the arbitrary for-all node to the arbitrary sub-formula node.

Abstract: A system and method for localization facilitates checking resource files in a first format out of a source code management system. Prior stored translated strings are leveraged to produce a partially translated translation memory corresponding to the resource files. Translations of strings are obtained to complete translation of the partially translated translation memory. Translated strings are stored in a database, and the translated resource files in the first format are checked back into the source code management system.

Abstract: A computer implemented method for automatically fixing a security vulnerability in a source code. The method includes obtaining identification of a code block that includes a code that sends tainted data to a corresponding sink code in the source code and automatically fixing the vulnerability by automatically performing code modification which is selected from the group of code modifications consisting of: code motion and code duplication.

Abstract: Customizing a target system. The target system may include a first device with a first programmable hardware element (PHE) and a second device with a second PHE. Synchronization modules may be provided for implementation on the first and second PHEs. The synchronization modules may provide a standard interface for interacting with other code. A user may specify user-created code for the first and second PHEs which utilizes the synchronization modules. The user-created code may interact with the synchronization modules using the standard interface. Accordingly, hardware descriptions may be generated for the first and second PHEs of the target system. Different modules may be used for different interconnects. Additionally, multiple synchronization modules may be used, e.g., dynamically, during operation of the target system.

Abstract: A mechanism for processing graphical block diagram parameter expressions is presented. The mechanism achieves optimal implementation of block equations in the execution (run-time) environment by defining a mapping between user-defined block parameters and a run-time version of the parameters. The parameter processing mechanism also pools like, non-interfaced parameter expressions, allowing reuse of both uniform and non-uniform data across constant block parameters in the generated code and during model execution. The parameter processing mechanism further maintains an execution structure that maps the run-time parameter expressions containing interfaced variables to generated code for the block diagram so that the interfaced variables appear in the generated code. This mapping thus allows for interfacing to the interfaced variables in the generated code from any execution framework.

Abstract: The present invention relates to an XML application framework (XAF). XAF applications are data driven such that all operations with the computer system are data focused. In addition, the components used in the XAF application are instantiated and connected according to how the data is displayed and what type of data is used. Applications within XAF comprise a user interface (UI) connector, an action module, and a data connector. UI connectors receive UI events and connect the UI event to an action module. The action module generates a standard format action from the UI event and sends it to the data connector. The data connector translates the standard format action into a data-specific action that changes data in a data store. A data connector then sends a standard format data representation corresponding to the changed data back to the UI connector to provide the changed data to the UI.

Abstract: A list of constructs is displayed on a user interface screen for a user to select a desired construct. A construct selected by the user is determined. Computing environments are presented on the user interface screen for the user to place the selected construct. The computing environments include at least one textual and at least one graphical computing environment. A selected computing environment into which the selected construct is being placed is identified. A position of the placed construct in the selected computing environment is determined. A template based on the selected computing environment is selected. The selected template is inserted into the selected computing environment.

Abstract: A method or software program that provides an analysis of a build, which can provide a developer with views of the build processes, is disclosed. Data is collected from the build. The collected data can include information regarding file access patterns from determining which files are accessed for read and which files are accessed for write by one or more software build tools and project interdependencies. The collected data can also include certain project properties, build configurations, intermediate directories such as logs, and other metadata of the build. The collected data is injected into a relational database that can be queried. Reports can be generated from the information stored in the database by tools that depict built projects and interdependencies. For example, the tools can be used to generate visualizations such as graphs.

Abstract: A method and system for building an application are provided. The method includes generating a user model relating to a new application to be built. The user model may include at least one role with one or more associated tasks. A task list is compiled for the tasks in the user model, including removing any duplications of tasks. A task to application component mapping is accessed. The application components to which the tasks are mapped may be spread over one or more existing applications. The application components mapped to by the tasks are retrieved and compiled in the new application.

Abstract: A method, system and program product for providing execution feedback of peer submitted code snippets executed for correction of semantic errors in code. A first developer executing a code snippet to correct a semantic error in the use of a third-party library within a first IDE results in the transmission of an execution result to a collaboration datastore. If the code snippet execution completed with no errors, a result indicating a success is automatically transmitted by the IDE. Further, if the code snippet execution resulted in an error due to error within the code snippet, a result indicating code snippet failure along with error details is automatically transmitted. When a second developer is working on code within a second IDE that contains semantic errors, code snippets to correct the semantic error are presented to the second developer, ranked based on previous execution feedback provided by peer developers.

Abstract: A user interaction synthesizer is described in the context of an application program running on a computer system having diverse user interaction devices attached to it. The user interface for the application is dynamically designed and synthesized based on the states of individual application objects that are used by an interaction facilitator to traverse a framework of interaction elements and match situation variables to appropriate elements by a specialization process. Interaction elements are selected by the interaction facilitator to create an interaction space designed to satisfy the information needs of the current active objects in the application. Finally, a number of modules are used to convert the elements in the interaction space to generate a user interface as a function of the resources and devices available for the user.

Abstract: One embodiment includes a method that may be practiced in a computing environment. The method enables design and testing of web pages locally at a local machine. After being designed and tested at the local machine, the web pages will be deployed at a remote server remote from the local machine. The web pages include relative references to resources from the perspective of the remote server. The relative references to resources are intended to be resolved by the remote server. The method includes accessing code at a local machine. The code defines a web page. The code includes relative references to resources. The relative references are expressed from the perspective of a remote server remote from the local machine, such that the relative references are only natively resolvable by the remote server. The method further includes translating the relative references to local references.

Abstract: A computer-implemented method involving detecting a creating or opening of a suppression file presenting a suppression edits, executing an auto complete search in response to input to define a suppressions and storing the suppression file to be utilized with a profiling tool to hide data defined by the suppression file.

Abstract: A single software project can include heterogeneous types of artifacts. The artifact definition can be converted to a format compatible with a common model or information derived from the artifacts can be added to the common model so that tools that operate on the common model can provide information derived from the heterogeneous artifacts to developers during design time in an IDE. Build and deployment tools can operate over a more inclusive universe of data to provide a more accurate deployment plan. Build and deployment tools can operate within the context of the IDE or from the command line.

Abstract: A method is provided for interacting with the graphical model is provided. At least one of the plurality of views of the graphical model is parsed to create an intermediate representation. An interactive overlay is displayed using the display device. User interacts with the destination object based on an input instruction via the interactive overlay and modifies the destination object using the input instruction, the modifying allows the destination object to perform a modified operation when the model is executed. The graphical model includes execution semantics and a destination object, where the destination object is influenced by the execution semantics. The graphical model is rendered on a display device based on a selected view.

Abstract: A web page authoring tool is provided enables a developer to interact with run-time output presentation of a page being authored. The web page authoring tool includes an embedded browser that supports a “live preview mode” that enables a run-time page to be viewed. Thus, the live preview mode presents an operational run-time output presentation that is generated by browser source code (rather than original source code), just as would be presented by a client-side browser, and which may present a code view of the run-time browser source code that generates such run-time output presentation. Further, the run-time output presentation view provided by the web page authoring tool remains interoperable with certain authoring support functions of the web page authoring tool, such as enabling a developer to easily access corresponding original source code for selected portions of a run-time page view.

Abstract: A method for constructing a customized web analytics application comprises providing a base analytics code, including a base data mining code and a plurality of tokens corresponding to unincorporated code snippets, and incorporating code snippets as selected to create the application where each code snippet is configured to track a different custom web analytic. The system displays a selection of at least one web analytic to track and receives user selection of at least one displayed web analytic to track over a wide area network. Once selected, an unincorporated code snippet corresponding to each selected displayed web analytic is retrieved from a library of such code snippets. The code snippet is then substituted in place of its corresponding token within the base analytics code to create a customized analytics code. The customized code is finalized by removing the remaining tokens and the finalized code transmitted to the user for incorporation into their web pages.

Abstract: A method for testing a software program creates test data by simulating data exchange messages between a server and a client and stores test data in Comma Separated Value (CSV) files. Data repository files stored in the CSV format can be edited by common tools, like a spreadsheet program, and can be maintained easily. The test automation method provides a data capturer tool so that the data repository could be created based on any existing test environment. The test automation method converts data repository files and simulates messages in order to load data to a mobile infrastructure system and set up data fixtures. The test automation method could be integrated in a build process so that data repository and test cases are validated against any program changes periodically.

Abstract: Embodiments are directed to declaratively managing software applications, dynamically applying configuration changes to a specified software application based on a service level objective (SLO) and to efficiently performing an impact analysis for a specified service level agreement SLO.

Abstract: A model for extending application server functionality includes two types of libraries: an automatically-referenced (auto-ref) library and a superseding library. The auto-ref library includes a special tag that identifies it as the auto-ref library and a pattern that restricts the application types that can refer to it. Once the auto-ref library is deployed, it is automatically referred to by all applications as long as they are not excluded by the restricting pattern. The code contained in the auto-ref library is merged into the application code and the configuration of the library is merged into the application configuration at deployment time. The superseding library also includes an identifying tag and a restriction pattern. At deployment, however, the code and configuration data in the superseding library overrides the corresponding application configuration and code. The remaining code of the application that is not overridden by the superseding library is used without any modification.

Abstract: An integration environment generator receives an input file and converts the input file into a markup language file. The input file identifies modules for an application to be deployed, dependencies among the modules, test cases for testing the modules, and scheduling information. The integration environment generator receives rules and validates the markup language file against the rules. The rules specify a unified format for including the dependencies of the modules in the input file. The integration environment generator identifies the modules, the dependencies among the modules, and the scheduling information and the test cases from the validated markup language file. The integration environment generator selects a build script template for the identified dependencies, a scheduling script template for the identified scheduling information and a test case script template for the identified test cases and generates a build script, a scheduling script and a test case script from the templates.

Abstract: A system and machine-implemented method modifying a source code file to reduce dependencies included therein. The source code file is parsed to identify a symbol within the source code file, and one or more header files are identified, each of which is capable of resolving the symbol for the source code file. A header file is selected from the one or more header files for inclusion in the source code file, based on a predetermined set of rules. The source code file is modified to include the selected header file.

Abstract: A system and method enable a user to specify function signatures for automated code generators to generate code based on a model representation. The method for automatically generating a function based on the model representation includes providing at least a portion of the model representation. A function signature is received for the model representation. The function signature is generated by a user. The function is generated based on the model representation and the function signature. A user interface can be provided to enable the user to enter the function signature and also to present a preview of a function that results from the function signature as modifications are made to the function signature. The user can enter the function signature using regular expressions, if desired.

Abstract: Solution packages for a product for deployment on a collection of servers can be designed using one or more designers that provide user interfaces for visually arranging and configuring elements of the product. A package object model includes a managed object model that represents a package or feature manifest as defined by a product manifest XML schema. The object model can be used to create references to other project item and feature definitions. The extended object model can be used to generate an equivalent package or feature manifest XML file.

Abstract: An end-to-end approach is provided for developing and maintaining network device management applications. The approach includes an XML-based development environment for network device management applications that uses Management Data API (MDA) schemas that define a hierarchical data model for components supported by a network device. The XML-based development environment also uses XML schemas to define a common XML-based interface used by management applications to access management data maintained on the network device. The approach provides programmatic access to network device management data and management data schema with an XML-based data model and interface that is consistent across all network device components. The approach includes mechanisms for automatically generating XML requests that conform to a hierarchical data model from requests that conform to a table-based data model.

Abstract: A data restructuring method and system. The method includes receiving by a computing system from a first user content data arranged in a first specified order and a command for tagging portions of the content data according to various parameters. The computing system assigns identification tags to the portions of the content data. The computing system presents the identification tags to the first user. The computing system receives from the first user, a selection of at least one of the identification tags. The computing system restructures the content data into a second specified order in response to the selection. The computing system receives a request for viewing the content data from a second user. The computing system presents to the second user, the content data in the second specified order.

Abstract: Although a modeling language can be used to create a deployment diagram to graphically depict a deployment model, the utility of the deployment diagram is limited to easing understanding of the model. A semantically correct deployment topology model can be processed to automate deployment of a product, add-on, update, configuration, etc. A semantically correct deployment topology model can be processed to generate activities that conform to the deployment model. The activities have executable code units associated with them. Calls to the executable code units are written into one or more files in accordance with an order of the plurality of activities that conforms to the semantically correct deployment topology model.

Abstract: Systems and methods for tailoring the functionality of software applications are disclosed. Specifically, embodiments of the present invention may tailor the functionality of a software application by tailoring the features of the interfaces of the software application presented to a user based on one or more maturity levels of the user. In this manner, the set of features, and thus the functionality or complexity of a software application, may be tailored to the maturity levels of a user.

Abstract: In at least some embodiments, a computing device includes a processor and a system memory coupled to said processor. The system memory stores an integrated development environment (IDE) and a dynamic autocompletion tool. When executed by the processor, the IDE provides a script editor. When executed by the processor, the dynamic autocompletion tool analyzes real-time content of a user application being executed to populate an autocompletion list for use with the IDE application.

Abstract: Disclosed herein is a system and method for dynamically redefining class files in a Java-based development environment. The existing development cycle in Java generally requires developers to edit, build, and deploy before they can test changes to the code. This process can be quite time consuming. There is a need for dynamically redefining and testing class files in a development environment without a significant time delay or loss of data. In one embodiment, when a developer modifies the class definition a ClassFileTransformer function is used to maintain the original shape of a redefinable class, i.e. its declared fields and methods, without affecting the redefined class' behavior or appearance to outside code.

Abstract: A computer implemented method, a computer program product and a data processing system provide a method for modifying a computer program during execution of the computer program by a processor unit. A computer receives an instruction string. The instruction string has a new function data therein for replacing current function data of a function of the computer program during execution of the computer program by a processor unit. The function is capable of being changed during execution of the computer program to modify the behavior of the computer program. The computer replaces the current function data with the new function data. The new function data modifies the computer program. The computer program is modified while the computer program is executed by the processor unit.

Abstract: Disclosed herein are systems, methods, and non-transitory computer-readable storage media for obfuscating a computer program. A system configured to practice the method identifies a set of executable instructions at a first location in an instruction section of the computer program and identifies a second location in a data section of the computer program. Then the system moves the set of executable instructions to the second location and patches references in the computer program to the set of executable instructions to point to the second location. The instruction section of the computer program can be labeled as _TEXT,_text and the data section of the computer program is labeled as _DATA,_data. The set of executable instructions can include one or more non-branching instructions optionally followed by a branching instruction. The placement of the first and second locations can be based on features of a target computing architecture, such as cache size.

Abstract: Various embodiments disclose a method and system for creating a virtual part used for composing a virtual solution. In one embodiment, a user's selection of at least one virtual image is received. A set of configurability points is associated with the virtual image. A set of parameters of a virtual part is set as configurable during virtual solution composition. A set of virtual ports is generated. Each virtual port within the set of virtual ports indicates at least one of a set of virtual parts required by a virtual part including the set of virtual ports and a set of virtual parts that is compatible with the virtual part. A set of configuration operations is received. A virtual part including at least the virtual image, the set of configurability points, the set of virtual ports, and the configuration operations is generated.

Abstract: A method for modifying a computer program. According to one embodiment, a new value to replace a value associated with a virtual type in a computer program is received. The new value is received during execution of the computer program by a processor unit. The replacement of the value by the new value modifies the computer program while the computer program is executed by the processor.

Abstract: A method and apparatus of creating a script are enclosed. One example method of operation may provide receiving a request to load a procedure in a procedure editor application and generating a list of predetermined statements based on the loaded procedure. The example method may include receiving at least one statement selection from the list of predetermined statements and at least one specified location in the procedure and inserting the at least one selected statement into the loaded procedure at the at least one specified location.

Abstract: A website optimisation system is integrated with a website by applying generic code to the website, that being the only code needed to be applied to the native source code of the website to enable the website optimisation system to optimise the website by altering one or more of: the data, functions or content assets of web pages in the website. Integration can be achieved on a one-time basis. The generic code can be placed into a website's page template or global page header, or manually to all pages in a website. The generic code can be just a single line of code, such as JAVASCRIPT code. The generic code remains the same irrespective of any differences in the data, functions or content assets of the web pages. The generic code includes code for all commands that enable tracking of the actions that relate to the optimisation objectives.

Abstract: To make functional expansions of business objects possible in a simple manner, it is proposed that one or more function units is assigned to the business object during the creation of the business object or after its creation, using meta knowledge. A function unit can thus be assigned to a business object even during the run time of the software. A design template for software architecture is thus created which makes it possible to resolve software problems in a particularly simple and elegant manner.

Abstract: There is disclosed a system and method for identifying a variable type during coding of a software program. In an embodiment, the method comprises defining a unique variable type string for the variable type, and when a unique variable type string is typed adjacent to a new variable name, converting the unique variable type string to a variable type identifier tag attached to the new variable name. Each unique variable type string may be defined as a prefix or a suffix. In another embodiment, the method further comprises defining a unique variable scope string for a variable scope, and when a unique variable scope string is typed adjacent to a new variable name, converting the variable scope to a variable scope identifier tag attached to the new variable name. The variable type identifier tag and the variable scope identifier tag may both be attached to the new variable name in a subscript font and/or superscript font.

Abstract: A computer-implemented method for evaluating a machine-executable software code specification includes using the computer to generate a system dependence graph corresponding to the software code specification. The system dependence graph includes elements including nodes and edges. The computer evaluates the system dependence graph including selecting a variable modified in the software code specification, providing a control operation node of the system dependence graph corresponding to a control statement in the software code specification with a preferred calibration state, traversing to selected elements of the system dependence graph wherein the selected elements are associated with the selected variable and the preferred calibration state of the control operation node, evaluating only the selected elements of the system dependence graph, and identifying ones of the selected elements whereat a state of the selected variable is modified.

Abstract: A computer-implemented method for evaluating a machine-executable software code specification includes using the computer to generate a system dependence graph corresponding to the software code specification. The system dependence graph includes elements including nodes and edges, wherein the computer evaluates the system dependence graph. The evaluation of the system dependence graph includes selecting a variable modified in the software code specification, traversing to selected elements of the system dependence graph, the selected elements associated with the selected variable, evaluating only the selected elements of the system dependence graph, and identifying ones of the selected elements whereat a state of the selected variable is modified.

Abstract: An embodiment of the present invention discloses a method for the computer-aided determination of the dependencies of a plurality of modules of a technical system, especially of a software system. Every module of the system has a known, first consumption of resources. The first consumption of resources of at least one of the modules is modified according to a predetermined criterion, thereby obtaining a modified system. The modified system is executed. A second consumption of resources is measured for every module of the modified system, the consumption resulting from the modification of the first consumption of resources of the at least one module. An analysis of the second consumption of resources of a respective module and the predetermined criterion is used to determine whether there is a dependency between the respective module and the at least one module that is characterized by the modified consumption of resources.

Abstract: A system, method and software product retrieve a formatted data value from a data layer to a business logic layer by invoking a formatted variable abstraction procedure from the business logic layer, passing at least one parameter to the formatted variable abstraction procedure (the at least one parameter identifying a formatted system variable), and building a dynamic statement based upon the formatted system variable such that execution of the dynamic statement: accesses a formatted variable table based upon the formatted system variable to locate information relating to the formatted system variable; retrieves one or more data items based upon the information; formats the data items to form the formatted data value based upon the information; and returns the formatted data value to the business logic layer.

Abstract: Techniques are described herein that are capable of dynamically injecting code into a running process. For instance, the techniques are capable of causing arbitrary code to be activated in the process while the process is running in response to receipt of a request for dynamic execution of the arbitrary code from outside the process while the process is running.

Abstract: A code analysis system is described herein that provides code completion for programming languages that include elements that are not statically discoverable and that provides results in a predictable period that is acceptable for an interactive user interface. The system compiles each file into an intermediate state that can be stored and cached to speed later analysis of files. In addition, when executing a particular file, the system monitors a time-based threshold and/or a recursion depth so that if the compilation time is exceeding the threshold or a function is exceeding the recursion depth the system can stop the execution and use the intermediate results obtained up to that point to provide as much information as possible within a bounded execution time. When dynamic analysis fails, the system falls back to static analysis.

Abstract: A computer-implemented method is disclosed for generating Dojo-conforming JavaScript Object Notation (JSON) objects for base objects of an object-oriented programming environment that have been annotated to denote which attribute declarations of the base object correspond to identified Dojo attributes. In a Java class, for example, annotations may be made to indicate which class attributes correspond to the identifier attribute of a Dojo JSON object and based on those annotations a Dojo-conforming JSON object may be generated.

Abstract: The present invention discloses a system, method and program code product for efficient component-based application development. Presentation code of a container component is generated by a container-component code generator (container CCG), which uses the class objects of component code generators (CCGs) as subcomponents. The CCGs, as standalone modules or classes, when properly instantiated and initialized could generate the application code of the subcomponents by their code-generating method (CGM) during execution. The container CCG assembles and integrates the subcomponents' application code in run time and fills in the code necessary to establish communication between any two of subcomponents in the resultant application code. One of the methods for establishing inter-component communication and for managing communication dependencies is a service registration object in the application code.

Abstract: A method is provided for creating a behavior pattern of a computer program which comprises at least one source code with a plurality of program operations which are arranged in a logical succession and the source code is provided with annotations. Each annotation is referencing to a respective program operation and the annotations are read out automatically by a modeling tool, which is running on a processing unit and generating the behavior pattern of the computer program by arranging the annotations which have been read out according to the logical succession of the program operations and providing the generated behavior pattern, so that the generated behavior pattern can be represented via a representing unit. Furthermore, an appropriate server and an appropriate network system are provided.

Abstract: A method for managing script added to an interactive document or fillable, electronic form. The method includes receiving user input for generating a script and then generating a script based on the user input. The method further includes as part of script generation providing a header in the script that includes a management flag or data in a header block indicating that the script is managed, a managed script object, and an edit verification value such as a cyclic redundancy check value. After the script is generated, the method includes parsing the document to determine whether the managed script has been edited or to otherwise verify the script's integrity. The method includes when the script has been edited modifying the management flag to indicate the script is released from script management. Unmanaged editing may be detected by comparing a stored edit verification value with the header value from each snippet.

Abstract: Certain embodiments provide an intuitive interactive media content development environment that simplifies the creation of actions. For example, it may allow users to easily specify that a shape will move when the media content is first executed or that a web page will be opened when a button is clicked within the media. Certain embodiments provide a timeline interface showing the sequence and duration of one or more such actions. For example, a timeline component may allow a user to change the delay or duration associated with an action by manipulating the timeline. A timeline may comprise one or more visual components representing actions and action attributes and allow a user to adjust action attributes by manipulating the visual components.

Abstract: In general, the subject matter described in this specification can be embodied in methods, systems, and program products for selecting a first grammar rule in a programming language grammar. The grammar is used for determining a syntax validity of a programming code statement in a text editor and the first grammar rule includes a hard-to-type symbol that is syntactically correct for the programming code statement. A second grammar rule for the grammar is created. The created second grammar rule is substantially identical to the first grammar rule but the hard-to-type symbol is replaced with an easy-to-type symbol that is syntactically incorrect for the programming code statement. An action is associated with the grammar and is performed upon satisfying the second grammar rule. Performance of the second grammar rule causes the easy-to-type symbol in the programming code statement in the text editor to be replaced with the hard-to-type symbol.