Export 8 results:
Filters: Author is Ellen Munthe-Kaas  [Clear All Filters]
H. V. Hansen, F. J. Velazquez-Garcia, V. Goebel, E. Munthe-Kaas and T. Plagemann. Migration of Fine-grained Multimedia Applications In Middleware '12 Proceedings of the Posters and Demo Track, Edited by E. Wohlstadter. New York, NY, USA: ACM, 2012.
T. Plagemann, J. Andersson, O. V. Drugan, V. Goebel, C. Griwodz, P. Halvorsen, E. Munthe-Kaas, M. Puzar, N. C. Sanderson and K. Skjelsvik. Middleware Services for Information Sharing in Mobile Ad-Hoc Networks In Broadband Satellite Communication Systems and the Challenges of Mobility, Edited by T. Gayraud, M. Mazella, F. Fernandes, E. Monteiro and J. Orvalho. IFIP International Federation for Information Processing. Springer Publishing Company, 2005.
S. Gjessing, S. Krogdahl and E. Munthe-Kaas. A Top Down Approach to the Formal Specification of SCI Cache Coherence In Computer Aided Verification, 3rd International Workshop (CAV'91), Edited by K. G. Larsen and A. Skou. Lecture Notes in Computer Science. Springer-Verlag, 1992.