Ellen Munthe-Kaas

• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2015). Dynamic clustering in Sparse MANETs. Computer Communications. ISSN 0140-3664. 59, p. 84–97. doi: 10.1016/j.comcom.2014.12.005. Full text in Research Archive
• Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2014). Energy saving for activity recognition through sensor selection, scheduling and sampling rate tuning, 2014 7th IFIP Wireless and Mobile Networking Conference (WMNC). IEEE Press. ISSN 9781479930609. doi: 10.1109/WMNC.2014.6878873. Full text in Research Archive
• Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2013). Towards quality and energy aware complex event processing, Wireless and Mobile Computing, Networking and Communications (WiMob), 2013 IEEE 9th International Conference on. IEEE Press. ISSN 9781479904266. p. 352–359. doi: 10.1109/WiMOB.2013.6673384. Full text in Research Archive
• Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2013). Quality and energy aware data acquisition for activity and locomotion recognition, Pervasive Computing and Communications Workshops (PERCOM Workshops), 2013 IEEE International Conference on. IEEE Press. ISSN 9781467350754. p. 493–498. doi: 10.1109/PerComW.2013.6529547. Full text in Research Archive
• Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). Energy-balanced sensor selection for social context detection. In Giordano, Silvia; Langheinrich, Marc & Schmidt, Albrecht (Ed.), 2012 IEEE International Conference on Pervasive Computing and Communications Workshops. IEEE (Institute of Electrical and Electronics Engineers). ISSN 9781467309059. p. 32–37. Full text in Research Archive
• Rodriguez-Fernandez, Daniel; Martinez-Yelmo, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). ILORIN: Identifier-LOcator Resolution for Infrastructure-less Networks. In Pujolle, Guy; Duarte, Otto & Boutaba, Raouf (Ed.), Proceedings of the 2012 International Conference on the Network of the Future (NoF'12). IEEE (Institute of Electrical and Electronics Engineers). ISSN 9781467352659. doi: 10.1109/nof.2012.6463992. Full text in Research Archive Show summary

  In order to overcome the limitations of the current Internet addressing, it is generally accepted that the Future Internet needs a separation between identifiers and network locators. Such identifier-locator split is also needed in infrastructure-less networks, such as Mobile ad hoc Networks (MANETs) and Delay Tolerant Networks, since they are an integral part of the Future Internet. Despite the amount of work in infrastructure-based networks, only a few proposals have considered how to apply this identifier-locator split in infrastructure-less networks. The contribution of this paper is an identifier-locator resolution system that can work in sparse MANETs, which are prone to network partitions. Our approach is an identifier-locator association discovery system, which uses periodic beacons to exchange the resolution information, avoiding the establishment of shared state between nodes. Our system exploits the broadcast nature of the wireless medium, opportunistic encounters, and information replication to disseminate identifier-locator associations across the network. The results of our extensive experiments demonstrate that our solution outperforms the related work, achieving a higher identifier-locator association discovery rate. association discovery system, which uses periodic beacons to exchange the resolution information, avoiding the establishment of shared state between nodes. Our system exploits the broadcast nature of the wireless medium, opportunistic encounters, and information replication to disseminate identifier-locator associations across the network. The results of our extensive experiments demonstrate that our solution outperforms the related work, achieving a higher identifier-locator association discovery rate.

• Rodriguez-Fernandez, Daniel; Martinez-Yelmo, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). Always best (dis-)connected: challenges to interconnect highly heterogeneous networks. Journal of Internet Engineering. ISSN 1791-177X. 5(1), p. 299–309. Full text in Research Archive Show summary

  Wireless networks enable mobility, multihoming, and Delay Tolerant Networks. In such networking environments, the principles of the Internet, i.e., the end-to-end principle and the combination of identity and location in IP addresses, cannot be applied. In this paper, we propose a scalable application centric approach for supporting mobility, multihoming, and interconnecting highly heterogeneous networks where the networks may belong to different networking paradigms, e.g., IP based and Delay Tolerant Networks. Applications and users that want to communicate, use communities. These communities are application specific overlays formed by entities (nodes or other communities) that want to support the application. Community members might together have several network technologies available, and the community manages internetworking information for the members to seamlessly integrate them. This integration is assisted by a community support layer that coordinates the communities with the available networks. An underlay layer common interface is used to access the different networks, allowing an implementation that considers its specific characteristics and challenges. We propose a global cryptographic based namespace for entities to enable internetworking across heterogeneous networks with different locator schemes. Identifiers are resolved to locators using a late binding approach. Furthermore, we analyse the communication challenges present in emergency and rescue operations and describe how to deal with them using our proposal.

