{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T10:18:33Z","timestamp":1725445113267},"reference-count":16,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icdcsw.2002.1030805","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:14:31Z","timestamp":1056579271000},"page":"410-413","source":"Crossref","is-referenced-by-count":1,"title":["Adaptive applications for mobile heterogenous devices"],"prefix":"10.1109","author":[{"given":"P.","family":"Inverardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Marinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Mancinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Efficient representation and validation of logical proofs Technical Report CMU-CS-97-172","year":"1997","author":"necula","key":"ref10"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1109\/LICS.1998.705646","article-title":"Efficient representation and validation of logical proofs","author":"necula","year":"1998","journal-title":"Proc Symp Logic Comput Sci"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68671-1_5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/10721959_3"},{"journal-title":"Java 2 Platform Micro Edition","year":"0","author":"paal","key":"ref14"},{"key":"ref15","article-title":"Java 2 platform micro edition (j2me™) technology for creating mobile devices","author":"paper","year":"2000","journal-title":"Technical Report"},{"key":"ref16","article-title":"A formalization of the proof-carrying code architecture in a linear logical framework","author":"plesko","year":"1999","journal-title":"Proceedings of the FLoC Workshop on Runtime Result Verification"},{"journal-title":"Assigning Meaning to Programs","year":"1967","author":"floyd","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349315"},{"journal-title":"Applicazioni di tecniche di proof-carrying code","year":"2002","author":"marinelli","key":"ref6"},{"journal-title":"Virtual machines for limited devices","year":"0","author":"kib","key":"ref5"},{"journal-title":"Proof-carrying code Technical Report CMU-CS-96-165","year":"1996","author":"necula","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"journal-title":"Programs and their proofs an algebraic approach","year":"1969","author":"burstall","key":"ref2"},{"journal-title":"J2me™architecture and related embedded technologies","year":"0","author":"ai","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238781"}],"event":{"name":"22nd International Conference on Distributed Computing Systems Workshops","acronym":"ICDCS-02","location":"Vienna, Austria"},"container-title":["Proceedings 22nd International Conference on Distributed Computing Systems Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8010\/22138\/01030805.pdf?arnumber=1030805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T00:45:41Z","timestamp":1585010741000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1030805\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/icdcsw.2002.1030805","relation":{},"subject":[]}}