Abstract: Systems and methods are presented for performing natural language processing and reasoning. In some embodiments, a computer-implemented methods is presented. The method may include accessing a natural language query from a user, parsing the natural language query into a computer-interpretable semantic representation, converting the semantic representation into a computer-interpretable logical syntax, determining a solution to the computer-interpretable logical syntax using a reasoning engine and at least one data source, and outputting an answer to the natural language query using the solution to the computer-interpretable logical syntax.

Abstract: Systems and methods are presented for performing natural language processing and reasoning. In some embodiments, a computer-implemented methods is presented. The method may include accessing a natural language query from a user, parsing the natural language query into a computer-interpretable semantic representation, converting the semantic representation into a computer-interpretable logical syntax, determining a solution to the computer-interpretable logical syntax using a reasoning engine and at least one data source, and outputting an answer to the natural language query using the solution to the computer-interpretable logical syntax.

Abstract: Application requirements may be determined for executing an application using a sensor network, the sensor network including a plurality of devices. Hardware constraints associated with the devices may be determined, and an operating system may be generated, based on the application requirements and the hardware constraints. In this way, an operating system may be generated that is specific to, and optimized for, the the particular application and hardware resources.

Abstract: In one embodiment the present invention includes a computer-implemented method of self debugging a computer program operating in a distributed processing environment. The method includes detecting a fault in a plurality of processing devices and classifying the fault according to fault classifications. The fault classifications have corresponding responses. The method further includes executing one of the responses in accordance with the fault having been classified. The method further includes revising the computer program according to the response. This method may be embodied in a computer program or executed by a computer system. In this manner, the computer program performs self debugging.

Abstract: Embodiments of the present invention improve derivation of business processes. In one embodiment, the present invention includes a method of deriving business processes, the method comprising accessing a plurality of event logs, accessing predefined domain rules, associating the event logs with one or more business processes using a first plurality of the domain rules, and deriving a specification for one or more business processes based on a second plurality of the domain rules.

Abstract: Embodiments of the present invention provide constraint based software systems and methods. In one embodiment, the present invention includes a method of controlling the operation of system software comprising generating a plurality of domain level constraints, translating the plurality of domain level constraints into system level constraints, and controlling a system using the system level constraints. System level software may respond rapidly to changing conditions through modification of domain level constraints and translation of domain level constraints into system level constraints. Preprocessing of raw data from RFID or sensors may trigger incidents that automatically trigger the modification of domain level constraints, thereby changing the system level software automatically in response to changes in the operational environment.

Abstract: In one embodiment the present invention includes a computer-implemented method of self debugging a computer program operating in a distributed processing environment. The method includes detecting a fault in a plurality of processing devices and classifying the fault according to fault classifications. The fault classifications have corresponding responses. The method further includes executing one of the responses in accordance with the fault having been classified. The method further includes revising the computer program according to the response. This method may be embodied in a computer program or executed by a computer system. In this manner, the computer program performs self debugging.

Abstract: In order to provide personalized transaction assistance using sensor networks, a user interacts with the sensor networks within, for example, a retail environment, using a wireless mobile device. The user is provided with timely, convenient, and personalized information related to products for sale within the retail environment. More specifically, for example, a message exchange between the sensor network and the mobile device is automatically initiated, such that the user is provided with information regarding, for example, an availability, description, price, and/or location of products in which the user has previously expressed a purchase interest. In this way, a probability of a sale is increased for the retail environment, as well as a likelihood that the user will be happy with the purchase experience, and these benefits are provided with a minimal amount of effort required of the user.

Abstract: Embodiments of the present invention improve derivation of business processes. In one embodiment, the present invention includes a method of deriving business processes, the method comprising accessing a plurality of event logs, accessing predefined domain rules, associating the event logs with one or more business processes using a first plurality of the domain rules, and deriving a specification for one or more business processes based on a second plurality of the domain rules.

Abstract: Methods and apparatus, including computer program products, for receiving constraint characterizing data applicable to a sensor network, receiving a logical representation of a requirements specification for the sensor network, and processing the constraint characterizing data and the logical representation of the requirements specification to generate a modular representation of the sensor network. The constraint characterizing data includes physical environment data, sensor constraint data, and application domain data. The modular representation of the sensor network defines sensor node placement and sensor distribution within the sensor network.