• Hansen, Hans Vatne; Velazquez-Garcia, Francisco Javier; Goebel, Vera Hermine; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). Migration of Fine-grained Multimedia Applications. In Wohlstadter, Eric (Eds.), Proceedings of the Posters and Demo Track, Middleware '12. Association for Computing Machinery (ACM). ISSN 9781450316125. doi: 10.1145/2405153.2405165. Full text in Research Archive
• Rodriguez-Fernandez, Daniel; Martinez-Yelmo, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2011). Always Best (dis-)Connected: Challenges to Interconnect Highly Heterogeneous Networks. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 6649, p. 410–421. Full text in Research Archive
• Rodriguez-Fernandez, Daniel; Martinez, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2011). Always Best (dis-)Connected: Challenges to Interconnect Highly Heterogeneous Networks. In Masip-Bruin, Xavier; Verchere, Dominique; Tsaoussidis, Vassilis & Yannuzzi, Marcelo (Ed.), Wired/Wireless Internet Communications: 9th IFIP TC 6 International Conference, WWIC 2011, Vilanova i la Geltrú, Spain, June 15-17, 2011, Proceedings. Springer. ISSN 9783642215599. p. 410–421. doi: 10.1007/978-3-642-21560-5_34. Full text in Research Archive Show summary

  Wireless networks enable mobility, multihoming, and Delay Tolerant Networks. In such networking environments, the principles of the Internet, i.e., the end-to-end principle and the combination of location and identification in IP addresses, cannot be applied. In this paper, we propose a scalable application centric approach for mobility and multihoming that is able to interconnect highly heterogeneous networks where the networks may belong to different networking paradigms, e.g., IP based and Delay Tolerant Networks. Applications and users that aim to communicate, form communities. Community members might together have several network technologies available, and the community layer manages internetworking information for the members to seamlessly integrate these. Networking adaptation layers are used to provide a common interface for the different networks to the community layer. Addressing is based on names, cryptographic identifiers, and network locators and such that identifiers can also be created in infrastructure-less and disconnected situations.

• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2011). Detecting Communities in Sparse MANETs. IEEE/ACM Transactions on Networking. ISSN 1063-6692. 19(5), p. 1434–1447. doi: 10.1109/TNET.2011.2112376. Full text in Research Archive
• Munthe-Kaas, Ellen; Johannesen, Aslak; Puzar, Matija & Plagemann, Thomas Peter (2009). Information Sharing in Mobile Ad-hoc Networks: Metadata Management in the MIDAS Data Space. In Huang, Jiun-Long (Eds.), Tenth international conference on mobile data management: Systems, services and middleware. IEEE (Institute of Electrical and Electronics Engineers). ISSN 9780769536507. p. 252–259. Full text in Research Archive
• Puzar, Matija; Skjelsvik, Katrine S; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2009). Information Sharing in Mobile Ad-Hoc Networks: Evaluation of the MIDAS Data Space Prototype. In O'Conner, Lisa (Eds.), Proceedings of The 29th IEEE International Conference on Distributed Computing Systems Workshops. IEEE (Institute of Electrical and Electronics Engineers). ISSN 9780769536606. p. 418–424. Full text in Research Archive
• Plagemann, Thomas Peter; Skjelsvik, Katrine S; Puzar, Matija; Johannessen, Aslak; Drugan, Ovidiu Valentin & Goebel, Vera Hermine [Show all 7 contributors for this article] (2008). Cross-Layer Overlay Synchronization in Sparse MANETs. In Friedrich, F. & Walle, B. Van de (Ed.), Proceedings of the 5th International Conference on Information Systems for Crisis Response and Management (ISCRAM2008). Captus Press Inc.. ISSN 9780615206974. p. 546–555. Full text in Research Archive
• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2007). Non-intrusive Neighbor Prediction in Sparse MANETs. In Raghunathan, Vijay (Eds.), Sensor, Mesh and Ad Hoc Communications and Networks, 2007. SECON '07. 4th Annual IEEE Communications Society Conference on Publication. IEEE Sarnoff Symposium. ISSN 9781424412686. Full text in Research Archive
• Plagemann, Thomas Peter; Munthe-Kaas, Ellen; Skjelsvik, Katrine S; Puzar, Matija; Goebel, Vera Hermine & Johansen, Ulrik Albert [Show all 8 contributors for this article] (2007). A Data Sharing Facility for Mobile Ad-Hoc Emergency and Rescue Applications. In Liu, Ling (Eds.), 27th International Conference on Distributed Computing Systems - Workshops (ICDCS Workshops 2007). IEEE (Institute of Electrical and Electronics Engineers). ISSN 9780769528380. Full text in Research Archive
• Plagemann, Thomas Peter; Munthe-Kaas, Ellen & Goebel, Vera Hermine (2007). Reconsidering Consistency Management in Shared Data Spaces for Emergency and Rescue Applications. In Jarke, Matthias; Seidl, Thomas; Quix, Christoph; Kensche, David; Conrad, Stefan; Rahm, Erhard; Klamma, Ralf; Kosch, Harald; Granitzer, Michael; Apel, Sven; Rosenmüller, Marko; Saake, Gunter & Spinczyk, Olaf (Ed.), Datenbanksysteme in Business, Technologie und Web (BTW 2007), Workshop Proceedings. Verlagshaus Mainz. ISSN 9783861309291. p. 307–316. Full text in Research Archive
• Skjelsvik, Katrine S; Lekova, Anna; Goebel, Vera Hermine; Munthe-Kaas, Ellen; Plagemann, Thomas Peter & Sanderson, Norun Christine (2006). Supporting Multiple Subscription Languages by a Single Event Notification Overlay in Sparse MANETs. In Chrysanthis, Panos; Jensen, Christian S.; Kumar, Vijay & Labrinidis, Alexandros (Ed.), Proceedings of the Fifth ACM International Workshop on Data Engineering for Wireless and Mobile Access. ACM Publications. ISSN 9781595934369. p. 67–74. Full text in Research Archive
• Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2006). Ontology Based Dynamic Updates in Sparse Mobile Ad-hoc Networks for Rescue Scenarios. In Hua, Kien & Kitsuregawa, Masaru (Ed.), Proceedings of the 7th International Conference on Mobile Data Management (MDM'06). IEEE (Institute of Electrical and Electronics Engineers). ISSN 9780769525266. Full text in Research Archive
• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Predicting Time Intervals for Resource Availability in MANETs. Proceedings of the IEEE. ISSN 0018-9219. 2, p. 32–37. doi: 10.1109/SUTC.2006.107. Full text in Research Archive
• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Resource Aware Middleware Services Over MANETs. IEEE Infocom. Proceedings. ISSN 0743-166X. doi: 10.1109/INFOCOM.2006.66. Full text in Research Archive
• Gagnes, Tommy; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). A Conceptual Service Discovery Architecture for Semantic Web Services in Dynamic Environments. In Liu, Ling; Reuter, Andreas; Whang, Kyu-Young & Zhang, Jianjun (Ed.), Proceedings of the 22nd International Conference on Data Engineering. IEEE (Institute of Electrical and Electronics Engineers). ISSN 9780769525709. p. 74–74. Full text in Research Archive
• Munthe-Kaas, Ellen; Drugan, Ovidiu Valentin; Goebel, Vera Hermine; Plagemann, Thomas Peter; Puzar, Matija & Sanderson, Norun Christine [Show all 7 contributors for this article] (2006). Mobile middleware for rescue and emergency scenarios. In Bellavista, Paolo & Corradi, Antonio (Ed.), The Handbook of Mobile Middleware. CRC Press. ISSN 9780849338335. p. 1291–1320. Full text in Research Archive
• Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2005). Metadata Management for Ad-Hoc InfoWare - A Rescue and Emergency Use Case for Mobile Ad-Hoc Scenarios. In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. LNCS 3761. ISBN 3-540-29738-3. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. p. 1365–1380. Full text in Research Archive
• Plagemann, Thomas Peter; Andersson, Jon; Drugan, Ovidiu Valentin; Goebel, Vera Hermine; Griwodz, Carsten & Halvorsen, Pål [Show all 10 contributors for this article] (2005). Middleware Services for Information Sharing in Mobile Ad-Hoc Networks. In Gayraud, Thierry (Eds.), Broadband Satellite Communication Systems and the Challenges of Mobility. Springer Publishing Company. ISSN 9780387239934. p. 225–236. Full text in Research Archive
• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Building resource aware middleware services over MANET for rescue and emergency applications. Proceedings of the IEEE. ISSN 0018-9219. Full text in Research Archive
• Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1992). A Top Down Approach to the Formal Specification of SCI Cache Coherence. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 575. Full text in Research Archive
• Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1992). A Top Down Approach to the Formal Specification of SCI Cache Coherence. In Larsen, Kim Guldstrand & Skou, Arne (Ed.), Computer Aided Verification. Springer. ISSN 9780387551791. p. 83–91. Full text in Research Archive

