Differences

This shows you the differences between two versions of the page.

--- people [2010/07/31 15:20] – Updated stijnm
+++ people [2010/07/31 15:38] – * stijnm
@@ Line 58: / Line 58: @@
 In the past, I have contributed to the formulation of the ambient-oriented programming paradigm and have co-designed the current incarnation of AmbientTalk.  Currently, my research focus is the study of elegant mechanisms to allow applications to respond to dynamic changes in their environment.
-A first element of the solution I propose is the use of pattern matching rules to succinctly describe which changes to the environment are relevant.  This has lead to the formulation of the [[crime:factspaces|fact space model]].
+A first element of the solution I propose is the use of pattern matching rules to succinctly describe which changes to the environment are relevant.  Applying such rules over a [[crime:factspaces|federated fact space]] -- which transparently combines the information provided by all reachable devices -- proves to be a declarative means to coordinate and contextualize the behavior of distributed applications.
-The second element is the use of [[research:rp|reactive programming]]: a programming model which allows writing event-driven programs without inversion of control.
+The second element of the proposed solution is the use of [[research:rp|reactive programming]]: a programming model centered on the use of time-varying //reactive values//. Their unique //contagion// semantics allow building event-driven software without any event handlers, thus avoiding the problems engendered by inversion of control.
-Combining these two elements yields the [[research:recap|reactive context-aware programming]] paradigm, an extension of the ambient-oriented programming paradigm which is tailored for the Internet of Things.
+The approach that combines and integrates these elements is the  [[research:recap|reactive context-aware programming]] paradigm, an extension of the ambient-oriented programming paradigm which is tailored for the Internet of Things.