A formalized framework for mobile cloud computing
Mobile Cloud Computing (MCC) is an emerging paradigm to transparently provide support for demanding tasks on resource-constrained mobile devices by relying on the integration with remote cloud services. Research in this field is tackling the multiple conceptual and technical challenges (e.g., how an...
Saved in:
| Published in: | Service oriented computing and applications Vol. 9; no. 3-4; pp. 229 - 248 |
|---|---|
| Main Authors: | , , , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
London
Springer London
01.09.2015
|
| Subjects: | |
| ISSN: | 1863-2386, 1863-2394 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | Mobile Cloud Computing (MCC) is an emerging paradigm to transparently provide support for demanding tasks on resource-constrained mobile devices by relying on the integration with remote cloud services. Research in this field is tackling the multiple conceptual and technical challenges (e.g., how and when to offload) that are hindering the full realization of MCC. The Networked Autonomic Machine (NAM) framework is a tool that supports and facilitates the design networks of hardware and software autonomic entities, providing or consuming services or resources. Such a framework can be applied, in particular, to MCC scenarios. In this paper, we focus on NAM’s features related to the key aspects of MCC, in particular those concerning code mobility capabilities and autonomic offloading strategies. Our first contribution is the definition of a set of high-level actions supporting MCC. The second contribution is the proposal of a formal semantics for those actions, which provides the core NAM features with a precise formal characterization. Thus, the third contribution is the further development of the NAM conceptual framework and, in particular, the partial re-engineering of the related Java middleware. We show the effectiveness of the revised middleware by discussing the implementation of a Global Ambient Intelligence case study. |
|---|---|
| AbstractList | Mobile Cloud Computing (MCC) is an emerging paradigm to transparently provide support for demanding tasks on resource-constrained mobile devices by relying on the integration with remote cloud services. Research in this field is tackling the multiple conceptual and technical challenges (e.g., how and when to offload) that are hindering the full realization of MCC. The Networked Autonomic Machine (NAM) framework is a tool that supports and facilitates the design networks of hardware and software autonomic entities, providing or consuming services or resources. Such a framework can be applied, in particular, to MCC scenarios. In this paper, we focus on NAM’s features related to the key aspects of MCC, in particular those concerning code mobility capabilities and autonomic offloading strategies. Our first contribution is the definition of a set of high-level actions supporting MCC. The second contribution is the proposal of a formal semantics for those actions, which provides the core NAM features with a precise formal characterization. Thus, the third contribution is the further development of the NAM conceptual framework and, in particular, the partial re-engineering of the related Java middleware. We show the effectiveness of the revised middleware by discussing the implementation of a Global Ambient Intelligence case study. |
| Author | Tiezzi, Francesco Senni, Valerio Amoretti, Michele Grazioli, Alessandro Zanichelli, Francesco |
| Author_xml | – sequence: 1 givenname: Michele surname: Amoretti fullname: Amoretti, Michele email: michele.amoretti@unipr.it organization: Department of Information Engineering, University of Parma – sequence: 2 givenname: Alessandro surname: Grazioli fullname: Grazioli, Alessandro organization: Department of Information Engineering, University of Parma – sequence: 3 givenname: Valerio surname: Senni fullname: Senni, Valerio organization: IMT Advanced Studies Lucca – sequence: 4 givenname: Francesco surname: Tiezzi fullname: Tiezzi, Francesco organization: IMT Advanced Studies Lucca – sequence: 5 givenname: Francesco surname: Zanichelli fullname: Zanichelli, Francesco organization: Department of Information Engineering, University of Parma |
| BookMark | eNp9j0trwzAMgM3oYF3XH7Bb_kA2K078OJayFxR22c7G8aO4S-JiJ4zt188lY4cdKhASQp_Qd40WQxgsQreA7wBjdp8AGIUSQ52TipJcoCVwSsqKiHrx13N6hdYpHXAOUjFO2RLBpnAh9qrz39YULqrefob4cRoWfWh9ZwvdhckUOvTHafTD_gZdOtUlu_6tK_T--PC2fS53r08v282u1KThY8lry4SrjGsw1ViztgHKlANjTSUEZqquwRGTP2ka3VqlBBfKYpd9sODAyQqx-a6OIaVondR-VKMPwxiV7yRgeZKXs7zM8vIkL0km4R95jL5X8essU81MyrvD3kZ5CFMcsuAZ6AczsW0a |
| CitedBy_id | crossref_primary_10_4018_IJCAC_312564 crossref_primary_10_1109_TSC_2016_2540629 crossref_primary_10_1016_j_csi_2017_11_007 crossref_primary_10_1016_j_suscom_2021_100524 |
| Cites_doi | 10.1109/32.685256 10.1007/978-3-642-02029-2_2 10.1147/sj.413.0350 10.1109/PerComW.2012.6197629 10.1145/2619998 10.1109/ICCCW.2012.6316468 10.1145/383059.383071 10.1016/j.tcs.2007.05.008 10.1109/MDM.2013.93 10.1016/j.future.2012.05.023 10.1145/2245276.2245336 10.1109/PDP.2014.42 10.1145/2245276.2232019 10.1109/HPCS.2010.5547130 10.1145/336595.337103 10.1145/2363.2433 10.1145/1168054.1168064 10.1109/MC.2010.98 10.1016/0890-5401(92)90008-4 10.1109/ICSECOMPANION.2007.44 10.1002/wcm.1203 10.1109/ACW.2003.1210200 |
| ContentType | Journal Article |
| Copyright | Springer-Verlag London 2014 |
| Copyright_xml | – notice: Springer-Verlag London 2014 |
| DBID | AAYXX CITATION |
| DOI | 10.1007/s11761-014-0169-3 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1863-2394 |
| EndPage | 248 |
| ExternalDocumentID | 10_1007_s11761_014_0169_3 |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C .VR 06D 0R~ 123 203 2J2 2JN 2JY 2KG 2KM 2LR 2VQ 2~H 30V 4.4 406 408 409 40E 5VS 67Z 6NX 875 8TC 8UJ 95- 95. 95~ AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBXA ABDZT ABECU ABFTD ABFTV ABHQN ABJNI ABJOX ABKCH ABMNI ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEMSY AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARMRJ AXYYD AYJHY B-. BA0 BDATZ BGNMA CAG COF CS3 CSCUP DDRTE DNIVK DPUIP EBLON EBS EIOEI EJD ESBYG FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ6 GQ7 GQ8 GXS H13 HF~ HG5 HG6 HLICF HMJXF HQYDN HRMNR HZ~ IJ- IKXTQ IWAJR IXC IXD IXE IZIGR IZQ I~X J-C J0Z JBSCW JCJTX JZLTJ KDC KOV LLZTM M4Y MA- NPVJJ NQJWS NU0 O9- O93 O9J OAM P2P P9O PF0 PT4 QOS R89 R9I RIG ROL RPX RSV S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W48 YLTOR Z45 Z7X Z83 Z88 ZMTXR ~A9 AAPKM AAYXX ABBRH ABDBE ABFSG ABJCF ABRTQ ACSTC AEZWR AFDZB AFFHD AFHIU AFKRA AFOHR AHPBZ AHWEU AIXLP ARAPS ATHPR AYFIA BENPR BGLVJ CCPQU CITATION HCIFZ K7- M7S PHGZM PHGZT PQGLB PTHSS |
| ID | FETCH-LOGICAL-c358t-84e79f2df506c0c7b5167af1ded29907a441f3d00355cbeaa989ae0f007098183 |
| IEDL.DBID | RSV |
| ISICitedReferencesCount | 4 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000363025300003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1863-2386 |
| IngestDate | Sat Nov 29 03:04:16 EST 2025 Tue Nov 18 21:30:58 EST 2025 Fri Feb 21 02:28:45 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3-4 |
| Keywords | Mobile cloud computing Programming abstractions Middleware design Formal semantics |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c358t-84e79f2df506c0c7b5167af1ded29907a441f3d00355cbeaa989ae0f007098183 |
| PageCount | 20 |
| ParticipantIDs | crossref_citationtrail_10_1007_s11761_014_0169_3 crossref_primary_10_1007_s11761_014_0169_3 springer_journals_10_1007_s11761_014_0169_3 |
| PublicationCentury | 2000 |
| PublicationDate | 2015-09-01 |
| PublicationDateYYYYMMDD | 2015-09-01 |
| PublicationDate_xml | – month: 09 year: 2015 text: 2015-09-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | London |
| PublicationPlace_xml | – name: London |
| PublicationTitle | Service oriented computing and applications |
| PublicationTitleAbbrev | SOCA |
| PublicationYear | 2015 |
| Publisher | Springer London |
| Publisher_xml | – name: Springer London |
| References | Andrei O, Kirchner H (2009) A higher-order graph calculus for autonomic computing. In: Graph theory, computational intelligence and thought, volume 5420 of LNCS, pp 15–26. Springer BigusJPSchlosnagleDAPilgrimJRMillsWNIIIDiaoYABLE: a toolkit for building multiagent autonomic systemsIBM Syst J200241335037110.1147/sj.413.0350 Stoica I, Morris R, Karger D, Kaashoek MF, Balakrishnan H (2001) Chord: a scalable peer-to-peer lookup service for Internet applications. In: Applications, technologies, architectures, and protocols for computer communications (SIGCOMM), pp 149–160. ACM FernandoNLokeSWRahayuWMobile cloud computing: a surveyFuture Gener Comput Syst20132918410610.1016/j.future.2012.05.023 Ferrari GL, Pugliese R, Tuosto E (2000) Calculi for network aware programming. In : Workshop “from objects to agents”: evolutive trends of software systems (WOA), pp 23–28. Pitagora Editrice Bologna Kovachev D, Klamma R (2012) Beyond the client-server architectures: a survey of mobile cloud techniques. In: Communications in China workshops (ICCC), pp 20–25. IEEE Computer Society Gjondrekaj E, Loreti M, Pugliese R, Tiezzi F (2012) Modeling adaptation with a tuple-based coordination language. In: Symposium on applied computing (SAC), pp 1522–1527. ACM Oasis WSRF TC (2006) Web services resource framework (WSRF) v1.2, April 2006. https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=wsrf IBM (2005) An architectural blueprint for autonomic computing. Technical report, IBM Corporation, Third edition OASIS XACML TC (2013) eXtensible access control markup language (XACML) version 3.0, January 2013. https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=xacml Carzaniga A, Picco GP, Vigna G (2007) Is code still moving around? Looking back at a decade of code mobility. In: ICSE companion volume, pp 9–20. IEEE Computer Society Amoretti M, Picone M, Zanichelli F (2012) Global ambient intelligence: an autonomic approach. In: Pervasive computing and communications workshops (PERCOM), pp 842–847. IEEE Dayal U, Hanson EN, Widom J (1994) Active database systems. In: Modern database systems, pp 434–456. ACM Cabri G, Leonardi L, Quitadamo R (2006) Enabling java mobile computing on the IBM jikes research virtual machine. In: Principles and practice of programming in java (PPPJ), volume 178 of ACM international conference proceeding series, pp 62–71. ACM De Nicola R, Katoen JP, Latella D, Loreti M, Massink M (2007) Model checking mobile stochastic logic. Theor Comput Sci 382(1):42–70 Margheri A, Masi M, Pugliese R, Tiezzi F (2013) A formal software engineering approach to policy-based access control. Technical report, DiSIA, Univ. Firenze, 2013 Available at http://rap.dsi.unifi.it/facpl/research/Facpl-TR.pdf Amoretti M, Laghi MC, Tassoni F, Zanichelli F (2010) Service migration within the cloud: code mobility in SP2A. In: High performance computing and simulation (HPCS), 2010 international conference on, pp 196–202 Bouchenak S, Hagimont D, Krakowiak S, De Palma N, Boyer F (2002) Experiences implementing efficient java thread serialization, mobility and persistence. In: I.N.R.I.A., Research report no. 4662 Amoretti M, Grazioli A, Senni V, Tiezzi F, Zanichelli F (2014) Towards a formal approach to mobile cloud computing. In: Parallel, distributed, and network-based processing (4PAD session), pp 743–750. IEEE DinhHTLeeCNiyatoDWangPA survey of mobile cloud computing: architecture, applications, and approachesWirel Commun Mob Comput201313181587161110.1002/wcm.1203 Banâtre JP, Radenac Y, Fradet P (2004) Chemical specification of autonomic systems. In: Intelligent and adaptive systems and software engineering (IASSE), pp 72–79. ISCA De Nicola R, Loreti M, Pugliese R, Tiezzi F (2014) A formal approach to autonomic systems programming: the SCEL language. ACM Trans Auton Adapt Syst (To appear) Kaiser G, Parekh J, Gross P, Valetto G (2003) Kinesthetics eXtreme: an external infrastructure for monitoring distributed legacy systems. In: Active middleware services (AMS), pp 22–30. IEEE Computer Society De Nicola R, Ferrari GL, Pugliese R (1998) KLAIM: a kernel language for agents interaction and mobility. IEEE Trans Softw Eng 24(5):315–330 Kumar K, Lu Y-H (2010) Cloud computing for mobile users: can offloading computation save energy? IEEE Comput 43(4):51–56 Da Silva D (2013) Opportunities for autonomic behavior in mobile cloud computing, 2013. Keynote talk at ICAC’13. Available at https://www.usenix.org/conference/icac13/title-tba-0 Parekh J, Kaiser G, Gross P, Valetto G (2003) Retrofitting autonomic capabilities onto legacy systems. Tech. Rep. CUCS-026-03, Columbia University Loreti M (2010) SAM: stochastic analyser for mobility, 2010. Available at http://rap.dsi.unifi.it/SAM Milner R, Parrow J, Walker D (1992) A calculus of mobile processes, I and II. Inf Comput 100(1):1–40, 41–77 Viroli M, Pianini D, Montagna S, Stevenson G (2012) Pervasive ecosystems: a coordination model based on semantic chemistry. In: Symposium on applied computing (SAC), pp 295–302. ACM Gamma E, Helm R, Johnson R, Vlissides J (1995) Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing MelcherBMitchellBTowards an autonomic framework: self-configuring network services and developing autonomic applicationsIntel Technol J200484279290 Grazioli A, Picone M, Zanichelli F, Amoretti M (2013) Code migration in mobile clouds with the NAM4J middleware. In: Mobile data management (MDM), 2013 IEEE 14th international conference on Suri N, Bradshaw JM, Breedy MR, Groth PT, Hill GA, Jeffers R, Mitrovich TS (2000) An overview of the NOMADS mobile agent system. In: ECOOP workshop on mobile object systems GelernterDGenerative communication in LindaACM Trans Program Lang Syst1985718011210.1145/2363.24330559.68030 HT Dinh (169_CR15) 2013; 13 169_CR17 169_CR18 D Gelernter (169_CR19) 1985; 7 169_CR20 169_CR1 169_CR21 N Fernando (169_CR16) 2013; 29 169_CR22 169_CR23 169_CR24 169_CR25 169_CR26 169_CR27 169_CR8 169_CR9 169_CR7 169_CR4 169_CR5 169_CR2 169_CR3 169_CR29 169_CR31 169_CR10 169_CR32 169_CR11 169_CR33 169_CR12 169_CR34 JP Bigus (169_CR6) 2002; 41 169_CR13 169_CR35 169_CR14 B Melcher (169_CR28) 2004; 8 169_CR30 |
| References_xml | – reference: De Nicola R, Loreti M, Pugliese R, Tiezzi F (2014) A formal approach to autonomic systems programming: the SCEL language. ACM Trans Auton Adapt Syst (To appear) – reference: Dayal U, Hanson EN, Widom J (1994) Active database systems. In: Modern database systems, pp 434–456. ACM – reference: Andrei O, Kirchner H (2009) A higher-order graph calculus for autonomic computing. In: Graph theory, computational intelligence and thought, volume 5420 of LNCS, pp 15–26. Springer – reference: Amoretti M, Picone M, Zanichelli F (2012) Global ambient intelligence: an autonomic approach. In: Pervasive computing and communications workshops (PERCOM), pp 842–847. IEEE – reference: BigusJPSchlosnagleDAPilgrimJRMillsWNIIIDiaoYABLE: a toolkit for building multiagent autonomic systemsIBM Syst J200241335037110.1147/sj.413.0350 – reference: Cabri G, Leonardi L, Quitadamo R (2006) Enabling java mobile computing on the IBM jikes research virtual machine. In: Principles and practice of programming in java (PPPJ), volume 178 of ACM international conference proceeding series, pp 62–71. ACM – reference: Gamma E, Helm R, Johnson R, Vlissides J (1995) Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing – reference: Bouchenak S, Hagimont D, Krakowiak S, De Palma N, Boyer F (2002) Experiences implementing efficient java thread serialization, mobility and persistence. In: I.N.R.I.A., Research report no. 4662 – reference: Oasis WSRF TC (2006) Web services resource framework (WSRF) v1.2, April 2006. https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=wsrf – reference: IBM (2005) An architectural blueprint for autonomic computing. Technical report, IBM Corporation, Third edition – reference: Kaiser G, Parekh J, Gross P, Valetto G (2003) Kinesthetics eXtreme: an external infrastructure for monitoring distributed legacy systems. In: Active middleware services (AMS), pp 22–30. IEEE Computer Society – reference: Suri N, Bradshaw JM, Breedy MR, Groth PT, Hill GA, Jeffers R, Mitrovich TS (2000) An overview of the NOMADS mobile agent system. In: ECOOP workshop on mobile object systems – reference: MelcherBMitchellBTowards an autonomic framework: self-configuring network services and developing autonomic applicationsIntel Technol J200484279290 – reference: Kovachev D, Klamma R (2012) Beyond the client-server architectures: a survey of mobile cloud techniques. In: Communications in China workshops (ICCC), pp 20–25. IEEE Computer Society – reference: Loreti M (2010) SAM: stochastic analyser for mobility, 2010. Available at http://rap.dsi.unifi.it/SAM/ – reference: Parekh J, Kaiser G, Gross P, Valetto G (2003) Retrofitting autonomic capabilities onto legacy systems. Tech. Rep. CUCS-026-03, Columbia University – reference: GelernterDGenerative communication in LindaACM Trans Program Lang Syst1985718011210.1145/2363.24330559.68030 – reference: Da Silva D (2013) Opportunities for autonomic behavior in mobile cloud computing, 2013. Keynote talk at ICAC’13. Available at https://www.usenix.org/conference/icac13/title-tba-0 – reference: Margheri A, Masi M, Pugliese R, Tiezzi F (2013) A formal software engineering approach to policy-based access control. Technical report, DiSIA, Univ. Firenze, 2013 Available at http://rap.dsi.unifi.it/facpl/research/Facpl-TR.pdf – reference: Amoretti M, Laghi MC, Tassoni F, Zanichelli F (2010) Service migration within the cloud: code mobility in SP2A. In: High performance computing and simulation (HPCS), 2010 international conference on, pp 196–202 – reference: De Nicola R, Ferrari GL, Pugliese R (1998) KLAIM: a kernel language for agents interaction and mobility. IEEE Trans Softw Eng 24(5):315–330 – reference: Grazioli A, Picone M, Zanichelli F, Amoretti M (2013) Code migration in mobile clouds with the NAM4J middleware. In: Mobile data management (MDM), 2013 IEEE 14th international conference on – reference: Banâtre JP, Radenac Y, Fradet P (2004) Chemical specification of autonomic systems. In: Intelligent and adaptive systems and software engineering (IASSE), pp 72–79. ISCA – reference: Ferrari GL, Pugliese R, Tuosto E (2000) Calculi for network aware programming. In : Workshop “from objects to agents”: evolutive trends of software systems (WOA), pp 23–28. Pitagora Editrice Bologna – reference: Gjondrekaj E, Loreti M, Pugliese R, Tiezzi F (2012) Modeling adaptation with a tuple-based coordination language. In: Symposium on applied computing (SAC), pp 1522–1527. ACM – reference: Amoretti M, Grazioli A, Senni V, Tiezzi F, Zanichelli F (2014) Towards a formal approach to mobile cloud computing. In: Parallel, distributed, and network-based processing (4PAD session), pp 743–750. IEEE – reference: Milner R, Parrow J, Walker D (1992) A calculus of mobile processes, I and II. Inf Comput 100(1):1–40, 41–77 – reference: Kumar K, Lu Y-H (2010) Cloud computing for mobile users: can offloading computation save energy? IEEE Comput 43(4):51–56 – reference: Viroli M, Pianini D, Montagna S, Stevenson G (2012) Pervasive ecosystems: a coordination model based on semantic chemistry. In: Symposium on applied computing (SAC), pp 295–302. ACM – reference: De Nicola R, Katoen JP, Latella D, Loreti M, Massink M (2007) Model checking mobile stochastic logic. Theor Comput Sci 382(1):42–70 – reference: Stoica I, Morris R, Karger D, Kaashoek MF, Balakrishnan H (2001) Chord: a scalable peer-to-peer lookup service for Internet applications. In: Applications, technologies, architectures, and protocols for computer communications (SIGCOMM), pp 149–160. ACM – reference: Carzaniga A, Picco GP, Vigna G (2007) Is code still moving around? Looking back at a decade of code mobility. In: ICSE companion volume, pp 9–20. IEEE Computer Society – reference: DinhHTLeeCNiyatoDWangPA survey of mobile cloud computing: architecture, applications, and approachesWirel Commun Mob Comput201313181587161110.1002/wcm.1203 – reference: OASIS XACML TC (2013) eXtensible access control markup language (XACML) version 3.0, January 2013. https://www.oasis-open.org/committees/tc_home.php?wg_abbrev=xacml – reference: FernandoNLokeSWRahayuWMobile cloud computing: a surveyFuture Gener Comput Syst20132918410610.1016/j.future.2012.05.023 – ident: 169_CR10 – ident: 169_CR12 doi: 10.1109/32.685256 – ident: 169_CR4 doi: 10.1007/978-3-642-02029-2_2 – volume: 41 start-page: 350 issue: 3 year: 2002 ident: 169_CR6 publication-title: IBM Syst J doi: 10.1147/sj.413.0350 – ident: 169_CR3 doi: 10.1109/PerComW.2012.6197629 – ident: 169_CR14 doi: 10.1145/2619998 – ident: 169_CR24 doi: 10.1109/ICCCW.2012.6316468 – ident: 169_CR27 – ident: 169_CR33 doi: 10.1145/383059.383071 – ident: 169_CR13 doi: 10.1016/j.tcs.2007.05.008 – ident: 169_CR21 doi: 10.1109/MDM.2013.93 – ident: 169_CR7 – volume: 29 start-page: 84 issue: 1 year: 2013 ident: 169_CR16 publication-title: Future Gener Comput Syst doi: 10.1016/j.future.2012.05.023 – ident: 169_CR35 doi: 10.1145/2245276.2245336 – ident: 169_CR1 doi: 10.1109/PDP.2014.42 – ident: 169_CR20 doi: 10.1145/2245276.2232019 – volume: 8 start-page: 279 issue: 4 year: 2004 ident: 169_CR28 publication-title: Intel Technol J – ident: 169_CR18 – ident: 169_CR31 – ident: 169_CR2 doi: 10.1109/HPCS.2010.5547130 – ident: 169_CR5 – ident: 169_CR11 – ident: 169_CR34 doi: 10.1145/336595.337103 – volume: 7 start-page: 80 issue: 1 year: 1985 ident: 169_CR19 publication-title: ACM Trans Program Lang Syst doi: 10.1145/2363.2433 – ident: 169_CR26 – ident: 169_CR8 doi: 10.1145/1168054.1168064 – ident: 169_CR22 – ident: 169_CR25 doi: 10.1109/MC.2010.98 – ident: 169_CR29 doi: 10.1016/0890-5401(92)90008-4 – ident: 169_CR17 – ident: 169_CR30 – ident: 169_CR9 doi: 10.1109/ICSECOMPANION.2007.44 – volume: 13 start-page: 1587 issue: 18 year: 2013 ident: 169_CR15 publication-title: Wirel Commun Mob Comput doi: 10.1002/wcm.1203 – ident: 169_CR32 – ident: 169_CR23 doi: 10.1109/ACW.2003.1210200 |
| SSID | ssj0000327867 |
| Score | 2.0071545 |
| Snippet | Mobile Cloud Computing (MCC) is an emerging paradigm to transparently provide support for demanding tasks on resource-constrained mobile devices by relying on... |
| SourceID | crossref springer |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 229 |
| SubjectTerms | Computer Appl. in Administrative Data Processing Computer Science Computer Systems Organization and Communication Networks e-Commerce/e-business IT in Business Management of Computing and Information Systems Software Engineering/Programming and Operating Systems Special Issue Paper |
| Title | A formalized framework for mobile cloud computing |
| URI | https://link.springer.com/article/10.1007/s11761-014-0169-3 |
| Volume | 9 |
| WOSCitedRecordID | wos000363025300003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAVX databaseName: SpringerLINK customDbUrl: eissn: 1863-2394 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000327867 issn: 1863-2386 databaseCode: RSV dateStart: 20070401 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB60evBifWJ9sQdPykKSzT5yLGLxVMQXvYV9QqG20qYe_PXubpOWggp6DTNJ-LKzM5t5fABXTlPHpdRYZYbhnGiGhWM55jbPMqOo0spEsgne74vBoHio-7hnTbV7k5KMO_Wq2S31R25_9A1VE6zAZBO2vLcTwRofn16XP1YSknERmWNTwQj2Lok12czv7rLuj9aTodHH9Nr_ers92K1DStRdrIF92LDjA2g3dA2ott5DSLsoRqij4ac1yDVVWeEiepsovz0gPZrMDdJR1T_9CF56d8-397hmTMCaUFFhkVteuMw4mjCdaK5oyrh0qbEmuB0uffDjiAnpQ6qVlbIQhbSJC0N_PJKCHENrPBnbE0Ap14yHtltNvRblUhXCpmF4oqT-Q5oOJA1upa7HiQdWi1G5GoQcICk9JGWApCQduF6qvC9mafwmfNMAXdZmNftZ-vRP0mew4-MeuigVO4dWNZ3bC9jWH9VwNr2My-kLpejCfA |
| linkProvider | Springer Nature |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEB60CnqxPrE-c_CkBHY3m8cei1gUaxGt0tuSJwi1Fdt68NebbHdbCirodZnZhNkk32Rn5huAM6ep41JqrBLDcEo0w8KxFHObJolRVGllimYTvNMRvV52X9Zxj6ps9yokWZzU82K32F-5_dU3ZE2wDJNlWEk9YIU8vofH59mPlYgkXBSdY2PBCPaQxKpo5ndvWcSjxWBogTGt-r9mtwkbpUuJmtM1sAVLdrAN9apdAyp37w7ETVR4qP2XT2uQq7KywkP0OlT-eEC6P5wYpAtVP_ouPLWuupfXuOyYgDWhYoxFannmEuNoxHSkuaIx49LFxpoAO1x658cRE8KHVCsrZSYyaSMXSH8yD91kD2qD4cDuA4q5ZjyU3WrqtSiXKhM2DuSJkvoPaRoQVXbLdUknHrpa9PM5EXIwSe5NkgeT5KQB5zOVtymXxm_CF5Wh83JbjX6WPviT9CmsXXfv2nn7pnN7COveB6LTtLEjqI3fJ_YYVvXH-GX0flIsrS_OAsVg |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8NAEF60inixPrE-9-BJWUyy2UeORS2KUgo-6C3sEwo1LW3qwV_vbh4tBRXEa5hZlsluZiYz830AXFhFLBNCIRlpimKsKOKWxoiZOIq0JFJJXZBNsG6X9_tJr-I5ndbd7nVJspxp8ChNWX491vZ6MfgWuvTbpcG-g4ImCK-CtdhzBvl0_flt_pMlwBHjBYtsyClGzj3RurL53SrLvmm5MFr4m07z3zvdBltVqAnb5dnYASsm2wXNmsYBVrd6D4RtWESuw8Gn0dDW3Vr-IXwfSffZgGo4mmmoClW3k33w2rl7ublHFZMCUpjwHPHYsMRG2pKAqkAxSULKhA210d4dMeGCIou1LysSJY0QCU-ECawHA0qcS8cHoJGNMnMIYMgUZX4cVxGnRZiQCTehB1UUxL1g3QJBbcNUVTDjnu1imC4Akr1JUmeS1JskxS1wOVcZlxgbvwlf1UZPq-s2_Vn66E_S52Cjd9tJnx66j8dg04VGpOwmOwGNfDIzp2BdfeSD6eSsOGVfptHORA |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+formalized+framework+for+mobile+cloud+computing&rft.jtitle=Service+oriented+computing+and+applications&rft.au=Amoretti%2C+Michele&rft.au=Grazioli%2C+Alessandro&rft.au=Senni%2C+Valerio&rft.au=Tiezzi%2C+Francesco&rft.date=2015-09-01&rft.issn=1863-2386&rft.eissn=1863-2394&rft.volume=9&rft.issue=3-4&rft.spage=229&rft.epage=248&rft_id=info:doi/10.1007%2Fs11761-014-0169-3&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s11761_014_0169_3 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1863-2386&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1863-2386&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1863-2386&client=summon |