乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T20:31:56Z","timestamp":1720470716720},"reference-count":26,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1016\/j.future.2015.10.011","type":"journal-article","created":{"date-parts":[[2015,11,14]],"date-time":"2015-11-14T13:46:03Z","timestamp":1447508763000},"page":"121-123","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Nature-inspired computation and communication: A formal approach"],"prefix":"10.1016","volume":"56","author":[{"given":"Phan Cong","family":"Vinh","sequence":"first","affiliation":[]},{"given":"Emil","family":"Vassev","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.future.2015.10.011_br000005","series-title":"The 1st International Conference on Nature of Computation and Communication, ICTCC 2014","first-page":"381","volume":"vol. 144","year":"2015"},{"key":"10.1016\/j.future.2015.10.011_br000010","series-title":"Proceedings of the 18th International Software Product Line Conference - Volume 1, SPLC\u201914","first-page":"2","article-title":"Self-adaptive systems, services, and product lines","author":"Baresi","year":"2014"},{"key":"10.1016\/j.future.2015.10.011_br000015","series-title":"Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS\u201913","first-page":"143","article-title":"High-quality specification of self-adaptive software systems","author":"Luckey","year":"2013"},{"issue":"3","key":"10.1016\/j.future.2015.10.011_br000020","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1016\/j.future.2011.03.002","article-title":"Morphological approach for autonomous and adaptive systems based on self-reconfigurable modular agents","volume":"28","author":"Yeom","year":"2012","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.future.2015.10.011_br000025","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.future.2015.07.016","article-title":"ARMCO: Advanced topics in resource management for ubiquitous cloud computing: An adaptive approach","volume":"54","author":"Pop","year":"2016","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.future.2015.10.011_br000030","series-title":"Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, C3S2E\u201912","first-page":"113","article-title":"Knowledge representation for self-adaptive behavior","author":"Vassev","year":"2012"},{"key":"10.1016\/j.future.2015.10.011_br000035","series-title":"Proceedings of the International C* Conference on Computer Science and Software Engineering, C3S2E\u201913","first-page":"31","article-title":"Autonomy requirements engineering: A case study on the Bepicolombo mission","author":"Vassev","year":"2013"},{"key":"10.1016\/j.future.2015.10.011_br000040","series-title":"Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, C3S2E\u201912","first-page":"67","article-title":"A survey of formal methods in self-adaptive systems","author":"Weyns","year":"2012"},{"key":"10.1016\/j.future.2015.10.011_br000045","series-title":"Proceedings of the 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW\u201914","first-page":"20","article-title":"A goal model for collective adaptive systems","author":"Bucchiarone","year":"2014"},{"key":"10.1016\/j.future.2015.10.011_br000050","series-title":"Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp\u201915","first-page":"893","article-title":"Collective adaptive systems","author":"Ferscha","year":"2015"},{"issue":"5","key":"10.1016\/j.future.2015.10.011_br000055","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1007\/s11036-014-0529-4","article-title":"Self-adaptation in collective adaptive systems","volume":"19","author":"Vinh","year":"2014","journal-title":"Mobile Netw. Appl."},{"key":"10.1016\/j.future.2015.10.011_br000060","series-title":"Proceedings of the 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW\u201914","first-page":"6","article-title":"2nd FOCAS Workshop on Fundamentals of Collective Adaptive Systems","author":"Cabri","year":"2014"},{"key":"10.1016\/j.future.2015.10.011_br000065","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1016\/j.future.2013.07.009","article-title":"CoCaMAAL: A cloud-oriented context-aware middleware in ambient assisted living","volume":"35","author":"Forkan","year":"2014","journal-title":"Future Gener. Comput. Syst."},{"issue":"4","key":"10.1016\/j.future.2015.10.011_br000070","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/j.future.2011.09.004","article-title":"Supporting ubiquitous sensor-cloudlets and context-cloudlets: Programming compositions of context-aware systems for mobile users","volume":"28","author":"Loke","year":"2012","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.future.2015.10.011_br000075","doi-asserted-by":"crossref","unstructured":"V. Alagar, M. Mohammad, K. Wan, S.A. Hnaide, A framework for developing context-aware systems, EAI Endorsed Trans. Context Aware Syst. Appl. 14 (1). http:\/\/dx.doi.org\/10.4108\/casa.1.1.e2.","DOI":"10.4108\/casa.1.1.e2"},{"key":"10.1016\/j.future.2015.10.011_br000080","doi-asserted-by":"crossref","unstructured":"N. Khabou, I.B. Rodriguez, M. Jmaiel, Context analysis approach for context-aware applications deployed on pervasive environments, EAI Endorsed Trans. Context Aware Syst. Appl. 15 (4). http:\/\/dx.doi.org\/10.4108\/eai.4-8-2015.150041.","DOI":"10.4108\/eai.4-8-2015.150041"},{"key":"10.1016\/j.future.2015.10.011_br000085","doi-asserted-by":"crossref","unstructured":"Y. Watanabe, S. Matsumoto, S. Saiki, M. Nakamura, Applying log data to context-awareness in home network system, EAI Endorsed Trans. Context Aware Syst. Appl. 15 (3). http:\/\/dx.doi.org\/10.4108\/casa.2.3.e3.","DOI":"10.4108\/casa.2.3.e3"},{"key":"10.1016\/j.future.2015.10.011_br000090","doi-asserted-by":"crossref","unstructured":"P.T. Nguyen, V. Schau, W.R. Rossak, Mobile agent communication in highly dynamic networks: A self-adaptive architecture inspired by the honey bee colony, EAI Endorsed Trans. Context Aware Syst. Appl. 14 (2). http:\/\/dx.doi.org\/10.4108\/casa.1.2.e5.","DOI":"10.4108\/casa.1.2.e5"},{"key":"10.1016\/j.future.2015.10.011_br000095","doi-asserted-by":"crossref","unstructured":"L.G. Montan\u00ea-Jim\u00eanez, E. Ben\u00eetez-Guerrero, C. Mezura-Godoy, Towards a context-aware framework for improving collaboration of users in groupware systems, EAI Endorsed Trans. Context Aware Syst. Appl. 14 (1). http:\/\/dx.doi.org\/10.4108\/casa.1.1.e4.","DOI":"10.4108\/casa.1.1.e4"},{"key":"10.1016\/j.future.2015.10.011_br000100","doi-asserted-by":"crossref","unstructured":"N. Ibrahim, V. Alagar, M. Mohammmed, A context-dependent service model, EAI Endorsed Trans. Context Aware Syst. Appl. 14 (2). http:\/\/dx.doi.org\/10.4108\/casa.1.2.e3.","DOI":"10.4108\/casa.1.2.e3"},{"key":"10.1016\/j.future.2015.10.011_br000105","doi-asserted-by":"crossref","unstructured":"H.A. Le, N.T. Truong, Formal modeling and verification of context-aware systems using event-B, EAI Endorsed Trans. Context Aware Syst. Appl. 14 (2). http:\/\/dx.doi.org\/10.4108\/casa.1.2.e4.","DOI":"10.4108\/casa.1.2.e4"},{"key":"10.1016\/j.future.2015.10.011_br000110","doi-asserted-by":"crossref","unstructured":"T.N. Nguyen, A.T. Nguyen, Enrichment of multi-criteria communities for context-aware recommendations, EAI Endorsed Trans. Context Aware Syst. Appl. 14\u00a0(1). http:\/\/dx.doi.org\/10.4108\/casa.1.1.e3.","DOI":"10.4108\/casa.1.1.e3"},{"key":"10.1016\/j.future.2015.10.011_br000115","doi-asserted-by":"crossref","unstructured":"B. Boudaa, S. Hammoudi, A. Bouguessa, L.A. Mebarki, M.A. Chikh, On sustaining dynamic adaptation of context-aware services, EAI Endorsed Trans. Context Aware Syst. Appl. 15\u00a0(3). http:\/\/dx.doi.org\/10.4108\/casa.2.3.e4.","DOI":"10.4108\/casa.2.3.e4"},{"key":"10.1016\/j.future.2015.10.011_br000120","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1016\/j.future.2015.09.013","article-title":"Logic-based modeling of information transfer in cyber-physical multi-agent systems","volume":"56","author":"Kroi\u00df","year":"2016","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.future.2015.10.011_br000125","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1016\/j.future.2015.04.017","article-title":"Concurrency of self-* in autonomic systems","volume":"56","author":"Vinh","year":"2016","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.future.2015.10.011_br000130","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/j.future.2015.09.007","article-title":"Formalization and analysis of the REST architecture from the process algebra perspective","volume":"56","author":"Wu","year":"2016","journal-title":"Future Gener. Comput. Syst."}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X15003246?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X15003246?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T07:17:09Z","timestamp":1572679029000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167739X15003246"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":26,"alternative-id":["S0167739X15003246"],"URL":"https:\/\/doi.org\/10.1016\/j.future.2015.10.011","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[2016,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Nature-inspired computation and communication: A formal approach","name":"articletitle","label":"Article Title"},{"value":"Future Generation Computer Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.future.2015.10.011","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2015 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}