Advanced Mobile and Distributed Systems
Mobility and distribution was to some extent studied in the predecessor introductory course “Mobile and Distributed Systems”, and in this course we will study some of the more advanced and fundamental techniques used when developing mobile and distributed systems.
In particular we put emphasis on techniques for modelling and analysing the design of mobile and distributed systems, techniques that will allow us to formally argue about the systems correctness.
This page gives information for the course taught in fall 2007.
Latest news:
(03.01.2008) The final exam plan.
(20.12.2007) The question time on January 8 at 2pm will take place in room 2A14. (19.12.2007) The Questions Hour on 4th January at 2pm will take place in room 3A12. (05.12.2007) The curriculum has been defined as those papers in the course litteratur that has not been crossed out.
(03.12.2007) The tentative exam plan will be presented Thursday December 6 (see schedule). We encourage common project presentations, so instead of short individual presentations a group may choose to have a common, longer and more in depth presentation of the project, including for instance a demonstration of developed software.
(25.10.2007) The list of groups has been updated, now with suggestion for supervisor. Some groups still lack a project title.
(11.10.2007) NB! A clarification of the course's form of exam is found here. Summary: the project contributes substantially towards the final grade.
(11.10.2007) The tentative project groups can be found on the project proposal page. All students are expected to be member of a group October 25. Do contact Søren Debois concerning the group making.
(09.10.2007) The project proposal page has been updated with the information that final projects must be handed in no later than December 19 at 15:00.
(05.10.2007) Project proposals are up.
(12.09.2007) Slides from the presentation of the DSR protocol
(16.08.2007) The course starts on Tuesday, August 28, at 10 in lecture room 3A18 and ends at 12.
Material
Teachers:
|
