Abstract: Described are systems and methods for implementing seamless window support for applications, such as applications based on Windows® Presentation Foundation (WPF). Seamless support for WPF applications can be implemented by remoting information associated with structural representation of the applications from a remote server to a remote client. The structural representation may be replicated at the client in accordance with the structural information. The replicated structural representation is utilized to render visual content associated with the application by local rendering mechanisms at the client.

Abstract: Methods and systems for local themeing of remote applications is disclosed. In an implementation, a redirection surface is defined by a server corresponding to a remote application executed by a client. The client sends to the server, a set of theme metrics and parts corresponding to the client and non-client area in the redirection surface. The server utilizes the theme metrics to render the contents of part of the redirection surface. The rendered contents are utilized by the client to re-render the client area of the redirection surface. The non-client area is rendered locally at the client based on local client theme settings.

Abstract: Described are systems and methods for remoting applications, such as those based on Windows® Presentation Foundation (WPF). The systems and methods are based on remoting information associated with a structural representation. The structural representation corresponds to visual contents or elements of a desktop to be displayed at a remote end or client end, without rendering the contents at a client or remoted end. The information associated with the structural representation or structural information includes data that specifies the placement of the visual contents on the desktop when displayed. The information is used for recreating the structural representation at the client end and displaying the visual contents in conformance with the structural representation.

Abstract: In one embodiment of this invention, a computing system may be configured to perform a method for synchronizing the presentation of windows between two computing systems, where the first computing system has initiated a terminal server session with a second computing system. The method involves both computing systems identifying their own windows display information. The second computing system transmits its windows display information to the first computing system. The first computing system accesses the windows display information of the second computing system. The first computing system formulates an ordering for the windows, incorporating both the first and the second computing systems' windows display information. The first computing system presents the windows based on the formulated ordering. Additionally or alternatively, the first computing system transmits the formulated ordering to the second computing system.

Abstract: A verifier infrastructure for a runtime verification tool is provided. The verifier infrastructure includes a managing module and one or more verifier modules. The verifier modules provide the verification for checks (tests) to predict how well an application will perform under a certain runtime setting. Each verifier module is configured to be plugged into the runtime verification tool in a standardized way. The managing module manages the verifier modules by transmitting runtime settings to the verifier modules and collecting information regarding testing of an application from the verifier modules. The collected information is reported back to users for detecting and/or debugging runtime errors.

Abstract: Remoting a display. A method that may be practiced, for example, in a networked computing environment including a local computer system running one or more applications and a remote computer that displays graphical information to a user for the one or more applications at the local computer system. The remote computer includes a number of surfaces. Drawing information including drawing commands is sent to the remote computer. Meta information is sent to the remote computer defining information about which surface from among the number of surfaces the drawing information applies. Composition information is sent to the remote computer defining the display characteristics of the surface.