{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:00:09Z","timestamp":1725573609131},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540256977"},{"type":"electronic","value":"9783540320210"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11419822_8","type":"book-chapter","created":{"date-parts":[[2010,12,21]],"date-time":"2010-12-21T02:35:52Z","timestamp":1292898952000},"page":"234-270","source":"Crossref","is-referenced-by-count":11,"title":["Hermes: Agent-Based Middleware for Mobile Computing"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[]},{"given":"Emanuela","family":"Merelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Amici, R., Cacciagrano, D., Corradini, F., Merelli, E.: A process algebra view of coordination models with a case study in computational biology. In: Proceedings of 1st International Workshop on Coordination and Petri Nets, PNC 2004 (2004)"},{"key":"8_CR2","unstructured":"Angeletti, M., Culmone, R., Merelli, E.: An intelligent agent architecture for dna-microarray data integration. In: NETTAB Workshop on CORBA and XML: Towards a bioinformatics integrated network environment, Genova (2001)"},{"key":"8_CR3","volume-title":"Mobile Computing Principles","author":"R. B\u2019Far","year":"2005","unstructured":"B\u2019Far, R.: Mobile Computing Principles. Cambridge University Press, Cambridge (2005)"},{"key":"8_CR4","unstructured":"Bartocci, E., Mariani, L., Merelli, E.: An XML view of the \u201cworld\u201d. In: International Conference on Enterprise Information Systems, ICEIS, Angers, France, April 2003, pp. 19\u201327 (2003)"},{"key":"8_CR5","unstructured":"Bartocci, E., Moeller, S., Todo, L., Merelli, E.: Integration of ensembl with bioagent. In: Abstract book of the Biocomp - Gruppo di Cooperazione in Bioinformatica (2004)"},{"key":"8_CR6","unstructured":"Bellwood, T., Cl\u00e9ment, L., Ehnebuske, D., Hately, A., Hondo, M., Husband, Y.L., Januszewski, K., Lee, S., McKee, B., Munter, J., von Riegen, C.: UDDI version 3.0. Published specification, Oasis (2002)"},{"key":"8_CR7","unstructured":"Bluetooth, http:\/\/www.bluetooth.org"},{"key":"8_CR8","volume-title":"2nd IEEE International Workshop on Theory and Practice of Open Computational Systems","author":"D. Bonura","year":"2004","unstructured":"Bonura, D., Corradini, F., Merelli, E., Romiti, G.: Farmas: a MAS for extended quality workflow. In: 2nd IEEE International Workshop on Theory and Practice of Open Computational Systems. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"8_CR9","unstructured":"Bonura, D., Mariani, L., Merelli, E.: Designing modular agent systems. In: Proceedings of NET.Object DAYS, Erfurt, September 2003, pp. 245\u2013263 (2003)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Transaction on Computation System Biology, special issue for NETTAB Workshop on Model and Metaphors from Biology to Bioinformatics Tools","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Abstract machines of systems biology. In: Transaction on Computation System Biology, special issue for NETTAB Workshop on Model and Metaphors from Biology to Bioinformatics Tools. LNCS, Springer, Heidelberg (2005) (to appear)"},{"issue":"1","key":"8_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science\u00a0240(1), 117\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Carriero, N., Gelernter, D., Mattson, T.G.: Linda in heterogeneous computing environments. In: Proceedings of the Workshop on Heterogeneous Processing, Beverly Hills, CA, March 1992, pp. 43\u201346 (1992)","DOI":"10.1109\/WHP.1992.664383"},{"key":"8_CR13","volume-title":"2nd IEEE International Workshop on Theory and Practice of Open Computational Systems","author":"F. Corradini","year":"2004","unstructured":"Corradini, F., Culmone, R., Di Berardini, M.R.: Code mobility for pervasive computing. In: 2nd IEEE International Workshop on Theory and Practice of Open Computational Systems. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"8_CR14","unstructured":"Corradini, F., Ercoli, C., Merelli, E., Re, B.: An agent-based matchmaker. In: Proceedings of WOA 2004 dagli Oggetti agli Agenti - Sistemi Complessi e Agenti Razionali (2004)"},{"key":"8_CR15","unstructured":"Corradini, F., Mariani, L., Merelli, E.: A programming environment for global activity-based applications. In: Proceedings of WOA 2003 dagli Oggetti agli Agenti - Sistemi Intelligenti e Computazione Pervasiva (2003)"},{"issue":"3","key":"8_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s10009-004-0158-5","volume":"6","author":"F. Corradini","year":"2004","unstructured":"Corradini, F., Mariani, L., Merelli, E.: An agent-based approach to tool integration. Journal of Software Tools Technology Transfer\u00a06(3), 231\u2013244 (2004)","journal-title":"Journal of Software Tools Technology Transfer"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"First International Workshop On Modelling Complex Systems (MCS 2005)","author":"F. Corradini","year":"2005","unstructured":"Corradini, F., Merelli, E., Vita, M.: A multi-agent system for modelling the oxidation of carbohydrate cellular process. In: First International Workshop On Modelling Complex Systems (MCS 2005). LNCS, Springer, Heidelberg (2005) (to appear)"},{"key":"8_CR18","unstructured":"Culmone, R., Merelli, E.: An semantic comparison of ontologies. Technical Report TR02, Dipartimento di matematica e Informatica, Universit\u00e1 di Camerino (2003)"},{"issue":"5","key":"8_CR19","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: Klaim: A kernel language for agents interaction and mobility. IEEE Transaction of Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Transaction of Software Engineering"},{"key":"8_CR20","unstructured":"Echelon, http:\/\/www.echelon.com"},{"key":"8_CR21","unstructured":"Enhydra. Jawe (2003), http:\/\/jawe.enhydra.org\/"},{"key":"8_CR22","unstructured":"Ercoli, C.: Un modello di qualit\u00e0 per la scelta di servizi web in ambito biologico - il middleware. Master\u2019s thesis, Laurea in Informatica, Universit\u00e0 di Camerino, a.a (2003-2004), http:\/\/dmi.unicam.it\/merelli\/tesicl26\/ercoli.pdf"},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1145\/191246.191322","volume-title":"Proceedings of the 3rd International Conference on Information and Knowledge Management (CIKM 1994)","author":"T. Finin","year":"1994","unstructured":"Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an Agent Communication Language. In: Adam, N., Bhargava, B., Yesha, Y. (eds.) Proceedings of the 3rd International Conference on Information and Knowledge Management (CIKM 1994), Gaithersburg, MD, USA, pp. 456\u2013463. ACM Press, New York (1994)"},{"key":"8_CR24","unstructured":"FIPA. The foundations for intelligent physical agent, http:\/\/www.fipa.org"},{"key":"8_CR25","unstructured":"FIPA-ACL. FIPA97 specification, part 2: Agent communication language. Specification, FIPA (October 1997)"},{"issue":"7","key":"8_CR26","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1093\/bioinformatics\/14.7.551","volume":"14","author":"D. Frishman","year":"1998","unstructured":"Frishman, D., Heumann, K., Lesk, A., Mewes, H.-W.: Comprehensive, comprehensible, distributed and intelligent databases: current status. Bioinformatics\u00a014(7), 551\u2013561 (1998)","journal-title":"Bioinformatics"},{"issue":"5","key":"8_CR27","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/32.685258","volume":"24","author":"A. Fuggetta","year":"1998","unstructured":"Fuggetta, A., Picco, G., Vigna, G.: Understanding code mobility. IEEE Transaction of Software Engineering\u00a024(5), 352\u2013361 (1998)","journal-title":"IEEE Transaction of Software Engineering"},{"issue":"1","key":"8_CR28","first-page":"80","volume":"7","author":"D. Gelenter","year":"1985","unstructured":"Gelenter, D.: Generatve communicationin linda. ACM Computing Survey\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Computing Survey"},{"key":"8_CR29","unstructured":"HermesV2, http:\/\/hermes.cs.unicam.it"},{"key":"8_CR30","unstructured":"Hollingsworth, D.: The Workflow Reference Model (January 1995)"},{"key":"8_CR31","unstructured":"IBM. TSpace web page, http:\/\/www.almaden.ibm.com\/cs\/TSpace"},{"key":"8_CR32","unstructured":"Javapace. The javaspace specification web page, http:\/\/www.sun.com\/jini\/spec\/js-spec.html"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Jayashankar, J., Swaminathan, M., Smith, S., Sadeh, N.: Modeling supply chain dynamics: A multiagent approach. Decision Sciences\u00a029(3) (1998)","DOI":"10.1111\/j.1540-5915.1998.tb01356.x"},{"issue":"4","key":"8_CR34","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/367211.367250","volume":"44","author":"N.R. Jennings","year":"2001","unstructured":"Jennings, N.R.: An agent-based approach for building complex software systems. Communications of the ACM\u00a044(4), 35\u201341 (2001)","journal-title":"Communications of the ACM"},{"key":"8_CR35","unstructured":"JINI. Jini network technology, http:\/\/wwws.sun.com\/software\/jini"},{"key":"8_CR36","volume-title":"Foundations of Systems Biology","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Foundations of Systems Biology. MIT Press, Cambridge (2002)"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Martin, A.C.R.: Can we integrate bioinformatics data on the internet? Trends in Biotechnology\u00a0(19), 327\u2013328 (2001) (Meeting Report)","DOI":"10.1016\/S0167-7799(01)01733-4"},{"key":"8_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-36162-6_2","volume-title":"Neworking 2002 Tutorial Papers","author":"C. Mascolo","year":"2002","unstructured":"Mascolo, C., Capra, L., Emmerich, W.: Middleware for mobile computing (a survey). In: Gregori, E., Anastasi, G., Basagni, S. (eds.) Neworking 2002 Tutorial Papers. LNCS, vol.\u00a02497, pp. 20\u201358. Springer, Heidelberg (2002)"},{"key":"8_CR39","unstructured":"Merelli, E., Culmone, R., Mariani, L.: Bioagent: a mobile agent system for bioscientists. In: NETTAB Workshop on Agents nd Bioinformtics, Bologna (July 2002)"},{"key":"8_CR40","unstructured":"Merelli, E., Romano, P., Scortichini, L.: A workflow service for biomedical application. In: Abstract book of the Biocomp - Gruppo di Cooperazione in Bioinformatica (2003)"},{"issue":"6","key":"8_CR41","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1080\/088395197118064","volume":"11","author":"M. Merz","year":"1997","unstructured":"Merz, M., Lieberman, B., Lamersdorf, W.: Using mobile agent to support inter-organizational workflow management. Applied Artificial Intelligence\u00a011(6), 551\u2013572 (1997)","journal-title":"Applied Artificial Intelligence"},{"issue":"1","key":"8_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"J.P. Milner","year":"1992","unstructured":"Milner, J.P., Walker, R.D.: A calculus of mobile processes, part 1-2. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"8_CR43","volume-title":"Proceedings of the 21st International Conference on Distributed Computing Systems","author":"A.L. Murphy","year":"2001","unstructured":"Murphy, A.L., Picco, G.P., Roman, G.-C.: Lime: A middleware for physical and logical mobility. In: Golshani, F., Dasgupta, P., Zhao, W. (eds.) Proceedings of the 21st International Conference on Distributed Computing Systems. ACM Publisher, New York (2001)"},{"key":"8_CR44","unstructured":"O2I. Oncology over internet, strategic project founded by italian nationa research minestry, http:\/\/www.o2i.org"},{"issue":"3","key":"8_CR45","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A. Omicini","year":"1999","unstructured":"Omicini, A., Zambonelli, F.: Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems\u00a02(3), 251\u2013269 (1999); Special Issue: Coordination Mechanisms for Web Agents","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"2","key":"8_CR46","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/210134.210180","volume":"4","author":"M. Pezz\u00e9","year":"1995","unstructured":"Pezz\u00e9, M., Taylor, R.N., Young, M.: Graph models for reachability analysis of concurrent programs. ACM Transaction on Software Engineeringn and Methodology (TOSEN)\u00a04(2), 171\u2013213 (1995)","journal-title":"ACM Transaction on Software Engineeringn and Methodology (TOSEN)"},{"key":"8_CR47","doi-asserted-by":"crossref","unstructured":"Picco, G.P., Murphy, A.L., Roman, G.-C.: Lime: Linda meets mobility. In: Proceedings of the 21st International Conferece on Software Engineering (ICSE 1999), May 1999, pp. 368\u2013367 (1999)","DOI":"10.1145\/302405.302659"},{"key":"8_CR48","doi-asserted-by":"crossref","unstructured":"Picco, G.P., Murphy, A.L., Roman, G.-C.: Developing mobile computing applications with lime. In: International Conference on Software Engineering archive Proceedings of the 22nd international conference on Software engineering, pp. 766\u2013769 (2000)","DOI":"10.1145\/337180.337626"},{"key":"8_CR49","unstructured":"Re, B.: Un modello di qualit\u00e0 per la scelta di servizi web in ambito biologico - il modello di coordinazione. Master\u2019s thesis, Laurea in Informatica, Universit\u00e0 di Camerino, a.a (2003-2004), http:\/\/dmi.unicam.it\/merelli\/tesicl26\/re.pdf"},{"key":"8_CR50","doi-asserted-by":"crossref","unstructured":"Robert, R.D., Stevens, D., Robinson, A.J., Goble, C.A.: mygrid: personalised bioinformatics on the information grid bioinformatics. Bioinformatics\u00a0(19), 302\u2013304 (July)","DOI":"10.1093\/bioinformatics\/btg1041"},{"key":"8_CR51","doi-asserted-by":"crossref","unstructured":"Roman, G.-C., Picco, G.P., Murphy, A.L.: Software engineering for mobility: A roadmap. The Future of Software Engineering, 241\u2013258 (2000)","DOI":"10.1145\/336512.336567"},{"key":"8_CR52","doi-asserted-by":"crossref","unstructured":"Mueller-Wilken, S.S., Wienberg, F., Lamersdorf, W.: On integrating mobile devices into a workflow management scenario. In: Society, I.C. (ed.) Proc. 11th International Workshop on Database and Expert Systems Applications (DEXA), Hamburg, pp. 186\u2013192 (2000)","DOI":"10.1109\/DEXA.2000.875024"},{"key":"8_CR53","unstructured":"Stephan Gatzka, C.H., Geithner, T.: The kertasarie vm. In: NET.Object DAYS 2003, Erfurt, September 22-25, pp. 285\u2013299 (2003)"},{"key":"8_CR54","doi-asserted-by":"crossref","unstructured":"Steven, R., Goble, C., Kaker, P., Brass, A.: A classification of tasks in bioinformatics. Bioinformatics\u00a017(2) (2001)","DOI":"10.1093\/bioinformatics\/17.2.180"},{"key":"8_CR55","unstructured":"Sun\u00a0Microsystems. The CVM, http:\/\/java.sun.com\/CDC"},{"key":"8_CR56","unstructured":"Sun\u00a0Microsystems. The KVM, http:\/\/java.sun.com\/clcd"},{"key":"8_CR57","volume-title":"Distributed Systems: Principles and Paradigms","author":"A. Tanenbaum","year":"2002","unstructured":"Tanenbaum, A., van Steen, M.: Distributed Systems: Principles and Paradigms. Prentice Hall, Englewood Cliffs (2002)"},{"key":"8_CR58","unstructured":"TIDA. The infrared data association, http:\/\/www.irda.org"},{"key":"8_CR59","unstructured":"UML Revision Taskforce. OMG UML Specification v.1.4. Object Magemement Group (2001)"},{"key":"8_CR60","unstructured":"Vito, L.: Hermesv2 e web services. Master\u2019s thesis, Laurea in Informatica, Universit\u00e0 di Camerino, Italy, a.a. (2003-2004), http:\/\/dmi.unicam.it\/merelli\/tesicl26\/vito.pdf"},{"key":"8_CR61","unstructured":"WLAN. The working group for wlan standards, http:\/\/grouper.ieee.org\/groups\/802\/11\/"},{"key":"8_CR62","unstructured":"The BioAgent project, http:\/\/www.bioagent.net\/"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Mobile Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11419822_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:52:00Z","timestamp":1605642720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11419822_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540256977","9783540320210"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/11419822_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}