{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:05:23Z","timestamp":1742994323188,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030034238"},{"type":"electronic","value":"9783030034245"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03424-5_5","type":"book-chapter","created":{"date-parts":[[2018,10,30]],"date-time":"2018-10-30T13:58:12Z","timestamp":1540907892000},"page":"63-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Pitt","sequence":"first","affiliation":[]},{"given":"Kristina","family":"Milanovic","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Coupland","sequence":"additional","affiliation":[]},{"given":"Tim","family":"Allan","sequence":"additional","affiliation":[]},{"given":"Alun","family":"Davies","sequence":"additional","affiliation":[]},{"given":"Tristan","family":"Lane","sequence":"additional","affiliation":[]},{"given":"Anna Maria","family":"Malagoni","sequence":"additional","affiliation":[]},{"given":"Ankur","family":"Thapar","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Shalhoub","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,31]]},"reference":[{"key":"5_CR1","volume-title":"The Social Construction of Reality","author":"P Berger","year":"1966","unstructured":"Berger, P., Luckmann, T.: The Social Construction of Reality. Penguin Books, London (1966)"},{"key":"5_CR2","unstructured":"Bhatti, Y., del Castillo, J., Olson, K., Darzi, A.: Putting Humans at the Center of Health Care Innovation. Harvard Business Review (2018)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-319-13191-7_20","volume-title":"PRIMA 2014: Principles and Practice of Multi-Agent Systems","author":"A Bourazeri","year":"2014","unstructured":"Bourazeri, A., Pitt, J.: An agent-based serious game for decentralised community energy systems. In: Dam, H.K., Pitt, J., Xu, Y., Governatori, G., Ito, T. (eds.) PRIMA 2014. LNCS (LNAI), vol. 8861, pp. 246\u2013253. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-13191-7_20"},{"issue":"483","key":"5_CR4","doi-asserted-by":"publisher","first-page":"F419","DOI":"10.1111\/1468-0297.00077","volume":"112","author":"S Bowles","year":"2002","unstructured":"Bowles, S., Gintis, H.: Social capital and community governance. Econ. J. 112(483), F419\u2013F436 (2002)","journal-title":"Econ. J."},{"issue":"4","key":"5_CR5","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MTS.2012.2225459","volume":"31","author":"A Cavoukian","year":"2012","unstructured":"Cavoukian, A.: Privacy by design [leading edge]. IEEE Technol. Soc. Mag. 31(4), 18\u201319 (2012)","journal-title":"IEEE Technol. Soc. Mag."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Chancellor, S., Hu, A., De Choudhury, M.: Norms matter: contrasting social support around behavior change in online weight loss communities. In: Proceedings of the 36th ACM Conference on Human Factors in Computing Systems (CHI 2018) (Paper no. 666), pp. 1\u201314 (2018)","DOI":"10.1145\/3173574.3174240"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.ejvs.2003.09.012","volume":"27","author":"D Cheetham","year":"2004","unstructured":"Cheetham, D., Burgess, L., Ellis, M., Williams, A., Greenhalgh, R., Davies, A.: Does supervised exercise offer adjuvant benefit over exercise advice alone for the treatment of intermittent claudication? A randomised trial. Eur. J. Vasc. Endovasc. Surg. 27, 17\u201323 (2004)","journal-title":"Eur. J. Vasc. Endovasc. Surg."},{"issue":"3","key":"5_CR8","doi-asserted-by":"publisher","first-page":"2S","DOI":"10.1016\/j.jvs.2014.12.009","volume":"61","author":"M Conte","year":"2015","unstructured":"Conte, M., et al.: Society for vascular surgery practice guidelines for atherosclerotic occlusive disease of the lower extremities: management of asymptomatic disease and claudication. J. Vasc. Surg. 61(3), 2S\u201341S (2015)","journal-title":"J. Vasc. Surg."},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1002\/9780470281819.ch4","volume-title":"The Handbook of Information and Computer Ethics","author":"B Friedman","year":"2008","unstructured":"Friedman, B., Kahn, P., Borning, A.: Value sensitive design and information systems. In: Himma, K., Tavani, H. (eds.) The Handbook of Information and Computer Ethics, pp. 69\u2013101. Wiley, Hoboken (2008)"},{"issue":"12","key":"5_CR10","doi-asserted-by":"publisher","first-page":"68","DOI":"10.4230\/DagRep.4.12.68","volume":"4","author":"J Hillston","year":"2014","unstructured":"Hillston, J., Pitt, J., Wirsing, M., Zambonelli, F.: Collective adaptive systems: qualitative and quantitative modelling and analysis (dagstuhl seminar 14512). Dagstuhl Rep. 4(12), 68\u2013113 (2014). https:\/\/doi.org\/10.4230\/DagRep.4.12.68","journal-title":"Dagstuhl Rep."},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"A Jones","year":"1996","unstructured":"Jones, A., Sergot, M.: A formal characterisation of institutionalised power. J. IGPL 4(3), 427\u2013443 (1996)","journal-title":"J. IGPL"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4, 67\u201395 (1986)","journal-title":"New Gener. Comput."},{"issue":"4","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1016\/j.jvs.2017.02.014","volume":"65","author":"F Mazari","year":"2017","unstructured":"Mazari, F., et al.: Long-term outcomes of a randomized clinical trial of supervised exercise, percutaneous transluminal angioplasty or combined treatment for patients with intermittent claudication due to femoropopliteal disease. J. Vasc. Surg. 65(4), 1239\u20131240 (2017)","journal-title":"J. Vasc. Surg."},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"e317","DOI":"10.2196\/jmir.5927","volume":"18","author":"S Mummah","year":"2016","unstructured":"Mummah, S., Robinson, T., King, A., Gardner, C., Sutton, S.: Ideas (integrate, design, assess, and share): a framework and toolkit of strategies for the development of more effective digital interventions to change health behavior. J. Med. Internet Res. 18, e317 (2016)","journal-title":"J. Med. Internet Res."},{"key":"5_CR15","volume-title":"Usability Engineering","author":"J Nielsen","year":"1994","unstructured":"Nielsen, J.: Usability Engineering. Academic Press, San Diego (1994)"},{"key":"5_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511807763","volume-title":"Governing the Commons: The Evolution of Institutions for Collective Action","author":"E Ostrom","year":"1990","unstructured":"Ostrom, E.: Governing the Commons: The Evolution of Institutions for Collective Action. Cambridge University Press, Cambridge (1990)"},{"key":"5_CR17","unstructured":"Ostrom, E.: Beyond markets and states: polycentric governance of complex economic systems. In: Grandin, K. (ed.) Les Prix Nobel. The Nobel Prizes 2009, pp. 408\u2013444. Nobel Foundation (2010)"},{"key":"5_CR18","volume-title":"Foundations of Social Capital. An Elgar Reference Collection","author":"E Ostrom","year":"2003","unstructured":"Ostrom, E., Ahn, T.: Foundations of Social Capital. An Elgar Reference Collection. Edward Elgar Publishing, Cheltenham (2003)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-319-13191-7_2","volume-title":"PRIMA 2014: Principles and Practice of Multi-Agent Systems","author":"PE Petruzzi","year":"2014","unstructured":"Petruzzi, P.E., Busquets, D., Pitt, J.: Experiments with social capital in multi-agent systems. In: Dam, H.K., Pitt, J., Xu, Y., Governatori, G., Ito, T. (eds.) PRIMA 2014. LNCS (LNAI), vol. 8861, pp. 18\u201333. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-13191-7_2"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Peyton Young, H.: Social norms. In: Durlauf, S., Blume, L. (eds.) The New Palgrave Dictionary of Economics, 2nd edn. Palgrave Macmillan, London (2008)","DOI":"10.1057\/978-1-349-95121-5_2338-1"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/MTS.2014.2301884","volume":"33","author":"J Pitt","year":"2014","unstructured":"Pitt, J., Nowak, A.: The reinvention of social capital for socio-technical systems. IEEE Technol. Soc. Mag. 33(1), 27\u201333 (2014)","journal-title":"IEEE Technol. Soc. Mag."},{"key":"5_CR22","unstructured":"Pitt, J., Clippinger, H., Sorensen, C.: Values, axial currencies and computational axiology. IEEE Technol. Soc. Mag. (2018, to appear)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Pitt, J., Diaconescu, A.: Structure and governance of communities for the digital society. In: Workshop on Self-Improving System Integration (2015)","DOI":"10.1109\/ICAC.2015.62"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Pitt, J., Diaconescu, A.: Interactive self-governance and value-sensitive design for self-organising socio-technical systems. In: FAS* Workshop Proceedings: SASO$$^{\\mathit{ST}}$$ (2016)","DOI":"10.1109\/FAS-W.2016.20"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Valetto, G., et al.: All together now: collective intelligence for computer-supported collective action. In: 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2015, Cambridge, MA, USA, pp. 13\u201318, 21\u201325 September 2015","DOI":"10.1109\/SASOW.2015.7"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1016\/j.ijhcs.2008.08.002","volume":"66","author":"A Vasalou","year":"2008","unstructured":"Vasalou, A., Joinson, A., B\u00e4nziger, T., Goldie, P., Pitt, J.: Avatars in social media: balancing accuracy, playfulness and embodied messages. Int. J. Hum. Comput. Stud. 66, 801\u2013811 (2008)","journal-title":"Int. J. Hum. Comput. Stud."},{"key":"5_CR27","volume-title":"The Future of the Internet \u2013 And How to Stop It","author":"J Zittrain","year":"2008","unstructured":"Zittrain, J.: The Future of the Internet \u2013 And How to Stop It. Yale University Press, New Haven (2008)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03424-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,29]],"date-time":"2020-12-29T12:03:19Z","timestamp":1609243399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03424-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030034238","9783030034245"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03424-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"31 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/isola2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Equinocs","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"149","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"126","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"85% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"invitation-based event","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}