{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:52:49Z","timestamp":1725490369080},"publisher-location":"London","reference-count":8,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781846288579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-84628-858-6_82","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T17:04:33Z","timestamp":1188320673000},"page":"753-756","source":"Crossref","is-referenced-by-count":1,"title":["Determining Runtime Properties of Mobile Software Architectures"],"prefix":"10.1007","author":[{"given":"Volker","family":"Gruhn","sequence":"first","affiliation":[]},{"given":"Clemens","family":"Sch\u00e4fer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"82_CR1","doi-asserted-by":"crossref","unstructured":"P. Bracchi and V. Cortellessa. A framework to model and analyze the performability of mobile software systems. In WOSP\u2019 04: Proceedings of the 4th international workshop on Software and performance, pages 243\u2013248, New York, NY, USA, 2004. ACM Press.","DOI":"10.1145\/974044.974082"},{"key":"82_CR2","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-44685-0_6","volume-title":"Proceedings of CONCUR 2001","author":"H. Hermanns","year":"2001","unstructured":"H. Hermanns and J.-P. Katoen. Performance Evaluation:= (Process Algebra + Model Checking) \u00d7 Markov Chains. In Proceedings of CONCUR 2001, LNCS 2154, pages 59\u201381. Springer-Verlag Berlin Heidelberg, 2001."},{"key":"82_CR3","doi-asserted-by":"crossref","unstructured":"V. Issarny, F. Tartanoglu, J. Liu, and F. Sailhan. Software Architecture for Mobile Distributed Computing. In Proceedings of the Fourth Working IEEE\/IFIP Conference on Software Architecture (WICSA\u201904), pages 201\u2013210. IEEE, 2004.","DOI":"10.1109\/WICSA.2004.1310703"},{"key":"82_CR4","unstructured":"L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002."},{"issue":"1","key":"82_CR5","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"N. Medvidovic and R. N. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering, 26(1):70\u201393, 2000.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"82_CR6","doi-asserted-by":"crossref","unstructured":"F. Oquendo. \u03c0-ADL: An Architecture Description Language based on the Higher-Order Typed \u03c0-Calculus for Specifying Dynamic and Mobile Software Architectures. ACM Software Engineering Notes, 29, May 2004.","DOI":"10.1145\/986710.986728"},{"key":"82_CR7","doi-asserted-by":"crossref","unstructured":"P. Tosic. Cellular automata for distributed computing: Models of agent interaction and their implications. In IEEE Int\u2019l Conf. on Systems, Man and Cybernetics, 2005.","DOI":"10.1109\/ICSMC.2005.1571639"},{"key":"82_CR8","unstructured":"S. Zschaler. Formal specification of non-functional properties of component-based software. In J.-M. Bruel, G. Georg, H. Hussmann, I. Ober, C. Pohl, J. Whittle, and S. Zschaler, editors, Workshop on Models for Non-functional Aspects of Component-Based Software (NfC\u201904) at UML conference 2004, September 2004."}],"container-title":["Enterprise Interoperability II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84628-858-6_82.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T22:09:40Z","timestamp":1619906980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84628-858-6_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781846288579"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-84628-858-6_82","relation":{},"subject":[]}}