Xerox Corporation

Palo Alto Research Center Inc.

Conduent Business Services, LLC

Eric Allan Bier

Shantanu Rane

Mark Jeffrey Stefik

Daniel Gureasko Bobrow

Robert Thomas Krivacic

Mudita Singhal

Alejandro Enrique Brito

Gaurang R Gavai

Matthew Darst

Sureyya Tarkan

Eduardo Cardenas Sanchez

Farrukh Ali

Kevin Albanese

Hoda Eldardiry

Maureen C Stone

Oliver Brdiczka

Alexandre Campos Perez

Marc E Mosko

Bay-Wei W Chang

Kenneth P Fishkin

Teresa F Lunt

William A Buxton

Pai Liu

David G Bell

Anthony DeRose

Paloma Juanita Fautley

Lu (Kate) Jia

Edward W Ishak

Warren Bruce Jackson

Johan De Kleer

Robert Roy Buckley

Lester D Nelson

Jan O Pedersen

Kathryn F Murphy

John W Tukey

Michelle Q Wang Baldonado

Saman Mostafavi

Per-Kristian G Halvorsen

Douglass R Cutting

Stephen W Smoliar

Ron Zvi Stern

Kristian Lyngbaek

Anna Wu

Willaim A Buxton

David J Kurlander

Kenneth A Pier

Alan Frederick Newberger

Adam Perer

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.

Computer-implemented system and method for providing website navigation recommendations

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.

System and method for determining HVAC set points

A building environmental sensor includes a sensing element for collecting measurements of environmental parameters such as temperature, humidity, light, sound or the absence or presence of gas. The sensor will: (a) detect that a data collection device is within a communication range of the sensor; (b) generate a data stream that includes the data that the sensor collected; (c) transmit the data stream to the first data collection device; (d) determine that a communication link between the sensor and the first data collection device was lost before the first data stream was fully transmitted; (e) detect that a second data collection device is within the communication range of the sensor; (f) generate a second data stream that includes the remaining data; and (g) transmit the second data stream to the second data collection device.

Building environmental sensor method and system for collecting data from same

Systems and methods for indexing blockchain data in a blockchain system. These systems and methods receive a set of transactions from one or more transaction blocks of a blockchain, wherein the transactions in the set have been validated by one or more peer systems of the blockchain. The systems and methods further generate an index to one or more fields of one or more transactions in the set of transactions of the transaction block generate an index representative of at least one field in the set of transactions of the transaction block and provide the generated index for validation by a peer system of the blockchain. After receiving verification from at least a threshold number of peer systems that the generated index has been validated by the peer system, the generated index is stored as an index block in the blockchain.

Integrated index blocks and searching in blockchain systems

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.

System and method for facilitating efficient round-trip engineering using intermediate representations

A system for collecting building environmental sensor data includes a first data collection device having a first transceiver that is configured to receive data from proximate building environmental sensors and a second transceiver that is configured to communicate with an external service. The device will, upon detecting that the first transceiver is within a receiving range of a first building environmental sensor, communicatively connect with the first building environmental sensor to receive a data stream that comprises sensor data captured by the first building environmental sensor. The device will continue to receive the data stream until the first transceiver either receives all of the sensor data or moves out of the receiving range. The device will repeat this process for additional building environmental sensors. The device will use its second transceiver to transfer the sensor data to the external service.

Method and system for collecting sensor data in buildings

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.

System and method for securing a content creation device connected to a cloud service

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.

System and method for automatic program repair using fast-result test cases

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.

Bluetooth hub device mediating connections between mobile device and controlled device

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.

System and method for generating counterexample tests of incidental invariants

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.

System and method for identifying a faulty component in a spectrum ambiguity group

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.

System and method for motivating parking enforcement officer performance with the aid of a digital computer

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.

System and method for visualizing parking enforcement officer movement in real time with the aid of a digital computer

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.

System and method for managing coverage of parking enforcement for a neighborhood with the aid of a digital computer

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.

System and method for facilitating parking enforcement officer performance in real time with the aid of a digital computer

Growing community of inventors

Palo Alto, CA, United States of America

Eric Allan Bier