Research Descriptions 2007 - 2008 Labs & Programming

ions offering transactional guarantees in a fleeting environment. The Ambient-Oriented Exception Handling Model provides a basis from which such advanced abstractions can be constructed. Software Engineering Techniques for Data Sharing in a Mobile Network Christophe Scholliers Ambient computing, data replication, language design, CRIME [email protected] Current-day applications for mobile phones and PDAs are often limited to miniature versions of standard desktop applications such as browsers, calendar and word processing applications. Only a fraction of the available applications allows the mobile devices to interact directly with their environment. One of the reasons for this is that even for the simplest interactions between mobile devices, the implementation needs to deal with a lot of problems that are inherent to a pervasive computing environment (e.g. frequent disconnections, dynamic discovery, etc.). Last year, I have been involved in the development of (a concrete implementation of) the Fact Space Model, an extension to the tuple space model which provides finegrained control over the effects of disconnections. Using a declarative language, every device can specify how it will adjust its behavior in response to dynamic changes in its environment. Currently, I am working on an extension of this model that allows applications to work on shared and replicated data. The use of weak data replication in a mobile environment ensures that there is no need to stop an ongoing application when certain data cannot be synchronized. Modular Virtual Machines for Ambient Intelligence Stijn Timbermont Ambient intelligence, virtual machines, language engineering [email protected] In an Ambient Intelligent setting, various kinds of hardware are involved, each with its own characteristics. To allow abstraction over the different devices, a standard virtual machine approach is not feasible because it is not possible to abstract over all the devices at the same time. Instead, each device will require an individually adapted