{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T19:10:11Z","timestamp":1740078611278,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642105487"},{"type":"electronic","value":"9783642105494"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10549-4_10","type":"book-chapter","created":{"date-parts":[[2010,5,8]],"date-time":"2010-05-08T15:58:15Z","timestamp":1273334295000},"page":"73-87","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Synthesis and Deployment of Intensional Kahn Process Networks"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Peralta","sequence":"first","affiliation":[]},{"given":"Supratik","family":"Mukhopadhyay","sequence":"additional","affiliation":[]},{"given":"Ramesh","family":"Bharadwaj","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BF00413599","volume":"22","author":"R. Montague","year":"1970","unstructured":"Montague, R.: Pragmatics and Intensional Logic. Synthese\u00a022, 68\u201394 (1970)","journal-title":"Synthese"},{"key":"10_CR2","unstructured":"Wadge, W.W.: Lucid, the Dataflow Programming Language. Academic Press, London"},{"key":"10_CR3","unstructured":"Ditu, G.: The Programming Language TransLucid, PhD Dissertation, University of New South Wales (2007)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Paquet, J., Wu, A., Grogono, A.: Towards a Framework for the General Intensional Programming Compiler in the GIPSY. In: Proceedings of OOPSLA 2004 (2004)","DOI":"10.1145\/1028664.1028731"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/BFb0012771","volume-title":"ICALP 1982","author":"A. Faustini","year":"1982","unstructured":"Faustini, A.: Towards an Operational Semantics of Pure Dataflow. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol.\u00a0140, pp. 212\u2013224. Springer, Heidelberg (1982)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Loo, T.B., Condie, T., Garofalakis, M.N., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative Networking: Language, Execution, and Optimization. In: Proceedings of SIGMOD 2006 (2006)","DOI":"10.1145\/1142473.1142485"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MPRV.2002.1037720","volume":"1","author":"S. Yau","year":"2002","unstructured":"Yau, S., et al.: Reconfigurable Context-Sensitive Middleware for Pervasive Computing. IEEE Pervasive Computing\u00a01(3), 33\u201340 (2002)","journal-title":"IEEE Pervasive Computing"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-44892-6_9","volume-title":"Middleware 2003","author":"M. Mikic-Rakic","year":"2003","unstructured":"Mikic-Rakic, M., Medvidovic, N.: Adaptable Architectural Middleware for Programming-in-the-Small-and-Many. In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol.\u00a02672, pp. 162\u2013181. Springer, Heidelberg (2003)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-44892-6_8","volume-title":"Middleware 2003","author":"A. Ranganathan","year":"2003","unstructured":"Ranganathan, A., Campbell, R.H.: A Middleware for Context-Aware Agents in Ubiquitous Computing Environments. In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol.\u00a02672, pp. 143\u2013161. Springer, Heidelberg (2003)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/3-540-44892-6_23","volume-title":"Middleware 2003","author":"F.A. Popovici","year":"2003","unstructured":"Popovici, F.A., Alonso, G.: A Proactive Middleware Platform for Mobile Computing. In: Endler, M., Schmidt, D.C. (eds.) Middleware 2003. LNCS, vol.\u00a02672, pp. 455\u2013473. Springer, Heidelberg (2003)"},{"key":"10_CR11","unstructured":"Lang, U.: Access Policies in Middleware, PhD Thesis. University of Cambridge (2003)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Abdelzaher, T., Blum, B., Cao, B.Q., Chen, Y., Evans, D., George, J., George, S., Gu, L., He, T., Krishnamurthy, S., Luo, L., Son, S., Stankovic, J., Stoleru, R., Wood, A.: EnviroTrack: Towards an Environmental Computing Paradigm for Distributed Sensor Networks. In: The 24th International Conference on Distributed Computing Systems. Tokyo, Japan, March 23-26 (2004)","DOI":"10.1109\/ICDCS.2004.1281625"},{"key":"10_CR13","unstructured":"Yau, S., Davulcu, H., Mukhopadhyay, S., Huang, D., Yao, Y.: Adaptable, Situation-aware, Secure Service-based (AS3) Systems. In: Proceedings of the IEEE International Symposium Object-oriented, Real-time, Distributed Computing, ISORC 2005 (2005)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Bharadwaj, R., Mukhopadhyay, S., Padh, N.: Service Composition in a Secure Agent-based Architecture. In: Proceedings of the IEEE International Conference on E-Technologies, E-commerce and E-Service (EEE 2005), pp. 787\u2013788 (2005)","DOI":"10.1109\/EEE.2005.118"},{"key":"10_CR15","unstructured":"Internet2 Medical Middleware (MedMid) Working Group: Draft Workplan Scenarios (2003)"},{"key":"10_CR16","unstructured":"Sirin, E., Hendler, J.A., Parsia, B.: Semi-automatic Composition of Web Services using Semantic Descriptions. In: WSMAI 2003, pp. 17\u201324 (2003)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Duan, Z., Bernstein, A.J., Lewis, P.M., Lu, S.: Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. In: ICWS 2004, pp. 734\u2013737 (2004)","DOI":"10.1109\/ICWS.2004.1314805"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Enforcing Security and Safety with Proof-Carrying Code. Electr. Notes Theor. Comput. Sci.\u00a020 (1999)","DOI":"10.1016\/S1571-0661(04)80070-7"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Li, B., Nahrstedt, K.: A Control-based Middleware Framework for Quality of Service Adaptations. IEEE Journal on Selected Areas in Communication\u00a017(9) (September 1999)","DOI":"10.1109\/49.790486"},{"key":"10_CR20","unstructured":"Roemer, K., Kasten, O., Mattern, F.: Middleware Challenges in Wireless Sensor Networks. Mobile Computing and Communications Review\u00a03(2) (2002)"},{"key":"10_CR21","unstructured":"Curbera, F., et al.: Business Process Execution Language for Web Services (2002)"},{"key":"10_CR22","unstructured":"Christensen, E., et al.: The Web Services Description Language (WSDL), IBM"},{"key":"10_CR23","unstructured":"Berners-Lee, T., et al.: The semantic web, Scientific American (May 2003)"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Ankolekar, A., Huch, F., Sycara, K.: Concurrent Execution Semantics for DAML-S with Subtypes. In: Proceedings of The First International Semantic Web Conference, ISWC (2002)","DOI":"10.1007\/3-540-48005-6_25"},{"key":"10_CR25","volume-title":"Understanding Web Services","author":"E. Newcomer","year":"2002","unstructured":"Newcomer, E.: Understanding Web Services. Addison Wesley, Reading (2002)"},{"key":"10_CR26","unstructured":"Endrei, M., Ang, J., Arsanjani, A., Chua, S., Comte, P., Krogdahl, P., Luo, M., Newling, T.: Patterns: Service-oriented Architecture and Web Services. IBM Redbook, ISBN 073845317X (2004)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Bell, D., La Padula, L.: Secure Computer Systems: Unified Exposition and Multics Interpretation, Technical Report, Mitre Corporation (1975)","DOI":"10.21236\/ADA023588"},{"key":"10_CR28","unstructured":"http:\/\/www.upnp.org"},{"key":"10_CR29","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: A course in modal logic. Cambridge University Press, Cambridge"},{"key":"10_CR30","volume-title":"The lambda calculus, its syntax and semantics","author":"H. Barendregt","year":"1984","unstructured":"Barendregt, H.: The lambda calculus, its syntax and semantics. North-Holland, Amsterdam (1984)"},{"key":"10_CR31","unstructured":"Milner, A.J.R.J.: Communication and Concurrency. Cambridge University Press, Cambridge"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Charatonik, W., Dal-Zilio, S., Gordon, A.D., Mukhopadhyay, S., Talbot, J.M.: Model Checking Mobile Ambients Theoretical Computer Science\u00a0(1-3), 277\u2013331 (2003)","DOI":"10.1016\/S0304-3975(02)00832-0"},{"key":"10_CR33","unstructured":"Ponnekanti, S., Fox, A.: SWORD: A Developer Toolkit for Web Service Composition. In: Proceedings of WWW 2002 (2002)"},{"key":"10_CR34","unstructured":"http:\/\/www.carematix.com\/"},{"key":"10_CR35","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, Cambridge, ISBN 0-521-77911-1"},{"key":"10_CR36","unstructured":"http:\/\/www.ni.com\/labview\/"},{"key":"10_CR37","volume-title":"Readings in Knowledge Representation","author":"R.J. Brachman","year":"1985","unstructured":"Brachman, R.J., Levesque, H.J.: Readings in Knowledge Representation. Morgan Kaufmann, Los Altos (1985)"},{"key":"10_CR38","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Comprehending Monads. In: 6\u2019th Conference on Lisp and Functional Programming, vol.\u00a02, pp. 461\u2013493 (1992)","DOI":"10.1017\/S0960129500001560"},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Baumann, A., Heiser, G., Appavoo, J., Da Silva, D., Krieger, O., Wisniewski, R.W., Kerr, J.: Providing Dynamic Update in an Operating System. In: USENIX Annual Technical Conference, General Track, pp. 279\u2013291 (2005)","DOI":"10.1145\/1095810.1118622"},{"key":"10_CR40","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge"},{"key":"10_CR41","unstructured":"Kahn, G.: The Semantics of a Simple Language for Parallel Programming. In: Proceedings of IFIP Information Processing (1974)"}],"container-title":["Communications in Computer and Information Science","Grid and Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10549-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T18:43:48Z","timestamp":1740077028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10549-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642105487","9783642105494"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10549-4_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2009]]}}}