View all works in NVA

• Munthe-Kaas, Ellen; Fallmyr, Terje; Bjørnestad, Solveig; Hadjerrouit, Said; Krogdahl, Stein & Manne, Fredrik [Show all 9 contributors for this article] (2000). Norsk Informatikkonferanse NIK'2000. Tapir Akademisk Forlag. ISBN 9788273143082. 234 p. Full text in Research Archive

View all works in NVA

• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2007). Non-intrusive Neighbor Prediction in Sparse MANETs. Full text in Research Archive
• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Resource aware middleware services over MANET. Full text in Research Archive
• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Predicting Time Intervals for Resource Availability in MANETs. Full text in Research Archive
• Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2006). Ontology Based Dynamic Updates in Sparse Mobile Ad-hoc Networks for Rescue Scenarios in MDM '06: Proceedings of the 7th International Conference on Mobile Data Management (MDM'06), IEEE Computer Society, ISBN 0-7695-2526-1. Full text in Research Archive
• Munthe-Kaas, Ellen (2005). Mobile middleware for rescue and emergency scenarios - challenges and approach. Full text in Research Archive Show summary

  Information sharing is a mission critical key element in rescue and emergency operations. Mobile ad-hoc networks (MANETs) could provide a useful infrastructure to support information sharing, but appropriate applications are needed. To facilitate efficient application development for this type of infrastructure, middleware support is needed. In the Ad-Hoc InfoWare project, we are currently developing corresponding middleware services. In this talk we discuss the application requirements that are imposed onto the middleware services, and we outline our technical approach to address the corresponding challenges. The architecture we propose comprises five main building blocks, namely knowledge management, a local and a distributed event notification service, resource management, and security and privacy management. In the talk we will give some particular attention to the knowledge management component.

