next up previous contents
Next: c) Information Systems Up: Selection of Master's Theses 1996-1998 Previous: a) General Computer Science

b) Computer Software

1996

Heikki Helin: A Description Language for Generic Events in the Mowgli System. C-1996-88.

Nina Hutteger: Short Message Service in the Mowgli Architecture. C-1996-102.

Jani Kiiskinen: A Protocol Adapted for Wireless Data Communication and Its Performance when Compared to the TCP/IP Protocol. C-1996-74.

Oskari Koskimies: An Agent-Oriented Application Framework in the Mowgli Architecture. C-1996-87.

Petteri Lappalainen: Process Migration in a Fault-Tolerant Real-Time System. C-1996-86.

Mika Liljeberg: Performance of World-Wide-Web over a Cellular Telephone Network. C-1996-51.

Jussi Ollikainen: Implementation of a TINA Communication Session in an ATM Network. C-1996-34.

Timo Sivonen: Security Management on Distributed Systems. C-1996-37.

1997

Leif Björklund: Mobile Internet Packet Routing with Cellular Networks. C-1997-73.

Max Hamberg: ODP Viewpoint Specifications as a Methodology. C-1997-30.

Mika Hatanpää: Software Reuse. C-1997-64.

Vesa Karhu: Manual Verification of Message Passing Algorithms with the Use of Temporal Logic. C-1997-62.

Petteri Kaskenpalo: Data Security in the Mowgli Architecture. C-1997-52.

Esko Koskimaa: Meta Facilities in Object-Oriented Languages. C-1997-86.

Ville Lavonius: Implementation of POSIX/DMX Coworking in the DX200 System. C-1997-35.

Sami Lilja: Adapting the DX-200 Software for the Chorus Microkernel. C-1997-58.

Matti Luukkainen: Applying Process Algebras in Modelling and Verifying Data Security. C-1997-3.

Samu Paajanen: Use Cases in System Testing. C-1997-20.

Mikko Puuskari: Standardization Framework for Slow Wireless Link Protocols in an Indirect Architecture. C-1997-74.

Marita Raja: The Mobile-Connection Host Management in the Mowgli System. C-1997-90.

Quanyi Sun: Testing Real-Time Embedded Software. C-1997-80.

Timo Suominen: Analysis of Embedded SQL in the HyperSoft System. C-1997-44.

Janne-Pekka Surakka: A Global Mailbox-Service for Intelligent Telephones. C-1997-54.

Linus Torvalds: Linux: A Portable Operating System. C-1997-12.

Katri Turunen: A Distributed Memory-File System Based on the Virtual Memory Concept. C-1997-77.

Antti Viljamaa: Graphical Simulation of Data Communication Protocols. C-1997-4.

Jukka Viljamaa: Interpretation of the Protocol Language Kannel. C-1997-21.


next up previous contents
Next: c) Information Systems Up: Selection of Master's Theses 1996-1998 Previous: a) General Computer Science