{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:33:50Z","timestamp":1729661630252,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/grc.2005.1547378","type":"proceedings-article","created":{"date-parts":[[2005,12,10]],"date-time":"2005-12-10T15:49:09Z","timestamp":1134229749000},"page":"683-688 Vol. 2","source":"Crossref","is-referenced-by-count":2,"title":["The design and application of structured types in Ptolemy II"],"prefix":"10.1109","author":[{"family":"Yuhong Xiong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Leet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Xiaojun Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yang Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.C.","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27794-1_11"},{"journal-title":"An Extensible Type System for Component-Based Design","year":"2002","author":"xiong","key":"11"},{"key":"12","article-title":"An extensible type system for componentbased design","author":"xiong","year":"2000","journal-title":"Int Conf on Tools and Algor for Constr and Analysis of Systems"},{"key":"3","volume":"1","author":"brooks","year":"2004","journal-title":"Heterogeneous Concurrent Modeling and Design in Java - Volume 1 Introduction to Ptolemy II"},{"journal-title":"ANSI\/IEEE Std 802 11 Part 11 Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications","year":"0","key":"2"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58601-6_110","article-title":"Set constraints: Results, applications and future directions","author":"aiken","year":"1994","journal-title":"Proc of the Second Workshop on the Principles and Practice of Constraint Programming"},{"key":"10","volume":"12","author":"robinson","year":"1965","journal-title":"A Machine-oriented Logic Based on the Resolution Principle"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/800017.800529"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459848"},{"key":"5","article-title":"What are the key challenges in embedded software?","volume":"2","author":"lee","year":"2005","journal-title":"System Design Frontier"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/234313.234418"},{"key":"9","article-title":"Tractable constraints in finite semilattices","author":"rehof","year":"1996","journal-title":"Third Int Static Analysis Symposium"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZY.1998.687467"}],"event":{"name":"2005 IEEE International Conference on Granular Computing","start":{"date-parts":[[2005,7,27]]},"location":"Beijing, China","end":{"date-parts":[[2005,7,27]]}},"container-title":["2005 IEEE International Conference on Granular Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10381\/33011\/01547378.pdf?arnumber=1547378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T21:37:37Z","timestamp":1497649057000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1547378\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/grc.2005.1547378","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}