• Gagnes, Tommy; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Discovering Semantic Web Services in Dynamic Environments. Full text in Research Archive
• Gagnes, Tommy; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Discovering Semantic Web Services in Dynamic Environments. Full text in Research Archive
• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Building resource aware middleware services over MANET for rescue and emergency applications. Full text in Research Archive
• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Building resource aware middleware services over MANET for rescue and emergency applications. Full text in Research Archive
• Munthe-Kaas, Ellen (2005). The personal health assistant scenario, case: Martijn. Full text in Research Archive
• Munthe-Kaas, Ellen (2005). Context management in MANETs. Full text in Research Archive
• Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2005). Metadata Management for Ad-Hoc InfoWare - A Rescue and Emergency Use Case for Mobile Ad-Hoc Scenarios. In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. Lecture Notes in Computer Science 2005(3761):1365-1380. ISBN 3-540-29738-3. Full text in Research Archive
• Plagemann, Thomas Peter; Andersson, Jon; Drugan, Ovidiu Valentin; Goebel, Vera Hermine; Griwodz, Carsten & Halvorsen, Pål [Show all 10 contributors for this article] (2004). Middleware Services for Information Sharing in Mobile Ad-hoc Networks - Challenges and Approach. Full text in Research Archive
• Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2004). Knowledge Management in Mobile Ad-hoc Networks for Rescue Scenarios. Full text in Research Archive
• Johnsen, Einar Broch; Owe, Olaf; Munthe-Kaas, Ellen & Vain, Juri (2001). Incremental Fault-Tolerant Design in an Object Oriented Setting. Full text in Research Archive
• Munthe-Kaas, Ellen (1996). Detecting livelock properties in graphs. Full text in Research Archive
• Munthe-Kaas, Ellen (1996). The PVS Specification and Verification System. Full text in Research Archive
• Munthe-Kaas, Ellen (1994). Formal Specification and Verification of Concurrent, Asynchronous Message-Passing Systems: Report from a Major Test Case. Full text in Research Archive
• Munthe-Kaas, Ellen (1993). A pi-Calculus Formal Definition of Memory Consistency. Full text in Research Archive
• Gjessing, Stein; Krogdahl, S & Munthe-Kaas, Ellen (1991). A Top Down Approach to the Formal Specification of SCI Cache Coherence. Full text in Research Archive
• Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1991). On Verifying a Linked List System based on Message Passing. Full text in Research Archive
• Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1991). A Linked List Cache Coherence Protocol: Verifying the Bottom Layer. Full text in Research Archive
• Gjessing, Stein; Johansen, Sverre; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Fast Distribution of Information in SCI-like Cache Protocols. Full text in Research Archive
• Gjessing, Stein & Munthe-Kaas, Ellen (1989). Trace Based Verification of Parallel Programs with Shared Variables. Full text in Research Archive
• Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1989). Formal Specification and Verification of SCI Cache Coherence. Full text in Research Archive
• Gjessing, Stein & Munthe-Kaas, Ellen (1988). Verification of Parallel Programs with Shared Variables and Critical Regions. Full text in Research Archive
• Munthe-Kaas, Ellen (2014). A Note on the Complexity of Some Quality of Information Optimisation Problems in Sensor Networks. Universitetet i Oslo. ISSN 9788273684066. Full text in Research Archive Show summary

  We prove that a selection of quality of information optimisation problems related to event detection in sensor networks are NP-hard.

• Rodriguez-Fernandez, Daniel; Kristiansen, Stein; Lindeberg, Morten Gunnar Bjørner; Drugan, Ovidiu Valentin; Cabrero, Sergio & Plagemann, Thomas Peter [Show all 10 contributors for this article] (2012). Delay Tolerant Streaming in Rescue Scenarios: Requirements Analysis and Resulting Industrial Issues - Version 2. Universitetet i Oslo. ISSN 9788273683823. Full text in Research Archive Show summary

  In emergency intervention and rescue operations, the coordination and collaboration of the rescue personnel is highly important for the success of the mission. Data networks formed between the devices carried by the rescue personnel can provide the means for collaboration and coordination on the operation scene. Unfortunately, the unforeseeable conditions and characteristics (e.g., size of the scene, availabilities of access ways for the rescue personnel, availability and status of the infrastructure) of the rescue operations can hinder (e.g., intermittently unavailable network infrastructure) and disrupt (e.g., network partitions) communication of data networks. Even in these adverse conditions coordination and collaboration need to be enabled between the participants of the rescue operation. In this technical report we analyse the usage of streaming services (data, audio and video) to improve coordination and collaboration tasks in rescue and emergency operations. We present a detailed requirement analysis for middleware services that support streaming of data, imposed by this application domain from a research and an industrial perspective. For this purpose, we present two rescue scenarios, which helped us perform the requirements analysis for supporting streaming in intermittently connected networks. Additionally, we also present an example from a middleware for streaming voice traffic within large organizations with multiple working sites. Although these examples might seem different, they have similar requirements considering the availability and awareness of network resources.

• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2009). Non‐intrusive Clustering in Dynamic Networks. Universitetet i Oslo. ISSN 9788273683427. Full text in Research Archive
• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter; Goebel, Vera Hermine; Munthe-Kaas, Ellen; Omang, Knut & Kamwendo, Kennedy Samuel [Show all 9 contributors for this article] (2009). Delay Tolerant Streaming in Rescue Scenarios: Requirements Analysis and Resulting Industrial Issues. Universitetet i Oslo. ISSN 9788273683496. Full text in Research Archive
• Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2008). A Communication Non-Intrusive Middleware for Resource Management in Sparse Mobile Ad-Hoc Networks. Universitetet i Oslo. Full text in Research Archive
• Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2008). Network Wide Information Sharing in Rescue and Emergency Situations. Universitetet i Oslo. Full text in Research Archive
• Plagemann, Thomas Peter; Skjelsvik, Katrine S; Puzar, Matija; Drugan, Ovidiu Valentin; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2007). Using routing information to optimize synchronization of replicated event notification mediators in sparse MANETs. Universitetet i Oslo. Full text in Research Archive Show summary

  Mobile Ad-Hoc Networks maintain information about reachable nodes in the routing table. In many application scenarios, human groups play an important role. This is visible at the network level as independent network partitions which are for some time stable before their members change through merging or partitioning. We use the information from stable routing tables to optimize the synchronization of Mediators in our Distributed Event Notification System. In a stable partition each node has the same information, thus a single Mediator can efficiently coordinate the synchronization, while all other Mediators just receive updates. We show in our experiments that just a few seconds are needed until routing tables stabilize and all nodes have a common view of the partition. We present a heuristic which each individual node uses to determine the proper time to synchronize. Furthermore, we show how exceptions, like disappearing coordinating Mediators and unexpected messages, can be efficiently handled.

• Sanderson, Norun Christine; Skjelsvik, Kathrine Stemland; Drugan, Ovidiu Valentin; Puzar, Matija; Goebel, Vera Hermine & Munthe-Kaas, Ellen [Show all 7 contributors for this article] (2007). Developing mobile middleware : an analysis of rescue and emergency operations. Universitetet i Oslo. Full text in Research Archive Show summary

  The coordination and collaboration of the personnel from various organisations involved in a rescue operation is important for a successful operation. Data networks can facilitate effective collaboration by providing an efficient and continuous flow of information at the accident scene (i.e., among rescue personnel) and with the outside world (i.e., headquarters of the rescue operation). Unfortunately, this is not easy to achieve because in many cases the infrastructure is not available or not working. If we can assume that all the rescue personnel is carrying a mobile computing device enabled for wireless communication, these devices can provide the necessary network infrastructure. The devices can create Sparse Mobile Ad Hoc Networks (Sparse MANETs), which can provide a best effort infrastructure for information flow, i.e., data sharing and dissemination. These types of networks are very dynamic in terms of network resource availability, e.g., bandwidth or connectivity between nodes. Additionally, the devices can be heterogeneous in terms of available hardware and software resources. Another source of heterogeneity is the way a device is used; this is determined by the affiliation of the end-user and its role. In such an environment, software applications need middleware support in order to best use the infrastructure provided by the Sparse MANET. In the Ad-Hoc InfoWare and MIDAS projects, we develop corresponding middleware services. In this paper, we present a detailed requirement analysis for middleware services imposed by the application domain. To understand better the impact of the application domain, we have analysed the structures of organisations and the intra-/inter-organisation interactions during a rescue operation. We present three different rescue scenarios, which helped us perform a detailed requirements analysis for the middleware components. We have also identified the technical challenges imposed by the highly dynamic environment. We propose a middleware framework composed of four services; knowledge manager, distributed event notification service with watchdogs’ component, resource manager, and security manager. The requirements presented here shaped our design decisions for these building blocks.

