Microsoft Technology Licensing, LLC

Amdocs Software Systems Limited

Amdocs Development Limited

Nir Levy

Irit Kantor

Eyal Livne

Alexander Vakaluk

Eli Arbel

Avner Shahar-Kashtan

Alexander Pshul

Moaid Hathot

Eli Schwartz

Michael Andrew Foynes

Jackie Assa

Lee Stott

Ami Luttwak

Alok Kumar Srivastava

Benny Schlesinger

Merav Davidson

Justin R Garrett

Itay Yaffe

Amichai Vaknin

Rona Mayk

Ariel Ben-Horesh

John Lee

Eli Ben-David

Libi Axelrod

Zvi Naggan

Adi Diamant

Yuval Pinchas Borsutsky

Keren Damari

Avichai Cohen

Nir Pedhazur

Ola Lavi

Nir Rapaport

Aloke Tusnial

Karen Master Ben-dor

Ran Gilad-Bachrach

Eliazer Carmon

Avi Sagiv

Dana Porter Rubinshtein

A user-annotated reference implementation identifies variable values generated by the reference implementation during its execution. A software implementation under analysis is executed. Variable values in the running memory of the program code of the software implementation under analysis, during its execution, are identified and copied. The variable values traced from the running memory of the program code are compared against the annotated variable values generated by the reference implementation, to determine a similarity between the program code under analysis, and the reference implementation. An output is generated that is indicative of whether the traced variables from the program code under analysis are the same as the annotated variable values generated by the reference implementation.

Program execution monitoring using deep memory tracing

A system, method, and computer program product are provided for offering experience-based subscriptions to services. In use, a service package is created for a network service provider, the service package relating to a service experience specific at least to a subset of content accessible over a communication network via the network service provider. Additionally, a user subscription to the service package is received. Further, access to the subset of the content is provided based on the user subscription.

System, method, and computer program for offering experience-based subscriptions to services

The claimed subject matter includes techniques for providing access to a cloud-based service from a learning management system (LMS). An example method includes receiving a request from a course instructor at a brokerage engine running as an extension of the LMS. The request is a request to configure a course to be provided by a cloud-based service. The request identifies assignments to be accessed by students through the LMS and provisions cloud computing resources of the cloud-based service to be assigned to the students for completion of the assignments. The method also includes performing the request using the cloud-based service by translating, by the brokerage engine, the request to be compatible with the cloud-based service.

Brokerage tool for accessing cloud-based services

Computer interfaces are provided for managing and deploying contextually relevant event canvases based on entity roles. Some systems are configured for identifying events and generating contextually relevant canvases associated with those events, which are contextually based on roles assigned to the events. A master canvas is also provided for facilitating navigation between the various canvases and to assign roles to the canvases, as well as for facilitating management configuration of the canvases. The master canvas includes a tabbed interface that allows navigation, configuration, and insight into the various canvases.

Dynamic incident console interfaces

Interfaces utilize two types of tiles, including boundary spanning type tiles and boundary non-spanning type tiles. The boundary non-spanning tile each have a boundary non-spanning parameter/property that prevent the tile from overlapping a particular type of display boundary and that is operable for triggering a modification of a layout presentation of the canvas by causing/modifying the one or more tiles in the first set of tiles to be automatically resized and/or repositioned within the canvas layout presentation when it is determined the boundary non-spanning type tile(s) would overlap the particular type of boundary in a current/prior layout. The boundary spanning type tiles omit the boundary non-spanning parameter/property or have it set to an inactive state.

Dynamic multi monitor display and flexible tile display

Computer interfaces are provided for accessing and displaying content from disparate and remotely connected computer systems and that can be used for facilitating collaboration and visualization of physical and cloud resources for distributed event management. Systems are provided for generating, modifying, deploying, accessing, and otherwise managing the computer interfaces. Templates are used to build canvas interfaces that are contextually relevant for different entities based on the context of associated events and assigned roles of the entities with respect to the different events. The canvas interfaces can be used to access and orchestrate resources associated with the different events.

