So the time has come to choose the theme of my masters project – but what to choose?
So fare I have “found” two interessting projects, both in the setting of Distributes systems and Semantics. The following describes the projects – if you have a suggestion to another project in this category please let me know.
- (More) efficient equivalence checking in the spi calculus
A project proposal by Hans Hüttel on the subject of design and implementation of an “efficient” bi-simulation checker for SPI-calculus based in a proof of concept implementation from a previous project [PDF]
- Distributed Service Monitoring System
A project proposal by me with inspiration from Morten Dahl and Uffe Sørensen. The project is expresses the need for a distributed scalable system to monitor online services. the DSMS system could be based on a P2P network and contain a framework for developing and designing montoring modules [PDF]