Editor(s): Asplund; Mikael ; Nadjm-Tehrani; Simin ; Petre; Luigia
Published: 2009-07-14
ISBN:
ISSN: 1650-3686 (print), 1650-3740 (online)
Number of pages: 76
1 Towards Dependable Placement of NoC Resources
Tsiopoulos; Leonidas
2 Reliability Assessment in Event-B Development
Tarasyuk; Anton ; Troubitsyna; Elena ; Laibinis; Linas
3 Contract-based design in controller development and its evaluation
Boström; Pontus ; Plaska; Marta ; Huova; Mikko ; Linjama; Matti ; Heikkilä; Mikko ; Sere; Kaisa ; Waldén; Marina
4 Risk Analysis of Privacy Protection in Social Networking Sites
Dahl; Heidi E. I. ; Soldal Lund; Mass ; Stølen; Ketil
5 An Authentication Framework for Nomadic Users
Ahmed; Naveed ; Damsgaard Jensen; Christian
6 Authenticating Mobile Users Using Untrusted Computers
Vapen; Anna
7 Efficiency Issues in a Switched LAN
Petre; Luigia ; Hassan; Muhammad Mustafa
8 Random Walk Gossip
Asplund; Mikael ; Nadjm-Tehrani; Simin
9 Modelling Fault Tolerance and Parallelism in Communicating Systems
Laibinis; Linas ; Troubitsyna; Elena ; Leppänen; Sari