Abstract: There are methods and apparatus, including computer program products, for sensor node management. The methods and apparatus may include the ability to receive a message indicating that a sensor node is active, determine the type of data generated by the sensor node, and designate a location to store the type of data. The methods and apparatus may also include the ability to determine a transformation for generating a seal condition based on the type of data.

Abstract: A system for generating an e-seal for a container includes a sensor to detect a condition associated with the container and to generate a sensor reading based on the condition, and a processing device to generate the e-seal based on the sensor reading. The sensor reading may include first and second readings from the sensor, where the first reading is recorded at a first time and the second reading is recorded at a second time.

Abstract: Embodiments of the present invention provide constraint based software systems and methods. In one embodiment, the present invention includes a method of controlling the operation of system software comprising generating a plurality of domain level constraints, translating the plurality of domain level constraints into system level constraints, and controlling a system using the system level constraints. System level software may respond rapidly to changing conditions through modification of domain level constraints and translation of domain level constraints into system level constraints. Preprocessing of raw data from RFID or sensors may trigger incidents that automatically trigger the modification of domain level constraints, thereby changing the system level software automatically in response to changes in the operational environment.

Abstract: A method of providing sensor-based information from a sensor device to an application program includes receiving, in a sensor device, sensor data obtained using a sensor. The method includes determining, in the sensor device, whether the sensor data meets a predefined condition associated with an application program in a computer system. If the sensor data meets the predefined condition, the method includes forwarding an event message associated with the predefined condition from the sensor device for receipt by the application program. A sensor device includes a sensor configured to make sensor readings of a physical characteristic, and a data processing component configured to forward, if the sensor data meets the predefined condition, an event message associated with the predefined condition for receipt by the application program. A system includes a computer system configured to execute an application program, a first sensor device and a second sensor device.

Abstract: Methods and apparatus, including computer program products, for processing, at a sensor node within a sensor network, a set of sensor readings to determine whether an event has occurred, the set of sensor readings including one or more sensor readings for corresponding environmental conditions. The processing includes determining whether a sensor reading exceeds its corresponding threshold value for an environmental condition, and if so, comparing the set of sensor readings with a history log file to determine whether a false alarm event has occurred. The history log file includes one or more sets of historic sensor readings for corresponding environmental conditions, each set being associated with an environmental situation.

Abstract: A system for generating an e-seal for a container includes a sensor to detect a condition associated with the container and to generate a sensor reading based on the condition, and a processing device to generate the e-seal based on the sensor reading. The sensor reading may include first and second readings from the sensor, where the first reading is recorded at a first time and the second reading is recorded at a second time.

Abstract: Application requirements may be determined for executing an application using a sensor network, the sensor network including a plurality of devices. Hardware constraints associated with the devices may be determined, and an operating system may be generated, based on the application requirements and the hardware constraints. In this way, an operating system may be generated that is specific to, and optimized for, the the particular application and hardware resources.

Abstract: In order to provide personalized transaction assistance using sensor networks, a user interacts with the sensor networks within, for example, a retail environment, using a wireless mobile device. The user is provided with timely, convenient, and personalized information related to products for sale within the retail environment. More specifically, for example, a message exchange between the sensor network and the mobile device is automatically initiated, such that the user is provided with information regarding, for example, an availability, description, price, and/or location of products in which the user has previously expressed a purchase interest. In this way, a probability of a sale is increased for the retail environment, as well as a likelihood that the user will be happy with the purchase experience, and these benefits are provided with a minimal amount of effort required of the user.

Abstract: There are methods and apparatus, including computer program products, for sensor node management. The methods and apparatus may include the ability to receive a message indicating that a sensor node is active, determine the type of data generated by the sensor node, and designate a location to store the type of data. The methods and apparatus may also include the ability to determine a transformation for generating a seal condition based on the type of data.

Abstract: Methods and apparatus, including computer program products, for processing, at a sensor node within a sensor network, a set of sensor readings to determine whether an event has occurred, the set of sensor readings including one or more sensor readings for corresponding environmental conditions. The processing includes determining whether a sensor reading exceeds its corresponding threshold value for an environmental condition, and if so, comparing the set of sensor readings with a history log file to determine whether a false alarm event has occurred. The history log file includes one or more sets of historic sensor readings for corresponding environmental conditions, each set being associated with an environmental situation.