标记装订
人员信息
优化列表
2020年–今天
2024 [公元22年] 大文·张 , 潘石东 , 通洪 , 振兴 , 标记装订 , 徐希伟(Xiwei Xu) , 姚丽娜 , 清华路 , 朱黎明 :
被遗忘还是公平:揭示机器遗忘方法的公平含义。 AI伦理 4 ( 1 ) : 83-93 ( 2024 ) [第52条] 张大文 , 伯明霞 , 刘岳(音) , 徐希伟(Xiwei Xu) , 通洪 , 振兴 , 标记装订 , 清华路 , 朱黎明 :
生成性人工智能中的隐私和版权保护:生命周期视角。 中央情报局 2024 : 92-97 [第51条] 潘石东 , 甄涛 , 通洪 , 大文·张 , 李天石 , 振兴 , 徐希伟(Xiwei Xu) , 标记装订 , 蒂埃里·拉科图拉维洛 , 大卫·罗 :
一个新的希望:移动应用程序的上下文隐私政策和实现自动生成的方法。 USENIX安全研讨会 2024 [公元50年] 潘石东 , 大文·张 , 标记装订 , 振兴 , 陈洁珊 , 徐希伟(Xiwei Xu) , 通洪 :
这是陷阱吗? 移动应用程序在线自动隐私政策生成器的大规模实证研究和综合评估。 USENIX安全研讨会 2024 [i12] 潘石东 , 甄涛 , 通洪 , 大文·张 , 李天石 , 振兴 , 雪莉·徐 , 标记装订 , 蒂埃里·拉科塔里韦洛 , 大卫·罗 :
{一个新的希望}:移动应用程序的上下文隐私政策和实现自动生成的方法。 CoRR公司 abs/2402.14544 ( 2024 ) 2023 [公元21年] 刘岳(音) , 清华路 , 朱黎明 , 白慧英 , 标记装订 :
区块链治理的系统文献综述。 J.系统。 柔和。 197 : 111576 ( 2023 ) [i11] 大文·张 , 潘石东 , 通洪 , 振兴 , 标记装订 , 徐希伟(Xiwei Xu) , 姚丽娜 , 清华路 , 朱黎明 :
被遗忘还是公平:揭示机器学习方法的公平含义。 CoRR公司 abs/2302.03350 ( 2023 ) [i10] 潘石东 , 大文·张 , 标记装订 , 振兴 , 陈洁珊 , 徐希伟(Xiwei Xu) , 詹姆斯·黄 :
移动应用程序在线自动隐私策略生成器的大规模实证研究。 CoRR公司 abs/2305.03271 ( 2023 ) [第九章] 潘石东 , 通洪 , 大文·张 , 振兴 , 徐希伟(Xiwei Xu) , 清华路 , 标记装订 :
阅读恐惧症:从隐私政策中自动生成隐私营养标签。 CoRR公司 abs/2306.10923 ( 2023 ) [i8] 潘石东 , 甄涛 , 通洪 , 大文·张 , 振兴 , 徐希伟(Xiwei Xu) , 标记装订 , 大卫·罗 :
请参阅隐私:移动应用程序的自动上下文隐私策略生成。 CoRR公司 abs/2307.01691 ( 2023 ) [i7] 大文·张 , 帕梅拉·芬肯伯格-布罗曼 , 通洪 , 潘石东 , 振兴 , 标记装订 , 徐希伟(Xiwei Xu) :
在大型语言模型时代被遗忘的权利:含义、挑战和解决方案。 CoRR公司 abs/2307.03941 ( 2023 ) [i6] 大文·张 , 通洪 , 潘石东 , 胡永泉 , 振兴 , 标记装订 , 徐希伟(Xiwei Xu) , 清华路 , 亚伦·奎格利 :
测试者有发言权:理解语言测试中使用人工智能的含义。 CoRR公司 abs/2307.09885 ( 2023 ) [i5] 大文·张 , 伯明霞 , 刘岳(音) , 徐希伟(Xiwei Xu) , 通洪 , 振兴 , 标记装订 , 清华路 , 朱黎明 :
在破碎的网络中标记你的鱼:保护在线隐私和版权的负责任的网络框架。 CoRR公司 abs/2310.07915 ( 2023 ) [i4] 大文·张 , 伯明霞 , 刘岳(音) , 徐希伟(Xiwei Xu) , 通洪 , 振兴 , 标记装订 , 清华路 , 朱黎明 :
在生成性人工智能的数据生命周期中应对隐私和版权挑战。 CoRR公司 abs/2311.18252 ( 2023 ) 2021 [公元20年] 清华路 , 安平川 , 英戈·韦伯 , 雨果·奥康纳 , 保罗·林巴 , 徐希伟(Xiwei Xu) , 标记装订 , 朱黎明 , 罗斯·杰弗里 :
用于业务流程和资产管理的区块链应用程序的集成模型驱动工程。 柔和。 实际。 支出。 51 ( 5 ) : 1059-1079 ( 2021 ) [公元19年] 清华路 , 安平川 , 英戈·韦伯 , 雨果·奥康纳 , 保罗·林巴 , 徐希伟(Xiwei Xu) , 标记装订 , 朱黎明 , 罗斯·杰弗里 :
特色封面。 柔和。 实际。 支出。 51 ( 5 ) : 我 ( 2021 ) [公元49年] 英戈·韦伯 , 标记装订 :
可编程货币:使用区块链的下一代条件支付。 更接近 2021 : 7-14 [公元48年] H.M.N.Dilum Bandara先生 , 陈世平(Shiping Chen) , 标记装订 , 伊琳赛 :
基于Hyperledger Fabric的农业供应链多层访问控制策略建模。 TPS-ISA公司 2021 : 355-364 [i3] 刘岳(音) , 清华路 , 朱黎明 , 白慧英 , 标记装订 :
区块链治理的系统文献综述。 CoRR公司 abs/2105.05460 ( 2021 ) 2020 [公元18年] Sin Kuang Lo公司 , 徐希伟(Xiwei Xu) , 标记装订 , 姚丽娜 :
区块链预言的可靠性分析。 计算。 选举人。 工程师。 83 : 106582 ( 2020 ) [j17] 保罗·林巴 , 安平川 , 英戈·韦伯 , 标记装订 , 亚历山大·波诺马列夫 , 徐希伟(Xiwei Xu) :
量化不信任的成本:比较区块链和云服务的业务流程执行。 信息系统。 边境 22 ( 2 ) : 489-507 ( 2020 ) [公元16年] 保罗·林巴 , 安平川 , 英戈·韦伯 , 标记装订 , 亚历山大·波诺马列夫 , 徐希伟(Xiwei Xu) :
更正为:量化不信任成本:比较区块链和云服务对业务流程执行的影响。 信息系统。 边境 22 ( 2 ) : 509-510 ( 2020 ) [公元47年] 清华路 , 标记装订 , 雨果·奥康纳 , 陈世平(Shiping Chen) , Adnene Guabtni公司 :
基于区块链的贸易证书系统的软件架构。 IEEE工商银行 2020 : 1-3 [i2] 清华路 , 安平川 , 英戈·韦伯 , 雨果·奥康纳 , 保罗·林巴 , 徐希伟(Xiwei Xu) , 标记装订 , 朱黎明 , 罗斯·杰弗里 :
业务流程和资产管理区块链应用程序的集成模型驱动工程。 CoRR公司 abs/2005.12685 ( 2020 )
2010 – 2019
2019 【b1】 徐希伟(Xiwei Xu) , 英戈·韦伯 , 标记装订 :
区块链应用程序的体系结构。 施普林格 2019 ,国际标准图书编号 978-3-030-03034-6 ,第1-307页 [公元46年] 拉吉莎·亚萨韦拉辛格 , 标记装订 , 白慧英 , 英戈·韦伯 :
针对性能、成本和安全性优化体系结构。 ECSA公司 2019 : 161-177 [公元45年] Sin Kuang Lo公司 , 徐希伟(Xiwei Xu) , 陈旺 , 英戈·韦伯 , 保罗·林巴 , 清华路 , 标记装订 :
用于食品欺诈检测的数字物理奇偶校验。 中国工商银行 2019 : 65-79 [电子1] 克劳迪奥·迪·西乔 , 雷娜塔·加布里埃尔奇克 , 卢西亚诺·加西亚·巴涅洛斯 , 托米斯拉夫·埃尔诺 , 瑞克·赫尔 , 莫伊卡·英迪哈尔·斯坦伯格 , 安德烈亚·科 , 标记装订 :
业务流程管理:区块链与中欧和东欧论坛-BPM 2019区块链与CEE论坛,奥地利维也纳,2019年9月1-6日,会议记录。 商业信息处理课程讲稿 361, 施普林格 2019 ,国际标准图书编号 978-3-030-30428-7 [目录] 2018 [公元15年] 文森特·格拉莫利 , 标记装订 :
区块链标准:我们能达成共识吗? IEEE通信。 站立。 美格。 2 ( 三 ) : 16-21 ( 2018 ) [公元14年] 简·门德林 , 英戈·韦伯 , Wil M.P.van der Aalst先生 , 简·沃姆·布鲁克 , 克里斯蒂娜·卡巴尼利亚斯 , 弗洛里安·丹尼尔 , 瑟伦·德布瓦 , 克劳迪奥·迪·西乔 , 马龙·杜马 , 沙赫拉姆·达斯达尔 , 阿维格多·加尔 , 卢西亚诺·加西亚·巴涅洛斯 , 圭多总督府 , 理查德·哈尔 , 马塞洛·拉罗萨 , 亨利克·利奥波德 , 弗兰克·莱曼 , 简·雷克 , 曼弗雷德·雷切尔 , Hajo A.Reijers公司 , 斯蒂芬妮·林德勒(Stefanie Rinderle-Ma) , 安德烈亚斯·索尔蒂 , 迈克尔·罗斯曼 , 斯特凡·舒尔特 , 穆林达尔·辛格 , 蒂杰斯·斯拉茨 , 标记装订 , 芭芭拉·韦伯 , 马蒂亚斯·魏德利希 , 马蒂亚斯·韦斯克 , 徐希伟(Xiwei Xu) , 朱黎明 :
业务流程管理区块链——挑战与机遇。 ACM事务处理。 管理。 信息系统。 9 ( 1 ) : 4:1-4:16 ( 2018 ) [公元44年] 西德尼·阿曼尼 , 万利安贝格尔 , 马克西姆·博廷 , 标记装订 :
在Isabelle/HOL中验证以太坊智能合约字节码。 清洁石油产品 2018 : 66-77 [公元43年] 拉吉莎·亚萨韦拉辛格 , 标记装订 , 英戈·韦伯 , 白慧英 :
使用体系结构建模和仿真预测隐私保护数据分析的性能。 ICSA公司 2018 : 166-175 2017 [公元42年] 安平川 , 徐希伟(Xiwei Xu) , 英格·韦伯 , 标记装订 , 保罗·林巴 :
Regerator:区块链的注册表生成器。 CAiSE论坛DC 2017 : 81-88 [公元41年] 徐希伟(Xiwei Xu) , 英戈·韦伯 , 标记装订 , 朱黎明 , 扬·博世 , 林·巴斯 , 切萨雷·保塔索 , 保罗·林巴 :
基于区块链的体系结构设计系统分类。 ICSA公司 2017 : 243-252 [公元40年] 拉吉莎·亚萨韦拉辛格 , 标记装订 , 英戈·韦伯 :
使用体系结构建模和仿真预测基于区块链的系统的延迟。 ICSA公司 2017 : 253-256 [公元39年] 保罗·林巴 , 安平川 , 英戈·韦伯 , 标记装订 , 亚历山大·波诺马列夫 , 徐希伟(Xiwei Xu) :
比较区块链和云服务的业务流程执行。 ICSA公司 2017 : 257-260 [公元38年] 英格·韦伯 , 文森特·格拉莫利 , 亚历山大·波诺马列夫 , 标记装订 , 拉尔夫·霍尔兹 , 安平川 , 保罗·林巴 :
关于基于区块链的系统的可用性。 SRDS公司 2017 : 64-73 [i1] 简·门德林 , 英戈·韦伯 , Wil M.P.van der Aalst先生 , 简·沃姆·布鲁克 , 克里斯蒂娜·卡巴尼利亚斯 , 弗洛里安·丹尼尔 , 瑟伦·德布瓦 , 克劳迪奥·迪·西乔 , 马龙·杜马 , 沙赫拉姆·达斯达尔 , 阿维格多·加尔 , 卢西亚诺·加西亚·巴涅洛斯 , 圭多总督府 , 理查德·哈尔 , 马塞洛·拉罗萨 , 亨利克·利奥波德 , 弗兰克·莱曼 , 简·雷克 , 曼弗雷德·雷切尔 , Hajo A.Reijers公司 , 斯蒂芬妮·林德勒(Stefanie Rinderle-Ma) , 安德烈亚斯·罗格·索尔蒂 , 迈克尔·罗斯曼 , 斯特凡·舒尔特 , 穆林达尔·辛格 , 蒂杰斯·斯拉茨 , 标记装订 , 芭芭拉·韦伯 , 马蒂亚斯·魏德利希 , 马蒂亚斯·韦斯克 , 徐希伟(Xiwei Xu) , 朱黎明 :
业务流程管理区块链——挑战与机遇。 CoRR公司 abs/1704.03610 ( 2017 ) 2016 [公元37年] 标记装订 , 朱黎明 , 约翰·C·格兰迪 :
数据分析系统的持续验证。 ICSE(配套卷) 2016 : 769-772 2015 [j13] D.罗斯·杰弗里 , 标记装订 , 琼·安德罗妮克 , 格温·克莱因 , 托比·C·穆雷 :
理解形式方法生产力的实证研究议程。 Inf.软件。 技术。 60 : 102-112 ( 2015 ) [公元12年] 标记装订 :
批判理性主义与工程:方法论。 合成。 192 ( 1 ) : 337-362 ( 2015 ) [公元36年] 标记装订 :
对有效、有用的软件工程理论的不懈探索。 GTSE@ICSE公司 2015 : 47-58 [公元35年] 丹尼尔·马提库克 , 托比·C·穆雷 , 琼·安德罗妮克 , D.罗斯·杰弗里 , 格温·克莱因 , 标记装订 :
正式软件验证成本领先指标的实证研究。 ICSE(1) 2015 : 722-732 2014 [公元11年] 标记装订 :
批判理性主义与工程:本体论。 合成。 191 ( 10 ) : 2255-2279 ( 2014 ) [公元34年] 标记装订 , D.罗斯·杰弗里 , 琼·安德罗妮克 , 托比·C·穆雷 , 格温·克莱因 , 拉斐尔·科兰斯基 :
验证工程的生产力。 环境与社会管理局 2014 : 15:1-15:4 2013 [公元10年] 尹起健 , 标记装订 , 新叶 , 朱黎明 :
应用选择方法选择质量属性技术。 Inf.软件。 技术。 55 ( 8 ) : 1419-1436 ( 2013 ) [公元33年] 标记装订 , 拉斐尔·科兰斯基 , 格温·克莱因 , 科里·刘易斯 , 琼·安德罗妮克 , 托比·C·穆雷 , D.罗斯·杰弗里 , 林·巴斯 :
在代码调整方面,形式规范比功能点更好。 ICSE公司 2013 : 1257-1260 2012 [公元32年] 达纳苏里斯蒂约·库苏莫 , 标记装订 , 朱黎明 , 何章 , D.罗斯·杰弗里 :
非现成软件获取和开发的风险:系统映射研究和调查。 EASE公司 2012 : 233-242 [公元31年] 达纳苏里斯蒂约·库苏莫 , 标记装订 , 朱黎明 , D.罗斯·杰弗里 :
使用利益相关者分析,分析基于OTS的定制软件项目中开发人员和收购者之间的风险认知差异。 环境与社会管理局 2012 : 69-78 [公元30年] 琼·安德罗妮克 , D.罗斯·杰弗里 , 格温·克莱因 , 拉斐尔·科兰斯基 , 标记装订 , 何章 , 朱黎明 :
实践中的大规模形式验证:过程视角。 ICSE公司 2012 : 1002-1011 [公元29年] 何章 , 格温·克莱因 , 标记装订 , 琼·安德罗妮克 , 朱黎明 , 拉斐尔·科兰斯基 :
大规模正式验证过程的仿真建模。 ICSSP公司 2012 : 3-12 [公元28年] 伊霍尔·库兹 , 朱黎明 , 林·巴斯 , 标记装订 , 徐希伟(Xiwei Xu) :
成本效益可靠系统的架构方法。 WICSA/ECSA公司 2012 : 325-328 2011 [公元9年] 刘燕(Yan Liu) , Xin Liang(新亮) , 徐凌志 , 标记装订 , 朱黎明 :
使用体系结构集成模式组合企业混搭组件和服务。 J.系统。 柔和。 84 ( 9 ) : 1436-1446 ( 2011 ) [公元27年] 达纳苏里斯蒂约·库苏莫 , 朱黎明 , 标记装订 , 何章 :
基于非现成软件采办的系统映射研究。 ACIS公司 2011 2010 [公元26年] Shukor Sanim Bin Mohd Fauzi公司 , 保罗·班纳曼 , 标记装订 :
全球软件开发中的软件配置管理:系统图。 亚太经合组织 2010 : 404-413 [公元25年] 尹起谦 , 朱黎明 , 标记装订 :
质量属性技术的系统选择。 专业(2) 2010 : 59-62 [公元24年] 标记装订 , 马哈茂德·尼亚齐 :
关于小企业动机和CMMI准备情况的两个案例研究。 专业(2) 2010 : 63-66
2000 – 2009
2009 【c23】 尹起谦 , 朱黎明 , 标记装订 :
质量属性技术框架。 欧洲SPI 2009 : 173-184 [公元22年] 纳兹里娜·库希德 , 保罗·班纳曼 , 标记装订 :
克服第一个障碍:为什么组织不采用CMMI。 ICSP公司 2009 : 38-49 [c21] 朱黎明 , Tu Tak Tran公司 , 标记装订 , D.罗斯·杰弗里 :
XML领域的技术软件开发过程。 ICSP公司 2009 : 246-255 [公元20年] 刘燕(Yan Liu) , Xin Liang(新亮) , 徐凌志 , 标记装订 , 朱黎明 :
使用架构集成模式组成企业mashup。 WICSA/ECSA公司 2009 : 111-120 [第19条] 徐希伟(Xiwei Xu) , 朱黎明 , 标记装订 , 刘燕(Yan Liu) :
分布式进程密集型系统的一种架构方法。 WICSA/ECSA公司 2009 : 277-280 2008 [j8] 芭芭拉·基钦厄姆 , 希亚姆·阿尔·基利达尔 , 穆罕默德·阿里·巴巴尔 , 迈克·贝里 , 卡尔·考克斯 , 张学友(Jacky Keung) , 费利西亚·库尼亚瓦蒂 , 标记装订 , 何章 , 朱黎明 :
评估实证软件工程研究报告指南。 恩皮尔。 柔和。 工程师。 13 ( 1 ) : 97-121 ( 2008 ) [j7] 标记装订 , 马哈茂德·尼亚齐 :
系统审查采用基于CMM的SPI的组织动机。 Inf.软件。 技术。 50 ( 7-8 ) : 605-620 ( 2008 ) [第18条] 徐希伟(Xiwei Xu) , 朱黎明 , 刘燕(Yan Liu) , 标记装订 :
面向资源的业务流程体系结构。 亚太经合组织 2008 : 395-402 [第17条] 朱黎明 , 标记装订 , 弗拉基米尔·托西奇 :
关于创建全行业参考体系结构。 EDOC公司 2008 : 24-30 [第16条] Xi Chen(陈曦) , 标记装订 , 保罗·班纳曼 :
CMMI成熟度级别2中特定实践之间的依赖性分析。 欧洲SPI 2008 : 94-105 [第15条] 徐希伟(Xiwei Xu) , 朱黎明 , 刘燕(Yan Liu) , 标记装订 :
面向资源的超大型系统业务流程建模。 ULSSIS@ICSE公司 2008 : 65-68 [第14条] 朱黎明 , 标记装订 , D.罗斯·杰弗里 :
扩大软件架构(Architecture)评估过程。 ICSP公司 2008 : 112-122 2007 [j6] 朱黎明 , 利昂·J·奥斯特维尔 , 标记装订 , Udo Kannengiesser公司 , 鲍里斯拉瓦·西米奇埃娃 :
希望在定义参考业务流程时使用语言。 国际期刊软件。 信息学 1 ( 1 ) : 37-65 ( 2007 ) [j5] 标记装订 , 马哈茂德·尼亚齐 , D.罗斯·杰弗里 , 艾伦·亚伯拉罕 , 保罗·拜厄特 , 罗素·墨菲 :
对组织为什么不采用CMMI的探索性研究。 J.系统。 柔和。 80 ( 6 ) : 883-895 ( 2007 ) 【j4】 标记装订 , 马哈茂德·尼亚齐 :
使用系统审查指南的经验。 J.系统。 柔和。 80 ( 9 ) : 1425-1437 ( 2007 ) [j3] 约瑟夫·内德斯坦 , 标记装订 :
软件架构和重用的发展策略。 柔和。 过程。 改进。 实际。 12 ( 三 ) : 295-309 ( 2007 ) [第13条] 朱黎明 , 利昂·J·奥斯特维尔 , 标记装订 , Udo Kannengiesser公司 :
参考业务流程定义中观察到的挑战。 业务流程管理研讨会 2007 : 95-107 [c12] Xi Chen(陈曦) , 标记装订 :
使用实践成果领域了解CMMI特定实践对中小企业的感知价值。 欧洲SPI 2007 : 59-70 [第11条] 刘燕(Yan Liu) , 朱黎明 , 林·巴斯 , 伊恩·戈顿 , 标记装订 :
非功能性属性驱动的服务治理:性能影响。 ICSOC研讨会 2007 : 45-55 [第10条] 朱黎明 , 标记装订 :
情境方法质量。 情境方法工程 2007 : 193-206 【c9】 朱黎明 , D.罗斯·杰弗里 , 标记装订 , 明火 , Tu Tak Tran公司 :
架构和技术开发过程对微流程的影响。 ICSP公司 2007 : 49-60 【c8】 野中诚 , 朱黎明 , 穆罕默德·阿里·巴巴尔 , 标记装订 :
软件产品线开发中的项目延迟变化模拟。 ICSP公司 2007 : 283-294 【c7】 野中真本 , 朱黎明 , 穆罕默德·阿里·巴巴尔 , 标记装订 :
软件产品线开发中的项目成本超支模拟。 专业人士 2007 : 330-344 2006 【c6】 标记装订 , 马哈茂德·尼亚齐 :
使用系统审查指南的经验。 EASE公司 2006 【c5】 芭芭拉·基钦厄姆 , 希亚姆·阿尔·基利达尔 , 穆罕默德·阿里·巴巴尔 , 迈克·贝里 , 卡尔·考克斯 , 张学友(Jacky Keung) , 费利西亚·库尼亚瓦蒂 , 标记装订 , 何章 , 朱黎明 :
经验软件工程研究的评估指南。 伊塞斯 2006 : 38-47 2004 【c4】 标记装订 , Derrick Hill公司 :
在没有产品线体系结构的情况下采用软件产品线开发的经验。 亚太经合组织 2004 : 176-183 【c3】 标记装订 :
产品线软件工程的变更控制。 亚太经合组织 2004 : 572-573 2001 【c2】 彼得·林赛 , 安东尼·麦克唐纳 , 保罗·斯特罗珀 , 标记装订 :
基于子系统的配置管理框架。 澳大利亚软件工程会议 2001 : 275-284 2000 [注2] 标记装订 :
用于优化递归和过程的接口。 形式方面计算。 12 ( 5 ) : 372-391 ( 2000 )
1990 – 1999
1999 【c1】 标记装订 :
在Isabelle/ZF中表示WP语义。 TPHOL公司 1999 : 239-254 1996 [j1] 珍妮特·怀尔斯 , 保罗·贝克尔 , 亚当·林顿 , 迈克尔·诺里斯 , 肖恩·帕金森 , 标记装订 , 阿兰·怀特塞德 :
将前馈网络中的瓶颈用作降维技术:在优化任务中的应用。 神经计算。 8 ( 6 ) : 1179-1183 ( 1996 )