In-context event orchestration of physical and cyber resources

The claimed subject matter includes techniques for providing access to a cloud-based service. An example method includes generating a user interface form compatible with an application program, the user interface form being displayable via a user interface of the application program. The method also includes receiving a user request at a brokerage engine that runs as an extension of the application program through the user interface form. The method further includes identifying a cloud-based service to perform the request, and performing the request using the cloud-based service by translating the request to be compatible with the identified cloud-based service. The method also includes generating a new user interface form integrated with the user interface of application program, the new user interface form populated with data from the cloud-based service.

Control and access of digital files for three dimensional (3D) model printing are supported by an authorized 3D model marketplace. At a system providing the 3D model marketplace, a 3D model file catalog can be searched using a search input that may be at least one image to identify possible results. At least two options for a specific result of the possible results can be available. The at least two options can include an original quality 3D model file and a degrade option 3D model file. The degrade option 3D model file may represent a lower quality or altered version of the original quality 3D model file and can be generated from the original quality 3D model file upon selection of the degrade mode option.

Control and access of digital files for three dimensional model printing

Interactive event creation control consoles are provided to facilitate the creation of events from a plurality of different content sources. In some instances, the event creation control consoles include two different frames, a content source frame for selecting content for corresponding content tiles and an event creation frame for identifying the content tiles to be published in an event canvas associated with a particular event and which is published differently on different end user systems based on the contextual event role of the end user and/or the different end user system configurations.

Interactive event creation control console

A system, method, and computer program product are provided for receiving device instructions from one user to be overlaid on an image or video of the device for another user. In use, at least one of an image and video of a device is received from a first user via a network. Additionally, at least one instruction for the device is received from a second user, in response to the receipt of the at least one of the image and video of the device. Furthermore, the at least one instruction is provided to the first user for display as an overlay to the at least one of the image and video of the device.

System, method, and computer program for receiving device instructions from one user to be overlaid on an image or video of the device for another user

A system, method, and computer program product are provided for managing services for a service provider at a device within proximity to a location of the service provider, utilizing logic of a centralized environment. In use, at least one real-time service managed for a service provider by a centralized environment is identified. Furthermore, logic of the centralized environment for the management of the at least one real-time service is deployed to at least one device within a predetermined proximity to a location of the service provider.

System, method, and computer program for managing services for a service provider at a device within proximity to a location of the service provider, utilizing logic of a centralized environment

Command instruction data can be generated via a computerized control system, with the instruction data being formatted to prompt a plurality of tile units to change their output. The instruction data can be sent from the control system to the tile units, with each of the tile units including a tile controller connected to one or more tiles embedded in one or more sidewalk floors, and with each of the tiles including a user interface output device. At least part of the instruction data from the control system can be received via a tile controller of a tile unit. At least part of the instruction data can be processed via the tile controller. In response, the user interface output device of the tile can be signaled via the tile controller to change the output of the output device.

Computer-controlled sidewalk tiles

A system, method, and computer program product are provided for validating receipt of digital content by a client device. In one embodiment, a transmission of digital content over a network to a client device is identified. Additionally, receipt of the digital content by the client device is validated utilizing a system remote from the client device. In another embodiment, it is determined whether actual digital content transmitted over a network to a client device is digital content expected by the client device. Further, the transmission of the actual digital content is validated to a remote third party system, based on the determination.

System, method, and computer program for validating receipt of digital content by a client device

A system, method, and computer program product are provided for determining a profile for an external network user. In use, a plurality of communications between each of a plurality of home users located in a home network and an external user located in an external network is identified. Additionally, a profile is determined for the external user, utilizing the plurality of communications. Further, one or more actions are performed, utilizing the profile for the external user.

Growing community of inventors

Tel Aviv, Israel

Nir Levy