{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:52Z","timestamp":1750308112435,"version":"3.41.0"},"reference-count":58,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2005,8,1]],"date-time":"2005-08-01T00:00:00Z","timestamp":1122854400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2005,8]]},"abstract":"<jats:p>\n            Embedded systems have been a traditional area of strength in the research agenda of the University of California at Berkeley. In parallel to this effort, a pattern of graduate and undergraduate classes has emerged that is the result of a distillation process of the research results. In this paper, we present the considerations that are driving our curriculum development and we review our undergraduate and graduate program. In particular, we describe in detail a graduate class (EECS249: Design of Embedded Systems: Modeling, Validation and Synthesis) that has been taught for six years. A common feature of our education agenda is the search for fundamentals of embedded system\n            <jats:italic>science<\/jats:italic>\n            rather than embedded system design techniques, an approach that today is rather unique.\n          <\/jats:p>","DOI":"10.1145\/1086519.1086521","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T16:00:45Z","timestamp":1131379245000},"page":"472-499","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["An overview of embedded system design education at berkeley"],"prefix":"10.1145","volume":"4","author":[{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"first","affiliation":[{"name":"University of California, Berkeley, Berkeley, California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Pinto","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,8]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Artist. http:\/\/www.artist-embedded.org\/overview\/.]]  Artist. http:\/\/www.artist-embedded.org\/overview\/.]]"},{"key":"e_1_2_1_2_1","volume-title":"et al","author":"Balarin F.","year":"1997","unstructured":"Balarin , F. et al . 1997 . Polis : A Design Environment for Control-Dominated Embedded Systems. Kluwer , Boston, MA.]] Balarin, F. et al. 1997. Polis: A Design Environment for Control-Dominated Embedded Systems. Kluwer, Boston, MA.]]"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.766731"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"volume-title":"Proceedings of the 10th International Symposium on Hardware\/Software Codesign (CODES)","author":"Baleani M.","key":"e_1_2_1_5_1","unstructured":"Baleani , M. , Gennari , F. , Jiang , Y. , Patel , Y. , Brayton , R. K. , and Sangiovanni-Vincentelli , A . 2002. HW\/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform . In Proceedings of the 10th International Symposium on Hardware\/Software Codesign (CODES) , Estes Park, Colorado.]] 10.1145\/774789.774820 Baleani, M., Gennari, F., Jiang, Y., Patel, Y., Brayton, R. K., and Sangiovanni-Vincentelli, A. 2002. HW\/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform. In Proceedings of the 10th International Symposium on Hardware\/Software Codesign (CODES), Estes Park, Colorado.]] 10.1145\/774789.774820"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_2_1_7_1","volume-title":"Warp: An integrated solution of high-speed parallel computing. In Supercomputing '88: Proceedings of the 1988 ACM\/IEEE Conference on Supercomputing","author":"Borkar S.","year":"1988","unstructured":"Borkar , S. , Cohn , R. , Cox , G. , Gleason , S. , and Gross , T . 1988 . Warp: An integrated solution of high-speed parallel computing. In Supercomputing '88: Proceedings of the 1988 ACM\/IEEE Conference on Supercomputing . IEEE Computer Society Press . 330--339.]] Borkar, S., Cohn, R., Cox, G., Gleason, S., and Gross, T. 1988. Warp: An integrated solution of high-speed parallel computing. In Supercomputing '88: Proceedings of the 1988 ACM\/IEEE Conference on Supercomputing. IEEE Computer Society Press. 330--339.]]"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270347"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"volume-title":"POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. ACM Press","author":"Caspi P.","key":"e_1_2_1_11_1","unstructured":"Caspi , P. , Pilaud , D. , Halbwachs , N. , and Plaice , J. A . 1987. Lustre: A declarative language for real-time programming . In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. ACM Press , New York. 178--188.]] 10.1145\/41625.41641 Caspi, P., Pilaud, D., Halbwachs, N., and Plaice, J. A. 1987. Lustre: A declarative language for real-time programming. In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. ACM Press, New York. 178--188.]] 10.1145\/41625.41641"},{"key":"e_1_2_1_12_1","volume-title":"FPL '00: Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications. Springer-Verlag. 605--614","author":"Caspi E.","year":"2000","unstructured":"Caspi , E. , Chu , M. , Huang , R. , Yeh , J. , Wawrzynek , J. , and DeHon , A. 2000 . Stream computations organized for reconfigurable execution (score) . In FPL '00: Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications. Springer-Verlag. 605--614 .]] Caspi, E., Chu, M., Huang, R., Yeh, J., Wawrzynek, J., and DeHon, A. 2000. Stream computations organized for reconfigurable execution (score). In FPL '00: Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications. Springer-Verlag. 605--614.]]"},{"key":"e_1_2_1_13_1","unstructured":"CS294. http:\/\/www.cs.berkeley.edu\/~culler\/cs294-f03\/.]]  CS294. http:\/\/www.cs.berkeley.edu\/~culler\/cs294-f03\/.]]"},{"key":"e_1_2_1_14_1","unstructured":"CS294w. http:\/\/www.cs.berkeley.edu\/~adj\/cs294-1.f00\/.]]  CS294w. http:\/\/www.cs.berkeley.edu\/~adj\/cs294-1.f00\/.]]"},{"volume-title":"Proceedings of the Design Automation Conference.]] 10","author":"de Kock E. A.","key":"e_1_2_1_15_1","unstructured":"de Kock , E. A. , Essink , G. , Smits , W. J. M. , van der Wolf , P. , Brunel , J.-Y. , Kruijtzer , W. M. , Lieverse , P. , and Vissers , K. A . 2000. Yapi: Application modeling for signal processing systems . Proceedings of the Design Automation Conference.]] 10 .1145\/337292.337511 de Kock, E. A., Essink, G., Smits, W. J. M., van der Wolf, P., Brunel, J.-Y., Kruijtzer, W. M., Lieverse, P., and Vissers, K. A. 2000. Yapi: Application modeling for signal processing systems. Proceedings of the Design Automation Conference.]] 10.1145\/337292.337511"},{"key":"e_1_2_1_16_1","unstructured":"dSpace. http:\/\/www.dspaceinc.com\/ww\/en\/inc\/products\/sw\/targetli.htm.]]  dSpace. http:\/\/www.dspaceinc.com\/ww\/en\/inc\/products\/sw\/targetli.htm.]]"},{"key":"e_1_2_1_17_1","unstructured":"EE249. http:\/\/www-cad.eecs.berkeley.edu\/~polis\/class.]]  EE249. http:\/\/www-cad.eecs.berkeley.edu\/~polis\/class.]]"},{"key":"e_1_2_1_18_1","unstructured":"EE290A. http:\/\/www-cad.eecs.berkeley.edu\/respep\/research\/classes\/ee290a\/fall02\/.]]  EE290A. http:\/\/www-cad.eecs.berkeley.edu\/respep\/research\/classes\/ee290a\/fall02\/.]]"},{"key":"e_1_2_1_19_1","unstructured":"EE290N. http:\/\/embedded.eecs.berkeley.edu\/concurrency\/.]]  EE290N. http:\/\/embedded.eecs.berkeley.edu\/concurrency\/.]]"},{"key":"e_1_2_1_20_1","unstructured":"EE290O. http:\/\/www.cs.uni-salzburg.at\/~ck\/teaching\/eecs290o-spring-2002.]]  EE290O. http:\/\/www.cs.uni-salzburg.at\/~ck\/teaching\/eecs290o-spring-2002.]]"},{"key":"e_1_2_1_21_1","unstructured":"EECS20N. http:\/\/ptolemy.eecs.berkeley.edu\/eecs20\/index.html.]]  EECS20N. http:\/\/ptolemy.eecs.berkeley.edu\/eecs20\/index.html.]]"},{"volume-title":"Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems. Springer-Verlag, 16--30","author":"Ferdinand C.","key":"e_1_2_1_22_1","unstructured":"Ferdinand , C. and Wilhelm , R . 1998. On predicting data cache behavior for real-time systems . In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems. Springer-Verlag, 16--30 .]] Ferdinand, C. and Wilhelm, R. 1998. On predicting data cache behavior for real-time systems. In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems. Springer-Verlag, 16--30.]]"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/780822.781133"},{"key":"e_1_2_1_24_1","unstructured":"Giotto. http:\/\/embedded.eecs.berkeley.edu\/giotto\/.]]  Giotto. http:\/\/embedded.eecs.berkeley.edu\/giotto\/.]]"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703890"},{"volume-title":"Proceedings of the International Conference on Programming Language Design and Implementation. ACM Press","author":"Henzinger T. A.","key":"e_1_2_1_27_1","unstructured":"Henzinger , T. A. and Kirsch , C. M . 2002. The embedded machine: Predictable, portable real-time code . In Proceedings of the International Conference on Programming Language Design and Implementation. ACM Press , New York, 315--326.]] 10.1145\/512529.512567 Henzinger, T. A. and Kirsch, C. M. 2002. The embedded machine: Predictable, portable real-time code. In Proceedings of the International Conference on Programming Language Design and Implementation. ACM Press, New York, 315--326.]] 10.1145\/512529.512567"},{"volume-title":"Proceedings of the IEEE.]]","author":"Horowitz B.","key":"e_1_2_1_28_1","unstructured":"Horowitz , B. Liebman , J. , Ma , C. , Koo , J. , Sangiovanni-Vincentelli , A. , and Sastry , S . 2003. Platform-based embedded software design and system integration for autonomous vehicles . In Proceedings of the IEEE.]] Horowitz, B. Liebman, J., Ma, C., Koo, J., Sangiovanni-Vincentelli, A., and Sastry, S. 2003. Platform-based embedded software design and system integration for autonomous vehicles. In Proceedings of the IEEE.]]"},{"key":"e_1_2_1_29_1","unstructured":"IXP1200. http:\/\/www.intel.com\/design\/network\/products\/npfamily\/ixp1200.htm.]]  IXP1200. http:\/\/www.intel.com\/design\/network\/products\/npfamily\/ixp1200.htm.]]"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.248873"},{"volume-title":"ACM\/IEEE International Symposium On Low Power Electronics and Design.]]","author":"Koushanfar F.","key":"e_1_2_1_31_1","unstructured":"Koushanfar , F. , Davare , A. , Nguyen , D. T. , Potkonjak , M. , and Sangiovanni-Vincentelli , A . 2003. Distributed localized algorithms and protocols for power minimization in networked embedded systems . In ACM\/IEEE International Symposium On Low Power Electronics and Design.]] Koushanfar, F., Davare, A., Nguyen, D. T., Potkonjak, M., and Sangiovanni-Vincentelli, A. 2003. Distributed localized algorithms and protocols for power minimization in networked embedded systems. In ACM\/IEEE International Symposium On Low Power Electronics and Design.]]"},{"key":"e_1_2_1_32_1","volume-title":"Proc. of the First Signal Processing Education Workshop.]]","author":"Lee E. A.","year":"2000","unstructured":"Lee , E. A. 2000 . Designing a relevant lab for introductory signals and systems . Proc. of the First Signal Processing Education Workshop.]] Lee, E. A. 2000. Designing a relevant lab for introductory signals and systems. Proc. of the First Signal Processing Education Workshop.]]"},{"volume-title":"Proceedings of the IEEE.]]","author":"Lee E. A.","key":"e_1_2_1_33_1","unstructured":"Lee , E. A. and Messerschmitt , D. G . 1987. Synchronous data flow . In Proceedings of the IEEE.]] Lee, E. A. and Messerschmitt, D. G. 1987. Synchronous data flow. In Proceedings of the IEEE.]]"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"volume-title":"Proc. of the First Signal Processing Education Workshop.]]","author":"Lee E. A.","key":"e_1_2_1_35_1","unstructured":"Lee , E. A. and Varaiya , P . 2000. Introducing signals and systems---the Berkeley approach . Proc. of the First Signal Processing Education Workshop.]] Lee, E. A. and Varaiya, P. 2000. Introducing signals and systems---the Berkeley approach. Proc. of the First Signal Processing Education Workshop.]]"},{"key":"e_1_2_1_36_1","unstructured":"Lee E. A. and Varaiya P. 2003. Structure and interpretation of signals and systems. Addison-Wesley Reading MA.]]  Lee E. A. and Varaiya P. 2003. Structure and interpretation of signals and systems. Addison-Wesley Reading MA.]]"},{"volume-title":"Workshop on Languages, Compilers and Tools for Real-Time Systems. 88--98","author":"Li Y.-T. S.","key":"e_1_2_1_37_1","unstructured":"Li , Y.-T. S. and Malik , S . 1995. Performance analysis of embedded software using implicit path enumeration . In Workshop on Languages, Compilers and Tools for Real-Time Systems. 88--98 .]] 10.1145\/216636.216666 Li, Y.-T. S. and Malik, S. 1995. Performance analysis of embedded software using implicit path enumeration. In Workshop on Languages, Compilers and Tools for Real-Time Systems. 88--98.]] 10.1145\/216636.216666"},{"key":"e_1_2_1_38_1","unstructured":"Liberty. http:\/\/liberty.cs.princeton.edu\/software\/lse\/.]]  Liberty. http:\/\/liberty.cs.princeton.edu\/software\/lse\/.]]"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Lygeros J. Tomlin C. and Sastry S. 1999. Controllers for reachability specifications for hybrid systems. In Automatica Special Issue on Hybrid Systems.]]  Lygeros J. Tomlin C. and Sastry S. 1999. Controllers for reachability specifications for hybrid systems. In Automatica Special Issue on Hybrid Systems.]]","DOI":"10.1016\/S0005-1098(98)00193-9"},{"volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe. IEEE Computer Society.]]","author":"Martin G.","key":"e_1_2_1_41_1","unstructured":"Martin , G. and Salefski , B . 1998. Methodology and technology for design of communications and multimedia products via system-level ip integration . In Proceedings of the Conference on Design, Automation and Test in Europe. IEEE Computer Society.]] Martin, G. and Salefski, B. 1998. Methodology and technology for design of communications and multimedia products via system-level ip integration. In Proceedings of the Conference on Design, Automation and Test in Europe. IEEE Computer Society.]]"},{"key":"e_1_2_1_42_1","unstructured":"Mathworks. http:\/\/www.mathworks.com\/products\/rtw\/.]]  Mathworks. http:\/\/www.mathworks.com\/products\/rtw\/.]]"},{"key":"e_1_2_1_43_1","unstructured":"Matlab. http:\/\/www.mathworks.com\/.]]  Matlab. http:\/\/www.mathworks.com\/.]]"},{"key":"e_1_2_1_44_1","unstructured":"Mescal. http:\/\/embedded.eecs.berkeley.edu\/mescal.]]  Mescal. http:\/\/embedded.eecs.berkeley.edu\/mescal.]]"},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the IEEE. 541--580. NewsletterInfo: 33. Published as Proceedings of the IEEE, 77","author":"Murata T.","year":"1989","unstructured":"Murata , T. 1989 . Petri nets: Properties, analysis and applications . In Proceedings of the IEEE. 541--580. NewsletterInfo: 33. Published as Proceedings of the IEEE, 77 , 4.]] Murata, T. 1989. Petri nets: Properties, analysis and applications. In Proceedings of the IEEE. 541--580. NewsletterInfo: 33. Published as Proceedings of the IEEE, 77, 4.]]"},{"key":"e_1_2_1_46_1","unstructured":"Nexperia. http:\/\/www.semiconductors.philips.com\/products\/nexperia\/.]]  Nexperia. http:\/\/www.semiconductors.philips.com\/products\/nexperia\/.]]"},{"key":"e_1_2_1_48_1","unstructured":"PATH. http:\/\/www.path.berkeley.edu\/.]]  PATH. http:\/\/www.path.berkeley.edu\/.]]"},{"key":"e_1_2_1_49_1","unstructured":"PicoRadio. http:\/\/bwrc.eecs.berkeley.edu\/research\/pico_radio.]]  PicoRadio. http:\/\/bwrc.eecs.berkeley.edu\/research\/pico_radio.]]"},{"volume-title":"Proceedings of the Design Automation Conference 2002 (DAC'02)","author":"Pinto A.","key":"e_1_2_1_50_1","unstructured":"Pinto , A. , Carloni , L. , and Sangiovanni-Vincentelli , A . 2002. Constraint-driven communication synthesis . In Proceedings of the Design Automation Conference 2002 (DAC'02) .]] 10.1145\/513918.514114 Pinto, A., Carloni, L., and Sangiovanni-Vincentelli, A. 2002. Constraint-driven communication synthesis. In Proceedings of the Design Automation Conference 2002 (DAC'02).]] 10.1145\/513918.514114"},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77)","author":"Pnueli A.","year":"1977","unstructured":"Pnueli , A. 1977 . The temporal logic of programs . In Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77) . IEEE, IEEE Computer Society Press, Providence, Rhode Island, 46--57.]] Pnueli, A. 1977. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77). IEEE, IEEE Computer Society Press, Providence, Rhode Island, 46--57.]]"},{"key":"e_1_2_1_52_1","unstructured":"PtolemyII. http:\/\/ptolemy.eecs.berkeley.edu.]]  PtolemyII. http:\/\/ptolemy.eecs.berkeley.edu.]]"},{"key":"e_1_2_1_53_1","unstructured":"Sangiovanni-Vincentelli A. 2002. Defining platform-based design. EEDesign of EETimes.]]  Sangiovanni-Vincentelli A. 2002. Defining platform-based design. EEDesign of EETimes.]]"},{"volume-title":"Proceedings of the 41st Annual Conference on Design Automation. ACM Press","author":"Sangiovanni-Vincentelli A.","key":"e_1_2_1_54_1","unstructured":"Sangiovanni-Vincentelli , A. , Carloni , L. , Bernardinis , F. D. , and Sgroi , M . 2004. Benefits and challenges for platform-based design . In Proceedings of the 41st Annual Conference on Design Automation. ACM Press , New York, 409--414.]] 10.1145\/996566.996684 Sangiovanni-Vincentelli, A., Carloni, L., Bernardinis, F. D., and Sgroi, M. 2004. Benefits and challenges for platform-based design. In Proceedings of the 41st Annual Conference on Design Automation. ACM Press, New York, 409--414.]] 10.1145\/996566.996684"},{"key":"e_1_2_1_55_1","first-page":"181","article-title":"NP-Click: A Programming Model for the Intel IXP1200, 1 ed. Vol. 2. Elsevier","volume":"9","author":"Shah N.","year":"2004","unstructured":"Shah , N. , Plishker , W. , and Keutzer , K. 2004 . NP-Click: A Programming Model for the Intel IXP1200, 1 ed. Vol. 2. Elsevier , Chapter 9 , 181 -- 201 .]] Shah, N., Plishker, W., and Keutzer, K. 2004. NP-Click: A Programming Model for the Intel IXP1200, 1 ed. Vol. 2. Elsevier, Chapter 9, 181--201.]]","journal-title":"Chapter"},{"key":"e_1_2_1_56_1","unstructured":"Teja. http:\/\/www.teja.com\/.]]  Teja. http:\/\/www.teja.com\/.]]"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1054907.1054912"},{"key":"e_1_2_1_58_1","unstructured":"Xilinx. http:\/\/www.xilinx.com.]]  Xilinx. http:\/\/www.xilinx.com.]]"},{"key":"e_1_2_1_59_1","unstructured":"Zimet L. Kao S. Amir A. and Sangiovanni-Vincentelli A. 2004. An embedded system for an eye detection sensor. In Computer Vision and Image Understanding: Special Issue on Eye detection and Tracking.]]  Zimet L. Kao S. Amir A. and Sangiovanni-Vincentelli A. 2004. An embedded system for an eye detection sensor. In Computer Vision and Image Understanding: Special Issue on Eye detection and Tracking.]]"},{"volume-title":"IEEE Workshop on VLSI Signal Processing.]]","author":"Zivojnovic V.","key":"e_1_2_1_60_1","unstructured":"Zivojnovic , V. , Pees , S. , and Meyr , H . 1996. Lisa---machine description language and generic machine model for hw\/sw co-design . IEEE Workshop on VLSI Signal Processing.]] Zivojnovic, V., Pees, S., and Meyr, H. 1996. Lisa---machine description language and generic machine model for hw\/sw co-design. IEEE Workshop on VLSI Signal Processing.]]"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086519.1086521","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086519.1086521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:12Z","timestamp":1750262892000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086519.1086521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,8]]},"references-count":58,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["10.1145\/1086519.1086521"],"URL":"https:\/\/doi.org\/10.1145\/1086519.1086521","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2005,8]]},"assertion":[{"value":"2005-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}