Abstract: A system and method for providing Website navigation recommendations is provided. A Web page of interest is identified as a destination Web page. A domain of Web pages related to the destination Web page is determined. Information is extracted from each Web page in the domain and a recommendation comprising instructions for navigating to the destination Web page is generated based on the extracted information.

Abstract: A system and method for automatic floorplan generation is provided. Mesh triangles are gathered for a space having one or more walls and a floor. A request for a floorplan for the space is received. A facing direction of the floor is determined from the mesh triangles. The mesh triangles are rotated until the floor is horizontal. A primary wall facing direction is also determined from the mesh triangles. The mesh triangles are rotated so the primary wall facing direction is parallel to a major axis or other desired direction. The floorplan is generated based on the floor and walls.

Abstract: A system and method for determining HVAC set points are provided. A present season is determined. An allowable temperature comfort range for each occupant in a room in a space is also determined. For each room, an energy saving set point temperature is calculated for the space based on the allowable temperature comfort range for that room. A set point temperature for the space is determined based on the energy saving set point temperatures for each of the rooms in the space. The set point temperature is provided to a thermostat or HVAC system to regulate temperature in the building.

Abstract: Embodiments described herein provide a round-trip engineering system. During operation, the system can maintain an intermediate system representation (ISR) for a set of artifacts of a piece of software. The set of artifacts can include a piece of code and a development model. The ISR can remain persistent upon synchronization of the set of artifacts. The system can incorporate, in a respective component of the ISR, a reference to a code block in the piece of code and a corresponding element in the development model. If the system determines a first update in a first segment of a first artifact of the set of artifacts, the system can identify a second segment in a second artifact from the set of artifacts based on a corresponding component in the ISR. The system can then propagate a second update to the second segment to reflect the first update in the first segment.

Abstract: A certified application is installed onto a content creation device and a mobile certified application is installed onto a mobile device, the applications establish first and second trust relationships with the cloud service. The certified application and mobile certified application establish the third trust relationship via a proximity network. The mobile certified application generates a first ephemeral key pair having a private part. The certified application generates a second ephemeral key pair having a private part. The mobile certified application requests a service from the content creation device involving the transfer of data between the content creation device and the cloud service. The data is protected by at least one of the first and second ephemeral key pairs in response to invocation of the service. The service results in the data being stored at the cloud service and/or rendered at the content creation device.

Abstract: One embodiment provides a system for automatic program repair (APR). The system identifies a first set of components under repair in a software system and determines, while executing an original test, second and third sets of components that are executed before and after, respectively, the first set of components. The system generates a first block of mock code that runs faster and simulates runtime behaviors of the second set of components, identifies a code region within the third set of components that affects a test result of the software system, and generates a second block of mock code that runs faster and affects the test result similarly. The system generates a fast-result test by replacing the second set of components with the first block of mock code and replacing the third set of components with the second block of mock code and performs APR by executing the fast-result test.

Abstract: One embodiment provides a system for automatic program repair (APR). The system identifies a first set of components under repair in a software system and determines, while executing an original test, second and third sets of components that are executed before and after, respectively, the first set of components. The system generates a first block of mock code that runs faster and simulates runtime behaviors of the second set of components, identifies a code region within the third set of components that affects a test result of the software system, and generates a second block of mock code that runs faster and affects the test result similarly. The system generates a fast-result test by replacing the second set of components with the first block of mock code and replacing the third set of components with the second block of mock code and performs APR by executing the fast-result test.

Abstract: Embodiments described herein provide a round-trip engineering system. During operation, the system can maintain an intermediate system representation (ISR) for a set of artifacts of a piece of software. The set of artifacts can include a piece of code and a development model. The ISR can remain persistent upon synchronization of the set of artifacts. The system can incorporate, in a respective component of the ISR, a reference to a code block in the piece of code and a corresponding element in the development model. If the system determines a first update in a first segment of a first artifact of the set of artifacts, the system can identify a second segment in a second artifact from the set of artifacts based on a corresponding component in the ISR. The system can then propagate a second update to the second segment to reflect the first update in the first segment.

