Search

Paolo M Piselli

from Arlington, MA
Age ~48
Get Report
Also known as:
Paolo M Piseelli, Paolo Pigelli
Phone and address:
15 Newcomb St, Arlington, MA 02474
Related to:
Alessandro PiselliMarquina Iliev Piselli
Connected to:
Raymond C Piselli, 33Roel O Piseno, 57Gwen A Pisenti, 55Larry A Piser, 55Michael J Piser, 58Rebecca Piser, 41Daniel M Pisera, 63Natalia Pisetsky, 60Claire A Pish, 80Joseph Pish

Paolo Piselli Phones & Addresses

  • 15 Newcomb St, Arlington, MA 02474
  • Worcester, MA
  • 554 Cobblestone Dr, Orange, CT 06477 (203) 795-5907
  • Watertown, MA
  • Amherst, MA
  • 231 Massachusetts Ave APT 40, Arlington, MA 02474

Publications

Us Patents

Message Insertion System And Method

View page
US Patent:
20030130020, Jul 10, 2003
Filed:
Sep 19, 2001
Appl. No.:
09/955678
Inventors:
Joseph Bates - Newton MA, US
A. Loyall - Cambridge MA, US
Paolo Piselli - Watertown MA, US
Peter Weyhrauch - Newton MA, US
Stanton Wood - Boston MA, US
International Classification:
A63F009/24
US Classification:
463/001000
Abstract:
In a data processing system executing a process for interacting with at least one user, the process for a period of time, during execution of the process, at a moment of likely intensity of the user's interaction with the process, a message is displayed to the user. In another aspect, in a mobile networked device, the location of the device is determined, a message is selected for display based on the location of the device and the message is displayed on the device. In another aspect, in a mobile networked device, a message is selected for display based on previously stored information about the user of the device.

Message Insertion System And Method

View page
US Patent:
20040201629, Oct 14, 2004
Filed:
Feb 6, 2004
Appl. No.:
10/773682
Inventors:
Joseph Bates - Newton MA, US
A. Loyall - Cambridge MA, US
Paolo Piselli - Watertown MA, US
Peter Weyhrauch - Newton MA, US
Stanton Wood - Boston MA, US
Assignee:
Zoesis, Inc., a Delaware corporation
International Classification:
G09G005/00
US Classification:
345/808000
Abstract:
In a data processing system executing a process for interacting with at least one user, the process for a period of time, during execution of the process, at a moment of likely intensity of the user's interaction with the process, a message is displayed to the user. In another aspect, in a mobile networked device, the location of the device is determined, a message is selected for display based on the location of the device and the message is displayed on the device. In another aspect, in a mobile networked device, a message is selected for display based on previously stored information about the user of the device.

Automatic Correction Of Program Logic

View page
US Patent:
20120144227, Jun 7, 2012
Filed:
Dec 7, 2010
Appl. No.:
12/961922
Inventors:
Jeff Herbert Perkins - Cambridge MA, US
Stylianos Sidiroglou - Cambridge MA, US
Martin Conway Rinard - Arlington MA, US
Eric Patrick Lahtinen - Canton MA, US
Paolo Mario Piselli - Arlington MA, US
Basil C. Krikeles - Wakefield MA, US
Timothy Alan Anderson - Sudbury MA, US
Greg Timothy Sullivan - Auburndale MA, US
Assignee:
BAE Systems Information Solutions, Inc. - Arlington VA
Massachusetts Institute of Technology - Cambridge MA
International Classification:
G06F 11/07
US Classification:
714 2, 714E11023
Abstract:
An approach to detection and repair of application level semantic errors in deployed software includes inferring aspects of correct operation of a program. For instance, a suite of examples of operations that are known or assumed to be correct are used to infer correct operation. Further operation of the program can be compared to results found during correct operation and the logic of the program can be augmented to ensure that aspects of further examples of operation of the program are sufficiently similar to the examples in the correct suite. In some examples, the similarity is based on identifying invariants that are satisfied at certain points in the program execution, and augmenting (e.g., “patching”) the logic includes adding tests to confirm that the invariants are satisfied in the new examples. In some examples, the logic invokes an automatic or semi-automatic error handling procedure if the test is not satisfied. Augmenting the logic in this way may prevent malicious parties from exploiting the semantic errors, and may prevent failures in execution of the programs that may have been avoided.
Control profile
Paolo M Piselli from Arlington, MA, age ~48 Get Report