{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,7]]，“日期-时间”：“2024-09-07T16:07:19Z”，“时间戳”：1725725239253}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：22，“发布商”：“ACM”，“许可证”：[{“开始”：{-“日期-零件”：[2018,11,5]]，“日期时间”：“2018-11-05T00:00:00Z”，“时间戳”：154137600000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“content-domain”：{“domain”:[“dl.acm.org”]，“crossmark-restriction”：true}，”short-container-title“：[]，”published-print“：{”date-parts“：[2018,11,5]}”，“DOI”：“10.1145\/327 8122.3278134“，”type“：”procesdings-article“，“created”：{“date-parts”：[[2018,10,24]]，“date-time”：“2018-10-24T15:28:39Z”，“timestamp”：1540394919000}，“page”：“66-78”，“update-policy”：”http:\\/dx.doi.org\/10.1145\/crossmark-policy“，”source“：”Crossref“，”is-referenced-by-count“：1，”title“：[”通过二进制传感器实现半因果域特定语言进行上下文检测“]，”prefix“：“10.1145”，“卷”：“2017”，“作者”：[{“给定”：“尼克”，“家族”：“瓦兰斯基”，“序列”：“第一”，“从属关系”：[}“名称”：“Inria，France”}]}，{“给出”：“伯纳德”，“家庭”：“Serpette”，“顺序”：“附加”，“附属关系”：[{“名称“：”Inria、France“}]}.，{”给定“：”查尔斯“，“家族“：”Consel“，”序列“：”附加“，”从属关系“：[{”名称“：“Bordeaux INP，France\/Inria，France”｝]]，“成员”：“320”，“在线发布”：｛“日期部分”：[[2018,11,5]]｝，“参考”：[｛“密钥”：“e_1_3_2_1_1”，“doi断言者”：“publisher”，“doi”：“10.1016\/j.jss.2016.02.010”｝，｛“密钥”：“e_1_3_2_2_1”，“doi断言者”：“publisher”，“doi”：“10.1145\/182.358434”｝，｛“卷标题”：“优雅老化技术。交互19，3（5月），“年份”：“2012年”，“作者”：“Baecker Ronald M.”，“关键”：“e_1_3_2_1_3_1”，《非结构化》：“Ronald M。Baecker，Karyn Moffatt，Michael Massimi.2012。优雅老化技术。互动19，3（2012年5月），32-36。罗纳德·巴克尔（Ronald M.Baecker）、卡琳·莫法特（Karyn Moffatt）和迈克尔·马西米（Michael Massimi）。2012.优雅老化技术。交互19，3（2012年5月），32-36。“}，{“卷-时间”：“Tom van Cutsem，Stijn Mostinkx，and Wolfgang de Meuter。”，“年份”：“2013年”，“作者”：“Bainomugisha工程师”，“密钥”：“e_1_3_2_1_4_1”，“非结构化”：“工程师Bainomugisha、Andoni Lombide Carreton、Tom van Cutsem、Stijn Mostinkx和Wolfgang de Meuter。2013 . 反应式编程综述。ACM计算机。Surv公司。第45、4条，第52条（2013年8月），34页。工程师Bainomugisha、Andoni Lombide Carreton、Tom van Cutsem、Stijn Mostinkx和Wolfgang de Meuter。2013年，《反应式编程调查》。ACM计算机。Surv公司。第45、4条，第52条（2013年8月），34页。}，{“key”：“e_1_3_2_1_5_1”，“非结构化”：“T.Bourke和A.Sowmya.2010。Esterel的延迟。在SYNCHRON 2009（达格斯图尔研讨会论文集）中，阿尔伯特·本文尼斯特（Albert Benveniste）、史蒂芬·A·爱德华兹（Stephen A.Edwards）、爱德华·李·克劳斯·施奈德（Edward Lee Klaus Schneider）和莱因哈德·冯·汉克斯利登（Reinhard von Hanxleden）（编辑）。Dagstuhl-Leibniz-Zentrum fuer Informatik Schloss德国。http://\/drops.dagstuhl.de\/opus\/volltexte\/2010\/2434。T.伯克和A.索米亚。2010年，Esterel的延期。在SYNCHRON 2009（达格斯图尔研讨会论文集）中，阿尔伯特·本文尼斯特（Albert Benveniste）、史蒂芬·A·爱德华兹（Stephen A.Edwards）、爱德华·李·克劳斯·施奈德（Edward Lee Klaus Schneider）和莱因哈德·冯·汉克斯利登。Dagstuhl-Leibniz-Zentrum fuer Informatik Schloss德国。http://\/drops.dagstuhl.de\/opus\/volltexte\/2010\/2434.“}，{“volume-title”：“使用二进制传感器网络对多个对象进行确定性跟踪的分析。传感器网络上的ACM事务8”，“年份”：“2011年”，“作者”：“Busnel Yann”，“密钥”：“e_1_3_2_1_6_1”，”非结构化“：”Yann Busnel、Leonardo Querzoni、Roberto Baldoni、Marin Bertier和Anne-Marie Kermarrec。2011.使用二进制传感器网络对多个对象进行确定性跟踪的分析。ACM传感器网络事务8（2011）。https:\/\/hal.inria.fr\/inria-00590873。Yann Busnel、Leonardo Querzoni、Roberto Baldoni、Marin Bertier和Anne-Marie Kermarrec。2011.使用二进制传感器网络对多个对象进行确定性跟踪的分析。ACM传感器网络事务8（2011）。https:\/\/hal.inria.fr\/inria-00590873.“}，{“volume-title”：“第八届应用人类因素与人类工效学国际会议论文集”，“年份”：“2017年”，“作者”：“Consel Charles”，“密钥”：“e_1_3_2_1_7_1”，“非结构化”：“查尔斯·康塞尔（Charles Consel）、露西尔·杜佩（Lucile Dupuy）和H\u00e9l\u00e8ne Sauz\u00e 9on。2017 . 家庭辅助：基于跨学科方法的就地老龄化辅助生活平台。第八届应用人类因素和人类工效学国际会议论文集（AHFE 2017）。斯普林格。查尔斯·康塞尔（Charles Consel）、露西尔·杜佩（Lucile Dupuy）和H\u00e9l\u00e8ne Sauz\u00e 9on。2017年，HomeAssist：基于跨学科方法的就地老龄化辅助生活平台。第八届应用人类因素和人类工效学国际会议论文集（AHFE 2017）。斯普林格。“}，{”volume-title“：”智能家居最终用户开发的第一人称体验“，”year“：”2016“，”author“：”Coutaz Jo\u00eblle“，”key“：”e_1_3_2_1_8_1“，“unstructured”：“Jo\u00 eblle Coutaz and James L Crowley。2016。智能家居终端用户开发的第一人称体验。IEEE普及计算15（2016年5月），26-39。乔·库塔兹和詹姆斯·克劳利。2016年，首次体验智能家居终端用户开发。IEEE普适计算15（2016年5月），26-39.“}，{“卷时间”：“第15条（6月），“年份”：“2012”，“作者”：“Cugola Gianpaolo”，“密钥”：“e_1_3_2_1_9_1”，“非结构化”：“Gianpaologo Cugola和Alessandro Margara。2012。信息处理流：从数据流到复杂事件处理。ACM计算机。Surv公司。第44、3条，第15条（2012年6月），共62页。Gianpaolo Cugola和Alessandro Margara。2012.信息处理流程：从数据流到复杂事件处理。ACM计算机。Surv公司。第44、3条，第15条（2012年6月），共62页。“}，{”key“：”e_1_3_2_10_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/351268.351276”}，“volume-title”：“反应规范”，“author”：“Gamati\u00e9 Abdoulaye”，“key”：“e_1_ 3_2_11_1”，“unstructured”：“Abdoulay Gamati\ u00e9.2010。用SIGNAL编程语言设计嵌入式系统：同步，反应规范。纽约州纽约市施普林格出版社，《同步编程：概述》第21-39章。阿卜杜拉耶·加马蒂\u00e9。2010.使用SIGNAL编程语言设计嵌入式系统：同步、反应规范。纽约州纽约市施普林格市，《同步编程：概述》第21-39章。“}，{”key“：”e_1_3_2_12_1“，”首页“：”1297“，”volume-title“：”第十一届人工智能国际联合会议论文集第2卷（IJCAI'89）“，”author“：”Ghallab Malik“，”year“：”1989“，”unstructured“：”Malik Ghallab和Amine Mounir Alaoui。1989 . 通过索引生成树有效管理时间关系。第11届国际人工智能联合会议论文集——第2卷（IJCAI’89）。摩根考夫曼出版公司，美国加利福尼亚州旧金山，1297-1303。http://\/dl.acm.org\/citation.cfm？id=1623891.1623963。Malik Ghallab和Amine Mounir Alaoui。1989.通过索引生成树有效管理时间关系。第11届国际人工智能联合会议论文集第2卷（IJCAI’89）。Morgan Kaufmann Publishers Inc.，美国加利福尼亚州旧金山，1297-1303。http://\/dl.acm.org\/citation.cfm？id=1623891.1623963.“}，{”key“：”e_1_3_2_13_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2750858.2805830”}，“key”：“e_1_ 3_2_14_1”，“unstructured”：“David Janin和Bernard Paul Serpette。2016。时间流上因果函数的时间表示语义。研究报告。LaBRI-实验室Bordelais de Recherche en Informatique。https:\/\/hal.archives-ouvertes.fr\/hal-01402209。大卫·贾宁（David Janin）和伯纳德·保罗·塞尔佩特（Bernard Paul Serpette）。2016.时序流因果函数的时序表示语义。研究报告。信息研究实验室。https:\/\/hal.archives-ouvertes.fr\/hal-01402209.“}，{”key“：”e_1_3_2_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.pmcj.2012.07.003”}，“key”：“e_1_ 3_2_16_1”，“doi-assert-by”：“publisher”，”doi“：”10.3390\/s130505460 serted-by“：”publisher“，”doi“：”10.1109\/SURV.2013.042313.00197“}，{”key“：”e_1_3_2_18_1“，“doi-asserted-by“：”publisher“，”doi“：”10.1109\/TASE.2015.2471842“}，{”key“：”e_1_3_2_1_19_1“，“doi-assert-by”：“publisher”，“doi”：“10.1145\/3099584”}，“key”：“e_1_ 3_2_1_2_20_1”，”首页“：”82“，”article-title“：”CCBL:智能家居终端用户开发的新语言“，”卷“：”2017“，”作者“：”Terrier Lena\ u00efc”，“年份”：“2017年”，“非结构化”：“Lena\u00efc梗、Alexandre Demeure和Sybill Caffiau。2017 . CCBL：智能家居终端用户开发的新语言。2017年IS-EUD会议记录。82 - 87 . https:\/\/pure.tue.nl\/ws\/files\/69763287\/IS_EUD2017_extended_abstracts.pdf#page=83。Lena\u00efc梗、Alexandre Demeure和Sybill Caffiau。2017.CCBL：智能家居终端用户开发的新语言。2017年IS-EUD会议记录。82-87. https:\/\/pure.tue.nl\/ws\/files\/69763287\/IS_EUD2017_extended_abstracts.pdf#page=83.“，”journal-title“：”IS-EUD“}的会议记录，{“第一页”：“803”，“volume-title”：“SIGCHI计算机系统人为因素会议记录（CHI'14）”，“作者”：“Ur Blase”，“key”：“e_1_3_21_1”，“非结构化”：“Blase Ur、Elyse McManus、Melwyn Pak Yong Ho和Michael L.Littman。2014.智能家居中的实际触发动作编程。《SIGCHI计算机系统人为因素会议论文集》（CHI'14）。美国纽约州纽约市ACM，803-812。Blase Ur、Elyse McManus、Melwyn Pak Yong Ho和Michael L.Littman。2014.智能家居中的实际触发动作编程。《SIGCHI计算机系统人为因素会议论文集》（CHI'14）。ACM，New York，NY，USA，803-812.“}，{“key”：“e_1_3_2_1_23_1”，“doi asserted by”：“crossref”，“首页”：“11”，“doi”：“10.1109\/TAC.2003.819073”，“文章标题”：“使用二进制传感器的系统识别”，“卷”：“48”，“作者”：“王乐毅”，“年份”：“2003”，“非结构化”：“王乐毅、张纪峰和G.G。阴。2003 . 使用二进制传感器进行系统识别。IEEE传输。自动化。控制48，11（2003年11月），1892-1907。王乐毅、张继峰和尹国国。2003.使用二进制传感器进行系统识别。IEEE传输。自动垫。控制48，11（2003年11月），1892-1907。”，“期刊标题”：“IEEE Trans。自动化。Control“}”，“event”：{“name”：“GPCE’18:第17届ACM SIGPLAN生成性编程国际会议：概念和经验”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”]，“location”：“Boston MA USA”，“缩写词”：“GCCE’18”}，“container-title”：[第17届ACM SIGPLAN生成程序设计国际会议论文集：概念和经验“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/3278122.3278134”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,9,4]]，“date-time“：”2023-09-04T21:54:29Z“，”timestamp“：1693864469000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278134”}}，“副标题”：[]，“短标题”：[]，“已发布”：{-“日期部分”：[[2018,11,5]}，《参考计数》：22，“alternative-id”：[“10.1145\/327822.22”3278134“，”10.1145\/3278122“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/3278122.3278134“，”关系“：{”is-idential-to“：[{”id-type“：”doi“，”id“：”10.1145\/3393934.3278134“，”asserted-by“：”object“}]}，”subject“：[]，“published”：{“date-parts”：[2018,11,5]}、“assertion”：[{”value“：”2018-11-05“，”order“：2，”name“：”published“，”标签“：”已发布“，”组“：{“name”：“publication_history”，“label”：“出版历史“}}]}}