• Pires, Luis Ferreira & Munthe-Kaas, Ellen (2005). Techniques for describing and manipulating context information. Freeband A-Muse Project. Full text in Research Archive
• Johnsen, Einar Broch; Owe, Olaf; Munthe-Kaas, Ellen & Vain, Juri (2000). Incremental Design of Dependable Systems in OUN. Institutt for informatikk. ISSN 9788273682420. Full text in Research Archive Show summary

  With the increasing emphasis on dependability in complex, distributed or object-oriented systems, it is essential that system development can be done gradually and at different levels of detail. In this paper the treatment of faults is considered as a refinement process on specifications. An intolerant system specification is then a natural level of abstraction from which a fault-tolerant system can be developed in a stepwise manner. With each refinement step a fault and its treatment are introduced into the specification, so the fault-tolerance of the system increases during the design process. Different types of faults are identified and given separate refinement relations depending on how the tolerant system relates to abstract properties of the intolerant one in terms of safety and liveness. The specification language OUN utilized is based upon communication sequences (traces) between objects and first-order predicates on these traces. Criteria are defined for reasoning about liveness with sets of finite traces. Fault-tolerance refinement relations are precisely defined within this framework.

• Munthe-Kaas, Ellen (1996). Detecting livelock properties in protocols. OMI/MACRAME Project. Full text in Research Archive
• Munthe-Kaas, Ellen (1995). The Larch Prover and the Prototype Verification System. OMI/MACRAME Project. Full text in Research Archive
• Gjessing, Stein & Munthe-Kaas, Ellen (1991). Formal Specification of Cache Coherence in a Shared Memory Multiprocessor. Universitetet i Oslo. Full text in Research Archive
• Krogdahl, Stein & Munthe-Kaas, Ellen (1991). Oppgaver og notater til IN 210. Institutt for informatikk. Full text in Research Archive
• Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Approaching Verification of the SCI Cache Coherent Protocol. Dep. of Informatics, University of Oslo. ISSN 9788273680518. Full text in Research Archive Show summary

  SCI is intended as an IEEE standard regulating how a number of processors with local caches should communicate to produce the illusion of accessing a common memory. This paper considers techniques for verifying that certain parts of the SCI-standard will work as intended.

• Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). A Top Down Approach to the Formal Specification of SCI Cache Coherence. ISSN 9788273680525. Full text in Research Archive Show summary

  Scalable Coherent Interface (SCI) is a bus defined by an IEEE working group. Ther purpose of SCI is to be the interconnect in future shared memory multiprocessors. This report describes a layered approach to the specification of this cache coherence protocol.

• Gjessing, Stein; Krogdahl, S & Munthe-Kaas, Ellen (1990). Approaching Verification of the SCI Cache Coherence Protocol. Universitetet i Oslo. Full text in Research Archive
• Gjessing, Stein & Munthe-Kaas, Ellen (1990). Parallel Composition of Observable Processes with Shared Variables. Universitetet i Oslo. Full text in Research Archive
• Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Formal Specification and Verification of SCI Cache Coherence. Universitetet i Oslo. Full text in Research Archive
• Munthe-Kaas, Ellen (1986). Rules for Coroutines and Recursive Procedures in Non-Deterministic Goto-Programs. Universitetet i Oslo. Full text in Research Archive

View all works in NVA