Differences

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

--- people [2010/07/27 17:14] – kpinte
+++ people [2010/07/31 15:38] – * stijnm
@@ Line 55: / Line 55: @@
 =====
 == Stijn Mostinckx ==
-[[http://soft.vub.ac.be/~smostinc|Homepage]]
-The goal of my research is the development of elegant programming models which allow applications to respond to dynamic changes in their environment. As a means to detect such changes, we explore the [[crime:factspaces|Fact Space Model]], which provides a means to reason about one's current context.
+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.  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 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.
+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.
+=====
+== Eline Philips ==
+Nomadic networks fill the gap between fixed networks and mobile ad hoc networks (MANETs) as they consist of a group of mobile devices that can move around dynamically while trying to maintain a connection with a fixed infrastructure. My research focusses on the coordination of nomadic services by making use of workflows as they provide an additional layer of abstraction such that interactions among application components can be specified on a higher level and be reused because of their loose coupling with the fine-grained application logic. Unfortunately, current workflow systems do not meet all the requirements for the kinds of applications that we envision in nomadic networks, like connection
+volatility.
+AmbientTalk is a programming language which treats disconnections at the very heart of its computational model. Moreover, the language supports dynamic service discovery which is opportune for nomadic networks. Although this language is suited for writing applications for MANETs, the orchestration of these applications is still programmed in an ad hoc manner. Complex nomadic applications that consist of asynchronously executing distributed services become hard to develop, understand and reuse. I am currently working on the addition of an abstraction layer on top of AmbientTalk which implements
+workflow patterns. I am investigating which new patterns for nomadic networks can be added to this abstraction layer. Concretely, I want support for intensional descriptions of services, group communication, compensating actions and more advanced synchronisation.
-My ongoing research investigates which abstractions can be used to handle the events produced by an implementation of the fact space model. An interesting path that I am currently exploring is the use of [[research:recap|reactive context-aware programming]].
 =====