people
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
people [2008/06/17 11:44] – cfscholl | people [2008/06/25 23:09] – wdmeuter | ||
---|---|---|---|
Line 9: | Line 9: | ||
== Prof. Dr. Wolfgang De Meuter == | == Prof. Dr. Wolfgang De Meuter == | ||
+ | [[ http:// | ||
+ | |||
+ | |||
===== | ===== | ||
Line 45: | Line 48: | ||
in its environment. Currently, I am working on an extension of this model that allows applications to work on shared and replicated data. | 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. | 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. | ||
+ | |||
===== | ===== | ||
== Stijn Timbermont == | == Stijn Timbermont == | ||
+ | |||
+ | 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 virtual machine. | ||
+ | |||
+ | This reseach proposes a new way to develop virtual machines for Ambient Intelligence. Instead of manually modifying the virtual machine for of a particular device, the virtual machine can be generated by composing reusable modules. The first step is to determine the set of modules that can be used to build a virtual machine. The next step is to find implementation and composition techniques that guarantee the correctness and efficiency of the generated virtual machine. | ||
===== | ===== | ||
Line 56: | Line 64: | ||
===== | ===== | ||
- | == Tom Van Cutsem == | + | == Dr. Tom Van Cutsem == |
[[http:// | [[http:// | ||
people.txt · Last modified: 2018/04/12 22:07 by elisag