Abstract: A certified application is installed onto a content creation device and a mobile certified application is installed onto a mobile device, the applications establish first and second trust relationships with the cloud service. The certified application and mobile certified application establish the third trust relationship via a proximity network. The mobile certified application generates a first ephemeral key pair having a private part. The certified application generates a second ephemeral key pair having a private part. The mobile certified application requests a service from the content creation device involving the transfer of data between the content creation device and the cloud service. The data is protected by at least one of the first and second ephemeral key pairs in response to invocation of the service. The service results in the data being stored at the cloud service and/or rendered at the content creation device.

Abstract: A multifunction printer connects to a controlled device via a proximity network link. The multifunction printer is connected as a master of the controlled device. The multifunction printer connects with a mobile device via a Bluetooth link, such that the mobile device is connected as a master of the multifunction printer. The mobile device is authenticated to determine credentials and access permissions relative to the controlled device. The mobile device's access to the controlled device is controlled from the multifunction printer via the Bluetooth link based on the credentials and access permissions.

Abstract: One embodiment provides a system and method for identifying invariants in a software system. During operation, the system executes a test suite comprising a plurality of tests associated with the software system to output a list of likely invariants in the software system, and performs a test-generation operation attempting to generate counterexample tests for the likely invariants. In response to a counterexample test being successfully generated for a first likely invariant, the system removes the first likely invariant from the list of likely invariants and adds the successfully generated counterexample test to the test suite.

Abstract: One embodiment provides a system and method for automatically localizing faults in a software system. During operation, the system executes a number of tests associated with the software system to output a spectrum indicating test-coverage patterns of components within the software system; and identifies, based on the spectrum, an ambiguity group associated with at least one failed test. The ambiguity group includes multiple components having a same coverage pattern. The system instruments the multiple components. Instrumenting a respective component includes inserting instructions for monitoring runtime values of at least one variable. The system identifies a subset of tests within which the instrumented multiple components are active, re-executes the identified subset of tests with the multiple components being instrumented, and identifies one component from the multiple components as being likely to cause the at least one failed test based on results of the re-executed subset of tests.

Abstract: A system and method for motivating parking enforcement officer performance with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.

Abstract: A system and method for visualizing parking enforcement officer movement in real time with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.

Abstract: A system and method for managing coverage of parking enforcement for a neighborhood with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.

Abstract: A system and method for facilitating parking enforcement officer performance in real time with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.

Abstract: A system and method for monitoring parking enforcement officer performance with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.

Abstract: A system and method for facilitating parking enforcement officer dispatching in real time with the aid of a digital computer is provided. A time-based active representational model of the city is created by fusing sensory data collected from various sources around a city with numerical data gleaned from historical and on-going activities, including parking regulation citation and warning numbers, resource allocations, and so on. The model can be used to form quantitative predictions of expected violations, revenue stream, and so forth, that can then be used as recommendations as to where to enforce and when, so as to maximize the utilization of the limited resources represented by the officers on the street. Moreover, the performance of the officers can be weighed against expectations of performance postulated from the quantitative predictions.

Abstract: A multifunction printer connects to a controlled device via a proximity network link. The multifunction printer is connected as a master of the controlled device. The multifunction printer connects with a mobile device via a Bluetooth link, such that the mobile device is connected as a master of the multifunction printer. The mobile device is authenticated to determine credentials and access permissions relative to the controlled device. The mobile device's access to the controlled device is controlled from the multifunction printer via the Bluetooth link based on the credentials and access permissions.

Abstract: A multi-function printer is coupled to a mobile device via a proximity network interface. The multi-function printer determines a workflow specified by a user of the mobile device. An ephemeral token associated with the workflow is sent to the mobile user device. The mobile device uses the ephemeral token to create a payment packet that is sent to a payment server which sends a receipt in response thereto. The multi-function printer receives the receipt from the mobile device and in response to receiving the receipt, obtains a list of payments from the payment server. The multi-function printer performs the workflow based on validating the receipt against the list of payments.