×

找到143个文档(结果1-100)

基于时间相关策略的访问控制。 (英语) Zbl 1515.68214号

Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第21条,第18页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用UPPAAL对连续动力系统进行离散化。 (英语) Zbl 1498.68142号

Katoen,Joost Pieter(编辑)等人,ModelEd,testEd,trustEd。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10500, 297-315 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从LOTOS到LNT。 (英语) Zbl 1498.68062号

Katoen,Joost Pieter(编辑)等人,ModelEd,testEd,trustEd。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10500, 3-26 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用线性逻辑验证复合web服务中的需求场景。 (英语) Zbl 1498.68171号

Cavalhero,Simone(编辑)等人,《形式方法:基础和应用》。2017年11月29日至12月1日在巴西累西腓举行的第20届巴西研讨会,SBMF 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10623, 215-232 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对DC网和群组匿名协议的信息泄漏进行形式化分析。 (英语) Zbl 1498.68047号

Cavalhero,Simone(编辑)等人,《形式方法:基础和应用》。2017年11月29日至12月1日在巴西累西腓举行的第20届巴西研讨会,SBMF 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10623142-158(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于行动者的系统中基于目的的政策实施。 (英语) Zbl 1498.68192号

Dastani,Mehdi(编辑)等人,《软件工程基础》,第七届国际会议,2017年4月26日至28日,伊朗德黑兰,FSEN 2017。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10522, 196-211 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

处理并发程序的优先级和锁。 (英语) Zbl 1495.68041号

D’Souza,Deepak(编辑)等人,《验证和分析自动化技术》。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10482, 208-224 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于学习的事件记录自动机合成参数。 (英语) Zbl 1489.68136号

Bouajjani,Ahmed(编辑)等人,分布式对象、组件和系统的形式化技术。2017年6月19日至22日,作为第12届分布式计算技术国际联合会议的一部分,在瑞士诺伊查泰尔举行了第37届IFIP WG 6.1国际会议,即2017年FORTE。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10321, 17-32 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

MSVL的可视化建模语言。 (英语) 兹比尔1461.68120

刘少英(主编)等,结构化面向对象形式语言和方法。2016年11月15日,第六届国际研讨会,SOFL+MSVL 2016,日本东京。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10189, 220-237 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多项式自动机:零和应用。 (英语) Zbl 1457.68138号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第41条,第12页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

因果结构的范畴语义。 (英语) Zbl 1457.68190号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第35条,第12页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

定时下推自动机和分支向量加法系统。 (英语) Zbl 1457.68140号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第23条,第12页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

一系列高效仿真算法的基础。 (英语) Zbl 1457.68301号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第9条,第12页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

动态访问控制中的深度防御制定和使用。 (英语) Zbl 1444.68043号

Maffei,Matteo(编辑)等人,《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议,即2017年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10204, 253-274 (2017).
MSC公司:68平方米25 68M10个
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向一种高效的基于树自动机的定时系统技术。 (英语) Zbl 1442.68123号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第39条,第15页(2017)。
PDF格式BibTeX公司 XML格式引用

自动机网络的均匀采样。 (英语) Zbl 1442.68081号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第36条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有效的余代数划分精化。 (英语) Zbl 1442.68112号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第32条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用

关于并发Kleene代数的可判定性。 (英语) Zbl 1442.68128号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第28条,第15页(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Brzozowski是并发的——pomset语言的Kleene定理。 (英语) Zbl 1442.68145号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第85条,第25条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用

凸代数的幂。 (英语) Zbl 1442.68085号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第23条,第18页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

控制人口。 (英语) Zbl 1437.68175号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第12条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用

Parikh自动机的正则可分性。 (英语) 兹比尔1442.68088

Chatzigianakis,Ioannis(编辑)等人,第44届自动化、语言和编程国际研讨会,2017年ICALP,波兰华沙,2017年7月10日至14日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80,第117条,第13页(2017年)。
PDF格式BibTeX公司 XML格式引用

异步分布式自动机:模式片段的特征。 (英语) Zbl 1442.68096号

Chatzigianakis,Ioannis(编辑)等人,第44届自动化、语言和编程国际研讨会,2017年ICALP,波兰华沙,2017年7月10日至14日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80,第100条,第14页(2017年)。
PDF格式BibTeX公司 XML格式引用

关于Petri网的向上/向下闭包。 (英语) Zbl 1441.68142号

Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第49条,第14页(2017年)。
PDF格式BibTeX公司 XML格式引用

常规过程中痕量夹杂物的共导方程表征。 (英语) Zbl 1431.68075号

Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 449-465 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性定价概率时间自动机的符号验证和策略综合。 (英语) Zbl 1431.68066号

Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 289-309 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

时间自动机的信息流。 (英语) Zbl 1431.68079号

Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 3-21 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Event-B机构。 (英语) Zbl 1496.68105号

James,Phillip(编辑)等人,代数开发技术的最新趋势。2016年9月21日至24日,第23届IFIP工作组1.3国际研讨会,WADT 2016,英国格雷戈诺格。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10644, 104-119 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

混合系统统计模型检验的多级蒙特卡罗方法。 (英语) 兹比尔1420.68126

Bertrand,Nathalie(编辑)等人,《系统的定量评估》。2017年9月5-7日在德国柏林举行的2017年QEST第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10503, 351-367 (2017).
PDF格式BibTeX公司 XML格式引用

基于树的分类聚类算法中的隐私感知数据共享。 (英语) Zbl 1403.68212号

Cuppens,Frédéric(编辑)等人,《安全基础与实践》。2016年10月24日至25日,加拿大魁北克省魁北克市,FPS 2016第九届国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-51965-4/pbk;978-3-3169-51966-1/电子书)。计算机科学讲义10128161-178(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CSP用于并行化Brzozowski的DFA构造算法。 (英语) Zbl 1395.68176号

Konstantinidis,Stavros(编辑)等人,《理论在计算机科学中的作用》。专为Janusz Brzozowski撰写的论文。新泽西州哈肯萨克:世界科学(ISBN 978-981-3148-19-2/hbk;978-981-3 148-21-5/电子书)。217-243 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布凸集中的终止。 (英语) Zbl 1400.68145号

Bonchi,Filippo(ed.)等人,第七届计算机科学代数和代数会议,2017年6月14日至16日,斯洛文尼亚卢布尔雅那。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-033-0)。LIPIcs–莱布尼茨国际信息学论文集72,第22条,第16页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

(mathbb{A}^3)中11点的Hilbert格式是不可约的。 (英语) Zbl 1390.14020号

Smith,Gregory G.(编辑)等,组合代数几何。2016年7月至12月,加拿大渥太华,2016学徒计划的论文选集。多伦多:菲尔兹数学科学研究所;纽约州纽约:施普林格出版社(ISBN 978-1-4939-7485-6/hbk;978-1-4939-7486-3/ebook)。菲尔德研究所通信80,321-352(2017)。
PDF格式BibTeX公司 XML格式引用

通过多项式海森堡代数的好的、坏的和丑陋的相干态。 (英语) Zbl 1390.81239号

Duarte,Sergio(编辑)等人,对称的物理和数学方面。2016年6月19-25日,巴西里约热内卢,第31届物理群论方法国际学术研讨会论文集。查姆:施普林格(ISBN 978-3-319-69163-3/hbk;978-3-3169-69164-0/电子书)。111-117 (2017).
PDF格式BibTeX公司 XML格式引用

利用最小有理切线的线性变化将态射变形到Picard数为1的Fano流形上。 (英语) Zbl 1388.14120号

Oguiso,Keiji(编辑)等人,《高维代数几何》。为纪念川间裕次郎教授的六十岁生日。会议记录,日本东京,2013年1月7日至11日。东京:日本数学学会(MSJ)(ISBN 978-4-86497-046-4/hbk)。《纯数学高等研究》74,237-264(2017)。
PDF格式BibTeX公司 XML格式引用

从代数熵的观点看角点的实现定理。 (英语) Zbl 1388.20071号

Fontana,Marco(编辑)等人,《环、多项式和模》。2016年6月13日至17日,意大利Bressanone/Brixen,“交换环和模理论的最新进展”会议记录,2016年7月3日至8日,奥地利格拉茨,“环和多项式会议”。商会:施普林格出版社(ISBN 978-3-319-65872-8/hbk;978-3-319-65874-2/ebook)。237-255 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合关系建模语言。 (英语) Zbl 1485.68162号

Gibson-Robinson,Thomas(编辑)等人,《并发、安全和谜题》。在安德鲁·威廉·罗斯科60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10160, 124-143 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对多核程序进行建模和验证。 (英语) Zbl 1474.68196号

高晓峰(主编)等,组合优化及其应用。第十一届国际会议,2017年COCOA,中国上海,2017年12月16-18日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10628, 492-500 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在\(G\)-刚性曲面上。 (英语。俄文原件) Zbl 1396.14040号

程序。Steklov Inst.数学。 298, 133-151 (2017); 翻译自Tr.Mat.Inst.Steklova 298144-164(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过工作自动机暴露潜在的互斥。 (英语) Zbl 1485.68158号

Mousavi,Mohammad Reza(编辑)等人,《理论计算机科学专题》。2017年9月12日至14日在伊朗德黑兰举行的第二届IFIP工作组1.8国际会议,TTCS 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10608, 59-73 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

三次折叠上变形曲线的障碍。三: 位于(K3)曲面上的曲线的变形。 (英语) Zbl 1378.14003号

国际数学杂志。 28,第13号,文章ID 1750099,30 p.(2017); 更正同上,第31号,第12条,文章编号2092001,第6页(2020年)。
PDF格式BibTeX公司 XML格式引用

让我们懒惰一点,我们有时间-或者,懒惰的时间自动机可达性分析。 (英语) Zbl 1494.68182号

阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10419, 247-263 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于时间自动机网络中的全局调度无关性。 (英语) Zbl 1494.68181号

阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10419, 42-57 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连续时间Markov决策过程的迹关系和逻辑保持。 (英语) Zbl 1444.68122号

Hung,Dang Van(编辑)等人,《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10580, 192-209 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有活页夹的行为动态逻辑机构。 (英语) Zbl 1444.68119号

Hung,Dang Van(编辑)等人,《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10580, 13-31 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于确定监控器的复杂性。 (英语) Zbl 1489.68149号

Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329, 1-13 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

模型、算法、逻辑和工具。纪念金·古德斯特兰·拉森60岁生日的文章。 (英语) Zbl 1368.68004号

计算机科学课堂讲稿10460.商会:施普林格出版社(ISBN 978-3-319-63120-2/pbk;978-3-319-63121-9/ebook)。十七、662页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散时间动力系统的形式化方法。 (英语) Zbl 1409.93003号

系统、决策和控制研究89.查姆:施普林格(ISBN 978-3-319-50762-0/hbk;978-3-3169-50763-7/电子书)。十八、284页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

枚举事件结构的验证算法。 (英语) Zbl 1367.68245号

Geuvers,Herman(编辑)等人,《智能计算机数学》。2017年7月17日至21日,在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。查姆:施普林格(ISBN 978-3-319-62074-9/pbk;978-3-3169-62075-6/电子书)。计算机科学课程讲稿10383。《人工智能讲义》,239-254(2017)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号