WORKMAN NYDEGGER/MICROSOFT

SALT LAKE CITY, UT US

1. 20090288081 DOWNLOAD DISCOVERY FOR WEB SERVERS - Facilitating installation of additional functionality on a web server 11-19-2009
2. 20090288069 Dynamic Declarative Application Description 11-19-2009
3. 20090287822 GROUP BASED ALLOCATION OF NETWORK BANDWIDTH 11-19-2009
4. 20090287724 Data Viewer Management - Embodiments described herein are directed to generating a customized data viewer where the viewer is configured to display data 11-19-2009
5. 20090285127 SYSTEM AND METHOD FOR NETWORK TOPOLOGY DISCOVERY 11-19-2009
6. 20090284549 CONFIGURABLE VIEW ON DATA MODELS - Data-driven configuration of various views on data models 11-19-2009
7. 20090282266 Corralling Virtual Machines With Encryption Keys 11-12-2009
8. 20090276834 SECURING RESOURCE STORES WITH CLAIMS-BASED SECURITY 11-05-2009
9. 20090271765 CONSUMER AND PRODUCER SPECIFIC SEMANTICS OF SHARED OBJECT PROTOCOLS 10-29-2009
10. 20090271495 TRANSPORT INDEPENDENT REDIRECTION 10-29-2009
11. 20090265707 OPTIMIZING APPLICATION PERFORMANCE ON VIRTUAL MACHINES AUTOMATICALLY WITH END-USER PREFERENCES 10-22-2009
12. 20090265696 JUST-AHEAD-OF-TIME COMPILATION - Pre-compiling postdominating functions 10-22-2009
13. 20090265402 EFFICIENTLY MARKING OBJECTS WITH LARGE REFERENCE SETS 10-22-2009
14. 20090265301 Database Object Update Order Determination 10-22-2009
15. 20090260054 Automatic Application of Information Protection Policies 10-15-2009
16. 20090260009 CONTINUATION BASED RUNTIMES IN TRANSACTIONS 10-15-2009
17. 20090259702 USING AN OVERFLOW LIST TO PROCESS MARK OVERFLOW 10-15-2009
18. 20090259327 METHOD AND SYSTEM FOR UNIFIED AUDIO CONTROL ON A PERSONAL COMPUTER 10-15-2009
19. 20090254672 DYNAMIC SERVER-SIDE MEDIA TRANSCODING - Dynamic transcoding of media content based on transcoding parameters 10-08-2009
20. 20090254596 PROVIDING A PUBLISHING MECHANISM FOR MANAGED OBJECTS 10-08-2009
21. 20090248900 SYNCHRONIZING CLOCKS IN AN ASYNCHRONOUS DISTRIBUTED SYSTEM 10-01-2009
22. 20090248885 CONTROLLING THE TRANSFER OF TERMINAL SERVER DATA 10-01-2009
23. 20090240486 HMM ALIGNMENT FOR COMBINING TRANSLATION SYSTEMS 09-24-2009
24. 20090235177 MULTI-MONITOR REMOTE DESKTOP ENVIRONMENT USER INTERFACE 09-17-2009
25. 20090235148 DOCUMENT-LEVEL FEATURES IN ADD-INS - Document level add-ins 09-17-2009
26. 20090234971 ENCODING/DECODING WHILE ALLOWING VARYING MESSAGE FORMATS PER MESSAGE 09-17-2009
27. 20090232009 Internet Connectivity Verification - Verification of Internet connectivity using multiple prior connection attempts to Internet destination 09-17-2009
28. 20090222882 UNIFIED MANAGEMENT POLICY - Defining a unified access management policy expression that unifies access control policy with events or workflows 09-03-2009
29. 20090222881 RESOURCE STATE TRANSITION BASED ACCESS CONTROL SYSTEM 09-03-2009
30. 20090222879 SUPER POLICY IN INFORMATION PROTECTION SYSTEMS 09-03-2009
31. 20090222875 Distributed tuner allocation and conflict resolution 09-03-2009
32. 20090222834 CODELESS PROVISIONING - Managing resources 09-03-2009
33. 20090222833 CODELESS PROVISIONING SYNC RULES - Managing resources 09-03-2009
34. 20090222827 CONTINUATION BASED DECLARATIVE DEFINITION AND COMPOSITION 09-03-2009
35. 20090222794 UNIFIED EXPRESSION AND LOCATION FRAMEWORK 09-03-2009
36. 20090222751 MODELING CONFIGURATIONS OF SYSTEMS - One embodiment may be practiced in a computing environment and includes method acts for creating a new component 09-03-2009
37. 20090222750 ENTERPRISE SOCIAL NETWORKING SOFTWARE ARCHITECTURE 09-03-2009
38. 20090222480 LOCALIZING OBJECTS IN A PROPERTY STORE - Managing data for an object including managing data in the object itself and alternative data applicable to an 09-03-2009
39. 20090222448 ELEMENTS OF AN ENTERPRISE EVENT FEED - enterprise-based social networking application 09-03-2009
40. 20090219294 VISUAL STATE MANAGER FOR CONTROL SKINNING 09-03-2009
41. 20090216793 CONSISTENTLY SIGNALING STATE CHANGES - signaling system of the present invention provides a synchronized approach to delivering reporting 08-27-2009
42. 20090216791 EFFICIENTLY CORRELATING NOMINALLY INCOMPATIBLE TYPES 08-27-2009
43. 20090216782 OBSERVING AND REPORTING CHANGES IN COMPLEX SOFTWARE DEPENDENCIES 08-27-2009
44. 20090216778 ACCESSING DIFFERENT APPLICATION DATA VIA A COMMON DATA STRUCTURE 08-27-2009
45. 20090210811 DRAGGING AND DROPPING OBJECTS BETWEEN LOCAL AND REMOTE MODULES 08-20-2009
46. 20090210530 TERMINATION CRITERIA IN SERVICE DISCOVERY REQUEST 08-20-2009
47. 20090208015 OFFLINE CONSUMPTION OF PROTECTED INFORMATION 08-20-2009
48. 20090204971 AUTOMATED ACCESS POLICY TRANSLATION - The use of one resource access policy to populate a second resource access policy 08-13-2009
49. 20090204944 GENERIC XAD PROCESSING MODEL - Embodiments are directed to dynamically building software applications and dynamically updating software applications 08-13-2009
50. 20090204942 ITERATIVE COMPONENT BINDING - Component domains used to define a binding between various components associated with the component domain 08-13-2009
51. 20090204941 IMPLICIT COMPOSITION OF COMPONENT BINDINGS 08-13-2009
52. 20090204912 GENEERAL PURPOSE INFINITE DISPLAY CANVAS 08-13-2009
53. 20090204544 ACTIVATION BY TRUST DELEGATION - mechanism for delegating trust to activate a target program from the vendor to a customer using an issuance license 08-13-2009
54. 20090199208 QUEUED MESSAGE DISPATCH - Embodiments described herein allow a service component author to write service components without having to handle incoming 08-06-2009
55. 20090198761 MESSAGE ENCODING/DECODING USING TEMPLATED PARAMETERS 08-06-2009
56. 20090193392 DYNAMIC INTERMEDIATE LANGUAGE MODIFICATION AND REPLACEMENT 07-30-2009
57. 20090193136 STREAMING OBJECT INSTANTIATION USING BOOKMARKS 07-30-2009
58. 20090192942 PRE-PERFORMING OPERATIONS FOR ACCESSING PROTECTED CONTENT 07-30-2009
59. 20090192767 MODEL-BASED THEORY COMBINATION - method is described for combining models of a plurality of theory solvers in order to produce a model which may be 07-30-2009
60. 20090187893 COORDINATING CHORES IN A MULTIPROCESSING ENVIRONMENT 07-23-2009
61. 20090187887 BLOCK COUNT BASED PROCEDURE LAYOUT AND SPLITTING 07-23-2009
62. 20090187886 DECLARTIVE COMMANDS USING WORKFLOWS - Declaratively implementing a command 07-23-2009
63. 20090182703 EXPOSING RELATIONAL DATABASE INTERFACES ON XML DATA 07-16-2009
64. 20090164973 CONTRACT PROGRAMMING FOR CODE ERROR REDUCTION 06-25-2009
65. 20090164878 SELECTIVE DOCUMENT REDACTION - Embodiments described herein are directed to selectively redacting and unredacting display information in accordance with 06-25-2009
66. 20090164501 E-MATCHING FOR SMT SOLVERS - Embodiments are introduced which provide for creation of an E-matching code tree index which works on E-graphs to make 06-25-2009
67. 20090158384 DISTRIBUTION OF INFORMATION PROTECTION POLICIES TO CLIENT MACHINES 06-18-2009
68. 20090158289 WORKFLOW EXECUTION PLANS THROUGH COMPLETION CONDITION CRITICAL PATH ANALYSIS 06-18-2009
69. 20090158283 DECOUPLING STATIC PROGRAM DATA AND EXECUTION DATA 06-18-2009
70. 20090157767 CIRCULAR LOG AMNESIA DETECTION - The setting up of a circular log implementation to be able to detect amnesia in a circular log and to the determination 06-18-2009
71. 20090133039 DURABLE EXACTLY ONCE MESSAGE DELIVERY AT SCALE 05-21-2009
72. 20090133038 DISTRIBUTED MESSAGING SYSTEM WITH CONFIGURABLE ASSURANCES 05-21-2009
73. 20090133037 COORDINATING APPLICATION STATE AND COMMUNICATION MEDIUM STATE 05-21-2009
74. 20090133036 COORDINATING RESOURCES USING A VOLATILE NETWORK INTERMEDIARY 05-21-2009
75. 20090132868 MESSAGE STATE MAINTENANCE AT A MESSAGE LOG 05-21-2009
76. 20090132671 MESSAGE STATE MAINTENANCE AT A CURSOR - The present invention extends to methods, systems, and computer program products for maintaining message state 05-21-2009
77. 20090126011 APPLICATION SECURITY MODEL - Performing security sensitive operations with an application security model 05-14-2009
78. 20090122192 METHODS AND SYSTEMS FOR INDEPENDENTLY CONTROLLING THE PRESENTATION SPEED OF DIGITAL VIDEO FRAMES AND DIGITAL AUDIO SAMPLES 05-14-2009
79. 20090119545 CORRELATING COMPLEX ERRORS WITH GENERALIZED END-USER TASKS 05-07-2009
80. 20090113534 GENERIC INTERACTIVE CHALLENGES IN A DISTRIBUTED SYSTEM 04-30-2009
81. 20090113457 PERFORMING REQUESTED COMMANDS FOR MODEL-BASED APPLICATIONS 04-30-2009
82. 20090113437 TRANSLATING DECLARATIVE MODELS - The present invention extends to methods, systems, and computer program products for translating declarative models 04-30-2009
83. 20090113407 MANAGING SOFTWARE LIFECYCLE - The present invention extends to methods, systems, and computer program products for managing software lifecycle 04-30-2009
84. 20090113379 MODELING AND MANAGING HETEROGENEOUS APPLICATIONS 04-30-2009
85. 20090113327 USER INTERFACE MAPPING MODULES TO DEPLOYMENT TARGETS 04-30-2009
86. 20090113292 FLEXIBLY EDITING HETEROGENEOUS DOCUMENTS 04-30-2009
87. 20090112966 ASSIGNMENT OF APPLICATION MODULESTO DEPLOYMENT TARGETS 04-30-2009
88. 20090112932 VISUALIZING KEY PERFORMANCE INDICATORS FOR MODEL-BASED APPLICATIONS 04-30-2009
89. 20090112873 PROCESSING MODEL-BASED COMMANDS FOR DISTRIBUTED APPLICATIONS 04-30-2009
90. 20090112801 METADATA DRIVEN REPORTING AND EDITING OF DATABASES 04-30-2009
91. 20090112673 RULES AND WORKFLOW PROCESS INTEGRATION - In one embodiment a computer system accesses a workflow activity from among multiple workflow activities in a 04-30-2009
92. 20090112570 DECLARATIVE MODEL INTERPRETATION - Embodiments described herein are directed to the constructing software applications based on data models and 04-30-2009
93. 20090112559 MODEL-DRIVEN, REPOSITORY-BASED APPLICATION MONITORING SYSTEM 04-30-2009
94. 20090106850 CONDITIONAL ACCESS TO DIGITAL RIGHTS MANAGEMENT CONVERSION 04-23-2009
95. 20090106646 LAYOUT AND LINE ROUTING COMPOSITION - The present invention extends to methods, systems, and computer program products for the facilitating the layout 04-23-2009
96. 20090100435 HIERARCHICAL RESERVATION RESOURCE SCHEDULING INFRASTRUCTURE 04-16-2009
97. 20090100084 GENERIC MODEL EDITING FRAMEWORK - In one embodiment, a computer system generates a view of entities associated with varying data types for presentation 04-16-2009
98. 20090097660 MULTI-FACTOR CONTENT PROTECTION - Protecting content 04-16-2009
99. 20090094249 CREATING SEARCH ENABLED WEB PAGES - The present invention extends to methods, systems, and computer program products for creating search enabled Web 04-09-2009
100. 20090094199 DYNAMIC SITEMAP CREATION - The present invention extends to methods, systems, and computer program products for dynamic sitemap creation 04-09-2009
101. 20090089756 VISUAL DEBUGGER FOR DECLARATIVE/DATA-FLOW APPLICATIONS 04-02-2009
102. 20090089739 INTELLIGENT EDITING OF RELATIONAL MODELS 04-02-2009
103. 20090089629 CAPTURING DIAGNOSTICS IN WEB BROWSER APPLICATIONS 04-02-2009
104. 20090089495 NON-BLOCKING VARIABLE SIZE RECYCLABLE BUFFER MANAGEMENT 04-02-2009
105. 20090089299 DECLARATIVE MODEL EDITOR GENERATION - Embodiments are directed to generating declarative model editors 04-02-2009
106. 20090070815 ELECTRONIC PROGRAM GUIDE DISPLAYED SIMULTANEOUSLY WITH TELEVISION PROGRAMMING 03-12-2009
107. 20090070392 MANAGING NAVIGATION HISTORY FOR INTRA-PAGE STATE TRANSITIONS 03-12-2009
108. 20090060450 PAUSING TELEVISION PROGRAMMING IN RESPONSE TO SELECTION OF NETWORK ADDRESS 03-05-2009
109. 20090055838 MONITORING DISTRIBUTED APPLICATIONS - The present invention extends to methods, systems, and computer program products for monitoring distributed 02-26-2009
110. 20090049545 TOLERATING AND DETECTING ASYMMETRIC RACES 02-19-2009
111. 20090049247 MEDIA CACHE CONTROL INTERFACE - The apparent speed with which a media work is ripped to copy the work into a visible store is substantially reduced 02-19-2009
112. 20090046726 VIRTUAL NETWORK WITH ADAPTIVE DISPATCHER 02-19-2009
113. 20090043560 FEATURE ORIENTED PROTOCOL MODELING - Modeling protocols 02-12-2009
114. 20090041033 FITNESS BASED ROUTING - The present invention extends to methods, systems, and computer program products for fitness based routing 02-12-2009
115. 20090030998 CONTACT SIDEBAR TILE - Methods systems and computer program products for tracking real-time communication data within a single contact tracking 01-29-2009
116. 20090024993 DYNAMICALLY REGULATING CONTENT DOWNLOADS 01-22-2009
117. 20090024710 SYSTEMS AND METHODS FOR INTERFACING WITH A USER IN INSTANT MESSAGING 01-22-2009
118. 20090009529 ADAPTIVE CONTEXTUAL FILTERING - Selectively applying graphical filtering to a portion of an object 01-08-2009
119. 20090007077 AUTOMATICALLY GENERATING TEST CASES FOR BINARY CODE 01-01-2009
120. 20090006292 RECOGNIZING INPUT GESTURES - The present invention extends to methods, systems, and computer program products for recognizing input gestures 01-01-2009
121. 20090006063 TUNING AND OPTIMIZING DISTRIBUTED SYSTEMS WITH DECLARATIVE MODELS 01-01-2009
122. 20090006062 PROGRESSIVELY IMPLEMENTING DECLARATIVE MODELS IN DISTRIBUTED SYSTEMS 01-01-2009
123. 20090003711 OPTIMIZING CHARACTER RENDERING - Optimizing objects output to a user 01-01-2009
124. 20090003346 LOCATION BASED MESSAGING - The present invention extends to methods, systems, and computer program products for location based messaging 01-01-2009
125. 20090002374 ERROR METRICS FOR CHARACTERS - Generating an error from an error metric quantifying differences between reference objects representing characters and 01-01-2009
126. 20090002344 CALIBRATION OF AN INTERACTIVE DISPLAY SYSTEM 01-01-2009
127. 20090002327 CREATING VIRTUAL REPLICAS OF PHYSICAL OBJECTS 01-01-2009
128. 20080320410 VIRTUAL KEYBOARD TEXT REPLICATION - The present invention extends to methods, systems, and computer program products for replicating text at a virtual 12-25-2008
129. 20080320075 DETECTING DATA PROPAGATION IN A DISTRIBUTED SYSTEM 12-25-2008
130. 20080313602 BOUNDED PROGRAM FAILURE ANALYSIS AND CORRECTION 12-18-2008
131. 20080307306 CONTACT PICKER INTERFACE - interface for enabling a user to quickly access contact information automatically displays a list of expected contacts that 12-11-2008
132. 20080307264 PARAMETERIZED TEST DRIVEN DEVELOPMENT - In one embodiment a computer system automatically generates unit tests 12-11-2008
133. 20080301717 VISUALIZING A MEMORY FOOTPRINT OF AN APPLICATION PROGRAM 12-04-2008
134. 20080301702 AUTOMATED GENERATION OF DIFFERENT SCRIPT VERSIONS 12-04-2008
135. 20080301655 PROGRAM ABSTRACTION BASED ON PROGRAM CONTROL 12-04-2008
136. 20080301548 METHOD AND SYSTEM FOR LAYING OUT PAGINATED CONTENT FOR VIEWING - CONTINUATION 12-04-2008
137. 20080297482 RECOGNIZING SELECTION REGIONS FROM MULTIPLE SIMULTANEOUS INPUTS 12-04-2008
138. 20080288695 DYNAMIC CREATION OF LOW-LEVEL INTERFACES 11-20-2008
139. 20080288646 DATA CONSISTENCY WITHIN A FEDERATION INFRASTRUCTURE 11-20-2008
140. 20080288510 DATA MODEL FOR A COMMON LANGUAGE - Embodiments and principles described herein relate to software repositories for common languages 11-20-2008
141. 20080282202 GESTURED MOVEMENT OF OBJECT TO DISPLAY EDGE 11-13-2008
142. 20080282108 PROGRAM SYNTHESIS AND DEBUGGING USING MACHINE LEARNING TECHNIQUES 11-13-2008
143. 20080276278 USER INTERFACE PRESENTING ENHANCED VIDEO CONTENT INFORMATION ASSOCIATED WITH VIDEO PROGRAMS 11-06-2008
144. 20080276025 LOCK INFERENCE FOR ATOMIC SECTIONS - Locks which protect data structures used within atomic sections of concurrent programs are inferred from atomic 11-06-2008
145. 20080271046 DYNAMICALLY LOADING SCRIPTS - The present invention extends to methods, systems, and computer program products for dynamically loading scripts 10-30-2008
146. 20080271045 PROVIDING LOCALIZED RESOURCES FOR CLIENT-SIDE SCRIPT EXECUTION 10-30-2008
147. 20080271042 TESTING MULTI-THREAD SOFTWARE USING PRIORITIZED CONTEXT SWITCH LIMITS 10-30-2008
148. 20080270624 NORMALIZATION OF BINARY DATA - The transformation of data between binary data and hierarchical data, such as might be processed by an Infoset Processor 10-30-2008
149. 20080270428 UNIFORM RESOURCE IDENTIFIER TEMPLATE MANIPULATION 10-30-2008
150. 20080270411 DISTRIBUTED BEHAVIOR CONTROLLED EXECUTION OF MODELED APPLICATIONS 10-30-2008
151. 20080263406 CONTROLLING SOFTWARE FAILURE DATA REPORTING AND RESPONSES 10-23-2008
152. 20080256481 BROWSER NAVIGATION FOR DEVICES WITH A LIMITED INPUT SYSTEM 10-16-2008
153. 20080256342 SCALABLE AND CONFIGURABLE EXECUTION PIPELINE 10-16-2008
154. 20080235782 PROVIDING REMOTE SERVICES TO LEGACY APPLICATIONS 09-25-2008
155. 20080235325 IDENTIFYING APPROPRIATE CLIENT-SIDE SCRIPT REFERENCES 09-25-2008
156. 20080231611 INTERACTION BETWEEN OBJECTS AND A VIRTUAL ENVIRONMENT DISPLAY 09-25-2008
157. 20080231609 MANIPULATING ASSOCIATION OF DATA WITH A PHYSICAL OBJECT 09-25-2008
158. 20080229194 VIRTUAL FEATURES OF PHYSICAL ITEMS - Displaying information about a physical object 09-18-2008
159. 20080229189 METHOD FOR SYNCHRONOUSLY BINDING AN EXTERNAL BEHAVIOR TO A WEB PAGE ELEMENT 09-18-2008
160. 20080229160 CONTROLLING SOFTWARE FAILURE DATA REPORTING AND RESPONSES 09-18-2008
161. 20080228636 PURCHASING USING A PHYSICAL OBJECT - Using a user interface to allow payment for physical or virtual goods to be made through a physical object 09-18-2008
162. 20080222659 ABSTRACTING OPERATING ENVIRONMENT FROM OPERATING SYSTEM 09-11-2008
163. 20080222614 PREFERENTIAL PATH PROFILING - This paper describes preferential path profiling, which enables profiling a specified subset of all possible program paths 09-11-2008
164. 20080215933 CONTROLLING SOFTWARE FAILURE DATA REPORTING AND RESPONSES 09-04-2008
165. 20080215932 CONTROLLING SOFTWARE FAILURE DATA REPORTING AND RESPONSES 09-04-2008
166. 20080208979 DISPATCHING CLIENT REQUESTS TO APPROPRIATE SERVER-SIDE METHODS 08-28-2008
167. 20080208568 SYSTEM AND METHOD FOR PROVIDING CONTEXT TO AN INPUT METHOD BY TAGGING EXISTING APPLICATIONS 08-28-2008
168. 20080201355 EASILY QUERIABLE SOFTWARE REPOSITORIES - In one embodiment, tables are created in such a way that allows rich querying using standard database routines 08-21-2008
169. 20080201330 SOFTWARE REPOSITORIES - The present invention extends to methods, systems, computer program products, and data structures for software repositories 08-21-2008