Publications from 2007

Andova, Suzana; Cremers, Cas; Gjøsteen, Kristian; Mauw, Sjouke; Mjølsnes, Stig Frode; Radomirovic, Sasa A framework for compositional verification of security protocols. Information and Computation 2007
Andresen, Steinar Hidle; Krogstie, John; Jelle, Thomas Lab and Research Activities in Wireless Trondheim. I: Proceedings of 4th IEEE International Symposium on Wireless Communication Systems 2007 (ISWCS'07): IEEE conference proceedings 2007. ISBN 1-4244-0979-9. s. 385-389
Bjørnstad, Steinar; Nord, Martin; Eriksen, Lars Erik; Tuft, Vegard Larsen; Hjelme, Dag Roar; Stol, Norvald; Kimsas, Andreas; Sudbo, A Demonstration and analysis of TV- and data transport in the OpMiGua hybrid circuit/packet switched network testbed. I: 33rd European Conference and Exhibition on Optical Communication Conference
Castejón, Humberto Nicolás; Bochmann, Gregor; Bræk, Rolv Investigating the realizability of collaboration-based service specifications: Department of Telematics, NTNU 2007. 30 s. AVANTEL Technical Report ; 3/2007
Castejón, Humberto Nicolás; Bochmann, Gregor; Bræk, Rolv Realizability of Collaboration-based Service Specifications. I: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007): IEEE Computer Society 2007. ISBN 0-7695-3057-5
Csorba, Mate Jozsef Experimenting with Dynamic Test Component Deployment in TTCN-3. I: Proceedings of the 3rd International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities and Workhops, 2007: ICST 2007. ISBN 1-4244-0739-7
Emstad, Peder Johannes; Heegaard, Poul Einar; Helvik, Bjarne Emil; Paquereau, Laurent Dependability and performance with discrete event simulation : tapir akademiske forlag 2007. 272 s.
Hallsteinsen, Steffen Gullikstad; Jørstad, Ivar; Do, Van Thanh Using the Mobile Phone as a Security Token for Unified Authentication,. I: Proceedings from Second International Conference on Systems and Networks Communications (ICSNC 2007): IEEE Computer Society 2007. ISBN 0-7695-2938-0. s. 68-74
Heegaard, Poul Einar Empirical Observations of Traffic Patterns in Mobile and IP Telephony. I: Next Generation Teletraffic and Wired/Wireless Advanced Networking: Springer Verlag 2007. ISBN 978-3-540-74832-8. s. 26-37
Heegaard, Poul Einar Evolution of Traffic Patterns in Telecommunication Systems. I: Proceedings from International Conference on Communications and Networking in China (ChinaCom 2007): IEEE conference proceedings 2007. ISBN 1-4244-1009-6. 6 s.
Heegaard, Poul Einar; Sandmann, Werner Ant-based Approach for Determining the Change of Measure in Importance Sampling. I: Proceedings of the 2007 Winter Simulation Conference: OmniPress 2007. ISBN 1-4244-1306-0. s. 412-420
Heegaard, Poul Einar; Sandmann, Werner Efficient Estimation of Loss Rates in Optical Packet Switched Networks with Wavelength Conversion. I: Proceedings from Second International Conference on Systems and Networks Communications (ICSNC 2007): IEEE Computer Society 2007. ISBN 0-7695-2938-0. 6 s.
Heegaard, Poul Einar; Sandmann, Werner Evaluating Differentiated Quality of Service Parameters in Optical Packet Switching. I: Next Generation Teletraffic and Wired/Wireless Advanced Networking: Springer Verlag 2007. ISBN 978-3-540-74832-8. s. 162-174
Herrmann, Peter Michael; Kraemer, Frank Alexander Design of Trusted Systems with Reusable Collaboration Models. IFIP International Federation for Information Processing 2007;238:317-332
Holje, Håvard; Jørstad, Ivar; Do, Van Thanh A Unified Authentication Solution for Mobile Services. I: Proceedings of the 1st ERCIM Workshop on eMobility. Coimbra: Springer Verlag 2007. ISBN 978-972-95988-9-0. s. 131-142
Jiang, Shanshan; Aagesen, Finn Arve Efficient Service Discovery System Based on Semantic Overlay Networks. I: Proceedings of the 6th International Information and Telecommunication Technologies Symposium: Fundacao Biblioteca Nacional 2007. s. 103-110
Jiang, Shanshan; Aagesen, Finn Arve Service Discovery Based on Semantic Overlay Networks. I: Proceedings of the 3rd Balkan Conference in Informatics (BCI'07)- Volume 1: Demetra Ltd 2007. ISBN 978-954-9526-41-7. s. 241-252
Jiang, Shanshan; Aagesen, Finn Arve; Ding, Hao A Self-organizing Service Discovery System Based on Semantic Overlay Networks. System and Information Sciences Notes 2007;1(3):303-309
Jørstad, Ivar; Do, Van Thanh A framework and tool for personalisation of mobile services using Semantic Web. I: Proceeding of 2007 International Conference on Mobile Data Management - Wokshops: IEEE Computer Society 2007. ISBN 1424412412. 8 s.
Jørstad, Ivar; Do, Van Thanh; Do, Van Thanh Personalised ubiquitous file access with XML Web Services. Computer Networks 2007;51(16):4655-4668
Kimsas, Andreas; Bjørnstad, Steinar; Øverby, Harald; Stol, Norvald Reservation Techniques in an OpMiGua node. I: 11th International IFIP TC6 Conference, ONDM 2007. Athens: Springer Verlag 2007. ISBN 3-540-72729-9. s. 146-155
Kraemer, Frank Alexander Arctis and Ramses: Tool Suites for Rapid Service Engineering. I: Norsk Informatikkonferanse (NIK 2007): Tapir Akademisk Forlag 2007. ISBN 978-82-519-2272-2. s. 115-118
Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. Lecture Notes in Computer Science 2007
Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. Lecture Notes in Computer Science 2007
Kraemer, Frank Alexander; Herrmann, Peter Michael Formalizing Collaboration-Oriented Service Specifications using Temporal Logic. I: Proceedings of the 2007 Networking and Electronic Conference (NAEC2007): ATSMA Inc. USA 2007. ISBN 0-9716253-0-1. s. 194-220
Kraemer, Frank Alexander; Herrmann, Peter Michael Transforming Collaborative Service Specifications into Efficiently Executable State Machines. Electronic Communications of the EASST 2007
Kristiansen, Lill Multiple interfaces, examples from telephony. DAIMI PB 2007(581)
Kryvinska, Natalia; Zinterhof, Peter; Do, Van Thanh New-emerging Service-support Model for Converged Multi-Service Network and its Practical Validation. I: Proceedings of the CISIS-2007 conference : IEEE Computer Society 2007. ISBN 0769528236. s. 100-107
Lacharité, Yannick; Wang, Maoyu; Lamont, Louise; Landmark, Lars A Simplified Approach to Multicast Forwarding Gateways in MANET. I: Proceedings of 4th IEEE International Symposium on Wireless Communication Systems 2007. Trondheim, Norway: IEEE conference proceedings 2007. ISBN 1-4244-0979-9. 5 s.
Landmark, Lars; Lacharité, Yannick; Lamont, Louise Multicast Forwarding Using Multiple Gateways and Hash for Duplicate Packet Detection in a Tactical MANET. I: Unclassified proceedings of the 2007 Military Communications Conference (MILCOM 2007): IEEE Communications Society 2007. ISBN 1-4244-1513-6
Le, Hien Nam; Nygård, Mads A Mobile Database Sharing Protocol to Increase Data Availability in Mobile Environments. Lecture Notes in Computer Science 2007;4537
Le, Hien Nam; Nygård, Mads A Transaction Model for Supporting Mobile Collaborative Works. I: Proceedings of the 2007 International Symposium on Collaborative Technologies and Systems. Orlando, Florida, USA: IEEE conference proceedings 2007. ISBN 0-9785699-1-1. 8 s.
Liu, Yong; Tham, Chen-Khong; Jiang, Yuming A Calculus for Stochastic QoS Analysis. Performance evaluation (Print) 2007;64(6):547-572
Nevin, Anne; Jiang, Yuming; Emstad, Peder Johannes MBAC Robustness to Traffic Variations: A Simulation Study. I: Proceedings of Fourth European Conference on Universal Multiservice Networks. Toulouse, France: IEEE Computer Society 2007. ISBN 978-0-7695-2768-0. s. 233-242
Pätzold, Matthias; Jiang, Yuming; Zhang, Yan Proceedings of 4th IEEE International Symposium on Wireless Communication Systems 2007 (ISWCS'07): IEEE conference proceedings 2007. ISBN 1-4244-0979-9. 843 s.
Reistad, Tord Ingolf; Toft, Tomas Secret Sharing Comparison by Transformation and Rotation. Lecture Notes in Computer Science 2007
Rossebø, Judith Ellen Yarranton; Cadzow, Scott; Sijben, Paul eTVRA, a Threat, Vulnerability and Risk Assessment Method and Tool for eEurope. I: Proceedings from the Second International Conference on Availability, Reliability and Security (ARES 2007) : IEEE Computer Society 2007. ISBN 0-7695-2775-2. s. 925-933
Rønningen, Leif Arne A Protocol Stack for Futuristic Multimedia. I: A Protocol Stack for Futuristic Multimedia. Gold Coast, Australia: International Conference On Signal Processing and Communication Systems 2007. ISBN 978-0-9756934-3-8. 9 s.
Rønningen, Leif Arne The DMP System and Physical Architecture. Trondheim, Norwary: NTNU, Dept. of telematics 2007. 88 s.
Sallhammar, Karin Stochastic Models for Combined Security and Dependability Evaluation. Trondheim: NTNU 2007. ISBN 978-82-471-3280-7. 140 s. Doktoravhandlinger ved NTNU ; 2007:150
Sanders, Richard Collaborations, Semantic Interfaces and Service Goals: a way forward for Service Engineering. Trondheim: NTNU 2007. ISBN 978-82-471-1495-7. 217 s. Doktoravhandlinger ved NTNU ; 2007:68
Stray, Petter; Jelle, Thomas; Heegaard, Poul Einar Field Test of Mobile Wi-Fi Terminals in a Wireless City. I: Norsk Informatikkonferanse (NIK 2007): Tapir Akademisk Forlag 2007. ISBN 978-82-519-2272-2. s. 165-176
Supadulchai, Paramai Reasoning-based Capability Configuration Management in Adaptable Service Systems. Trondheim: NTNU 2008. ISBN 978-82-471-6020-6. 238 s. Doktoravhandlinger ved NTNU ; 2008:10
Supadulchai, Paramai; Aagesen, Finn Arve Policy-based Adaptable Service Systems Architecture. I: Proceedings of 21st International Conference on Advanced Information Networking and Applications (AINA 2007): IEEE Computer Society 2007. ISBN 0-7695-2846-5. s. 656-665
Supadulchai, Paramai; Aagesen, Finn Arve; Thongtra, Patcharee Towards Policy-Supported Adaptable Service Systems. Lecture Notes in Computer Science 2007;1(1):128-140
Tuft, Vegard Larsen; Bjørnstad, Steinar; Hjelme, Dag Roar Automatic polarization control for packet transmission in a hybrid circuit and packet switched optical network.. IEEE Photonics Technology Letters 2007;19(19):1460-1462
Undheim, Astrid; Jiang, Yuming; Emstad, Peder Johannes Network Calculus Approach to Router Modeling with External Measurements. I: Proceedings from International Conference on Communications and Networking in China (ChinaCom 2007): IEEE conference proceedings 2007. ISBN 1-4244-1009-6
Xie, Jing; Quesada, Luis G.; Jiang, Yuming A Threshold-based Hybrid Routing Protocol for MANET. I: Proceedings of 4th IEEE International Symposium on Wireless Communication Systems 2007 (ISWCS'07): IEEE conference proceedings 2007. ISBN 1-4244-0979-9. s. 622-626
Xu, Jie; Tu, Guofang; Jiang, Yuming Unnecessary Competition in Multi-hop Wireless Networks. I: Proceedings of 4th IEEE International Symposium on Wireless Communication Systems 2007 (ISWCS'07): IEEE conference proceedings 2007. ISBN 1-4244-0979-9. s. 824-828
Øverby, Harald Traffic Modelling of Asynchronous Bufferless Optical Packet Switched Networks. Computer Communications 2007;30(6):1229-1243
Øverby, Harald Traffic models for slotted optical packet switched networks. Photonic network communications 2007;13(2):183-194