Patents by Inventor Henricus Johannes Maria Meijer

Henricus Johannes Maria Meijer has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 9524192
    Abstract: A workflow is designated for execution across a plurality of autonomous computational entities automatically. Among other things, the cost of computation is balanced with the cost of communication among computational entities to reduce total execution time of a workflow. In other words, a balance is struck between grouping tasks for execution on a single computational entity and segmenting tasks for execution across multiple computational entities.
    Type: Grant
    Filed: May 7, 2010
    Date of Patent: December 20, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Danny van Velzen, Jeffrey van Gogh, Henricus Johannes Maria Meijer
  • Patent number: 9524323
    Abstract: Evaluating an expression tree. A method includes, at a first domain, accessing an expression tree. The expression tree comprises a plurality of nested expressions. The plurality of nested expressions spans a plurality of domains. The expressions in the expression tree are expressed in a common format in spite of the different expressions of the expression tree being intended to be evaluated by different domains. At the first domain, the method includes evaluating one or more references to local variables included in the plurality of nested expressions. The method further includes determining that one or more expressions in the plurality of expressions are to be evaluated by a different domain. The method further includes expanding the one or more expressions in the plurality of expressions to be evaluated by different domains to allow the one or more expressions to be evaluated by the different domain.
    Type: Grant
    Filed: September 5, 2012
    Date of Patent: December 20, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Colin Joseph Meek, Bart J. F. De Smet, Henricus Johannes Maria Meijer, Alexander Douglas James, Balan Sethu Raman, Rafael de Jesús Fernández Moctezuma
  • Patent number: 9503505
    Abstract: Embodiments enable the evaluation of injected queries within a monad. One or more operators with closures are received from a first process. The operators with closures represent one or more functions to be applied by a second process. The second process evaluates the received operators with closures to apply the functions within the monad. During evaluation, the second process converts the closures to simply typed closures. Further, the second process binds the converted closures within the monad to restrict execution of the functions. In some embodiments, the queries (e.g., sequences of one or more operators with closures) are composed using a set of query operators from the language integrated query (LINQ) framework encoded in uniform resource locators (URLs) in the representational state transfer (REST) style.
    Type: Grant
    Filed: June 25, 2015
    Date of Patent: November 22, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Brian Beckman, Elad Gerson, Gur Kimchi, Avi Bar-Zeev, Selvi Chennai, Henricus Johannes Maria Meijer
  • Patent number: 9477537
    Abstract: An outer event stream can be modeled to represent duration for an event with an inner event stream. The inner event stream can be generated to represent duration of at least one event from the outer event stream. By modeling the outer event stream to include duration, coincidence between two or more events can be determined. More specifically, the modeling of the outer event stream enables use of operators to identify coincidence between events from event streams.
    Type: Grant
    Filed: December 13, 2010
    Date of Patent: October 25, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: John Wesley Dyer, Jeffrey Van Gogh, Henricus Johannes Maria Meijer, Bart De Smet, Colin Joseph Meek
  • Patent number: 9460189
    Abstract: A data model can be generated by dualizing another data model. In other words, a first data model can be transformed into a second data model, wherein the second data model is a mathematical dual of the first data model. For example, a non-relational data model can be generated by dualizing a relational data model.
    Type: Grant
    Filed: September 23, 2010
    Date of Patent: October 4, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventor: Henricus Johannes Maria Meijer
  • Patent number: 9454410
    Abstract: Differing implementations associated with components of dissimilar execution environments are mediated to facilitate component integration. A host is provided to facilitate native interaction with foreign components by translating between native and foreign communications. Policies can be specified by either or both of a native and foreign component that control interaction.
    Type: Grant
    Filed: March 4, 2008
    Date of Patent: September 27, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Henricus Johannes Maria Meijer, Jeffrey Van Gogh
  • Publication number: 20160216950
    Abstract: Stateful computations are transformed into stateless computations automatically to facilitate scalability. Programmers can write code in a traditional imperative stateful style, which is subsequently transformed automatically into a stateless, state transformer monadic style. After the transformation, state is passed as an additional argument in a call and returns as a new state as an additional result.
    Type: Application
    Filed: April 4, 2016
    Publication date: July 28, 2016
    Applicant: Microsoft Technology Licensing, LLC
    Inventors: Henricus Johannes Maria Meijer, John Wesley Dyer
  • Patent number: 9400638
    Abstract: Reactive programming is facilitated. Reactive expressions can be generated automatically from non-reactive expressions or in other words standard expressions. Additionally or alternatively, reactive expressions can be optimized in a number of different ways to minimize computational work.
    Type: Grant
    Filed: November 8, 2011
    Date of Patent: July 26, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Bart De Smet, Henricus Johannes Maria Meijer
  • Publication number: 20160182592
    Abstract: Described herein is a mashing technology that facilitates mashup creation over a plurality of publish/subscribe social network data stream. These mashing techniques that are tailored to managing content from disparate social networks. As described herein, these techniques include creating and using a set of operations that facilitate the creation of “mashups” over multiple publish/subscribe social network data streams.
    Type: Application
    Filed: February 29, 2016
    Publication date: June 23, 2016
    Inventor: Henricus Johannes Maria Meijer
  • Patent number: 9350690
    Abstract: Determining user use context for electronic messaging and disseminating a subset of the user use context to recipients and/or senders of such electronic message is disclosed herein. By way of example, the user use context can be based on a general context of recipients, such as speed with which a message is disseminated or consumed, number of child messages spawned, rate at which such messages are spawned, and so on. Additionally, user use context can also be based on individual context, by comparing individual interaction to a message (e.g., time to read, time to delete, number of child messages, etc.), with a baseline usage context determined for the individual. The context can be disseminated to recipients of the message or to the sender, to provide an overview of perception of the electronic message.
    Type: Grant
    Filed: March 2, 2015
    Date of Patent: May 24, 2016
    Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
    Inventors: Henricus Johannes Maria Meijer, Dragos A. Manolescu, Matthew Jason Pope, Matthew B. MacLaurin, F. David Jones, Mary P. Czerwinski, Raymond E. Ozzie
  • Patent number: 9317255
    Abstract: Stateful computations are transformed into stateless computations automatically to facilitate scalability. Programmers can write code in a traditional imperative stateful style, which is subsequently transformed automatically into a stateless, state transformer monadic style. After the transformation, state is passed as an additional argument in a call and returns as a new state as an additional result.
    Type: Grant
    Filed: March 28, 2008
    Date of Patent: April 19, 2016
    Assignee: Microsoft Technology Licensing, LCC
    Inventors: Henricus Johannes Maria Meijer, John Wesley Dyer
  • Patent number: 9282132
    Abstract: Described herein is a mashing technology that facilitates mashup creation over a plurality of publish/subscribe social network data stream. These mashing techniques that are tailored to managing content from disparate social networks. As described herein, these techniques include creating and using a set of operations that facilitate the creation of “mashups” over multiple publish/subscribe social network data streams.
    Type: Grant
    Filed: November 25, 2014
    Date of Patent: March 8, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventor: Henricus Johannes Maria Meijer
  • Patent number: 9251284
    Abstract: A queue can store streams of data acquired from servers asynchronously based upon received data requests and subsequent subscription with respect to one or more data sources/servers. The queue can be managed for subsequent synchronous or asynchronous release of received streams of data, for example.
    Type: Grant
    Filed: December 2, 2010
    Date of Patent: February 2, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Danny Van Velzen, Jeffrey Van Gogh, Henricus Johannes Maria Meijer, Arun Sacheti, Srikanth R Ravula
  • Patent number: 9253047
    Abstract: The claimed subject matter provides a system and/or a method that facilitates re-locating a web application associated with a network service utilizing a portion of serialized data. The network service can be any collection of resources that are maintained by a party (e.g., third-party, off-site, etc.) and accessible by an identified user over a network (e.g., WAN, Internet, etc.). An interface component can receive a portion of serialized data with transparent structure related to an application specification. A hydrate component can create a web application independent of a network service based at least in part upon the serialized data, the web application has state within the network service.
    Type: Grant
    Filed: November 25, 2013
    Date of Patent: February 2, 2016
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Debi Prasad Mishra, Amit Mital, Gary W. Flake, Matthew B. MacLaurin, Alexander G. Gounares, Ira L. Snyder, Henricus Johannes Maria Meijer
  • Patent number: 9183407
    Abstract: A technique for protecting the privacy of a query is provided using permissions that may be derived from an analysis of the context of the query. A monitoring component can be provided to receive or intercept queries directed at a datastore, and a privacy component is provided that analyzes permissions associated with the queries. The privacy component can also determine access levels of the queries based on the analysis of the permissions. A response component can then be provided to answer the queries in accordance with the access levels of the queries.
    Type: Grant
    Filed: October 28, 2011
    Date of Patent: November 10, 2015
    Assignee: Microsoft Technology Licensing LLC
    Inventors: Henricus Johannes Maria Meijer, Evelyne Viegas, Savas Parastatidis, Stephen Harris Toub
  • Patent number: 9177017
    Abstract: A query specified in a source programming language can be analyzed as a function of a type-based state machine that encodes query constraints of a target programming language. The type-based state machine can encode such constraints as types representing states and methods representing transitions between states or types.
    Type: Grant
    Filed: September 27, 2010
    Date of Patent: November 3, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Bart De Smet, Henricus Johannes Maria Meijer
  • Patent number: 9170787
    Abstract: Compiler functionality is componentized to enable use across different contexts. Conventionally tightly coupled functionality is decoupled and an interface afforded to facilitate interaction with compiler components/subcomponents in various scenarios. In one instance, compiler components can be employed across compile time and runtime. Compile time functionality can be employed at runtime and runtime functionality utilized at compile time thereby blurring the line between time dimensions.
    Type: Grant
    Filed: June 27, 2008
    Date of Patent: October 27, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Avner Y. Aharoni, Henricus Johannes Maria Meijer, Timothy Yat Tim Ng, Amanda K. Silver, Paul A. Vick, Scott Daniel Wisniewski
  • Publication number: 20150295990
    Abstract: Embodiments enable the evaluation of injected queries within a monad. One or more operators with closures are received from a first process. The operators with closures represent one or more functions to be applied by a second process. The second process evaluates the received operators with closures to apply the functions within the monad. During evaluation, the second process converts the closures to simply typed closures. Further, the second process binds the converted closures within the monad to restrict execution of the functions. In some embodiments, the queries (e.g., sequences of one or more operators with closures) are composed using a set of query operators from the language integrated query (LINQ) framework encoded in uniform resource locators (URLs) in the representational state transfer (REST) style.
    Type: Application
    Filed: June 25, 2015
    Publication date: October 15, 2015
    Inventors: Brian Beckman, Elad Gerson, Gur Kimchi, Avi Bar-Zeev, Selvi Chenai, Henricus Johannes Maria Meijer
  • Publication number: 20150193533
    Abstract: In one embodiment, datasets are stored in a catalog. The datasets are enriched by establishing relationships among the domains in different datasets. A user searches for relevant datasets by providing examples of the domains of interest. The system identifies datasets corresponding to the user-provided examples. The system them identifies connected subsets of the datasets that are directly linked or indirectly linked through other domains. The user provides known relationship examples to filter the connected subsets and to identify the connected subsets that are most relevant to the user's query. The selected connected subsets may be further analyzed by business intelligence/analytics to create pivot tables or to process the data.
    Type: Application
    Filed: March 16, 2015
    Publication date: July 9, 2015
    Applicant: Microsoft Technology Licensing, LLC
    Inventors: John C. Platt, Surajit Chaudhuri, Lev Novik, Henricus Johannes Maria Meijer, Efim Hudis, Kunal Mukerjee, Christopher Alan Hays
  • Patent number: 9076125
    Abstract: Providing for graphical visualization of contextual information pertinent to electronic messaging is described herein. By way of example, contextual network usage information or messaging disposition can be determined for a set of participants to electronic communication. The contextual information is compiled into categories and organized at least as a function of category. The compiled data can be transformed into a visualization of user disposition or context and output to a user device as a multi-dimensional graphical rendering. By rendering contextual data graphically, the rich and diverse information available from usage histories, current user context and user dispositions can be output and consumed rapidly and efficiently, resulting in productive electronic interaction.
    Type: Grant
    Filed: February 27, 2009
    Date of Patent: July 7, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Dragos A. Manolescu, Matthew Jason Pope, Raymond E. Ozzie, Henricus Johannes Maria Meijer, F. David Jones, Mary P. Czerwinski