发布求助
文献互助 智能选刊 最新文献

International Conferences on Graph Computing最新文献

筛选
英文 中文
Towards a Formal Treatment of Secrecy Against Computational Adversaries 对计算对手保密的正式处理
International Conferences on Graph Computing Pub Date : 2004-03-09 DOI: 10.1007/978-3-540-31794-4_5
Angelo Troina, A. Aldini, R. Gorrieri
{"title":"Towards a Formal Treatment of Secrecy Against Computational Adversaries","authors":"Angelo Troina, A. Aldini, R. Gorrieri","doi":"10.1007/978-3-540-31794-4_5","DOIUrl":"https://doi.org/10.1007/978-3-540-31794-4_5","url":null,"abstract":"","PeriodicalId":294449,"journal":{"name":"International Conferences on Graph Computing","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123842698","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Specifying and Verifying UML Activity Diagrams Via Graph Transformation 通过图转换指定和验证UML活动图
International Conferences on Graph Computing Pub Date : 2004-03-09 DOI: 10.1007/978-3-540-31794-4_2
Paolo Baldan, A. Corradini, F. Gadducci
{"title":"Specifying and Verifying UML Activity Diagrams Via Graph Transformation","authors":"Paolo Baldan, A. Corradini, F. Gadducci","doi":"10.1007/978-3-540-31794-4_2","DOIUrl":"https://doi.org/10.1007/978-3-540-31794-4_2","url":null,"abstract":"","PeriodicalId":294449,"journal":{"name":"International Conferences on Graph Computing","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124075612","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
BGP-Based Clustering for Scalable and Reliable Gossip Broadcast 基于bgp的可扩展可靠八卦广播聚类
International Conferences on Graph Computing Pub Date : 2004-03-09 DOI: 10.1007/978-3-540-31794-4_15
M. Brahami, P. Eugster, R. Guerraoui, S. Handurukande
{"title":"BGP-Based Clustering for Scalable and Reliable Gossip Broadcast","authors":"M. Brahami, P. Eugster, R. Guerraoui, S. Handurukande","doi":"10.1007/978-3-540-31794-4_15","DOIUrl":"https://doi.org/10.1007/978-3-540-31794-4_15","url":null,"abstract":"","PeriodicalId":294449,"journal":{"name":"International Conferences on Graph Computing","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115889701","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi 凯尔演算:一类高阶分布过程演算
International Conferences on Graph Computing Pub Date : 2004-03-09 DOI: 10.1007/978-3-540-31794-4_9
Alan Schmitt, J. Stefani
{"title":"The Kell Calculus: A Family of Higher-Order Distributed Process Calculi","authors":"Alan Schmitt, J. Stefani","doi":"10.1007/978-3-540-31794-4_9","DOIUrl":"https://doi.org/10.1007/978-3-540-31794-4_9","url":null,"abstract":"","PeriodicalId":294449,"journal":{"name":"International Conferences on Graph Computing","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125525046","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 116
A Framework for Structured Peer-to-Peer Overlay Networks 结构化点对点覆盖网络框架
International Conferences on Graph Computing Pub Date : 2004-03-09 DOI: 10.1007/978-3-540-31794-4_12
L. O. Alima, A. Ghodsi, Seif Haridi
{"title":"A Framework for Structured Peer-to-Peer Overlay Networks","authors":"L. O. Alima, A. Ghodsi, Seif Haridi","doi":"10.1007/978-3-540-31794-4_12","DOIUrl":"https://doi.org/10.1007/978-3-540-31794-4_12","url":null,"abstract":"","PeriodicalId":294449,"journal":{"name":"International Conferences on Graph Computing","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124784508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 48
Performance Analysis of a UML Micro-business Case Study UML微业务案例研究的性能分析
International Conferences on Graph Computing Pub Date : 2004-03-09 DOI: 10.1007/978-3-540-31794-4_7
Katerina Pokozy-Korenblat, C. Priami, P. Quaglia
{"title":"Performance Analysis of a UML Micro-business Case Study","authors":"Katerina Pokozy-Korenblat, C. Priami, P. Quaglia","doi":"10.1007/978-3-540-31794-4_7","DOIUrl":"https://doi.org/10.1007/978-3-540-31794-4_7","url":null,"abstract":"","PeriodicalId":294449,"journal":{"name":"International Conferences on Graph Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125857128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Mobile UML Statecharts with Localities 带有位置的移动UML状态图
International Conferences on Graph Computing Pub Date : 2004-03-09 DOI: 10.1007/978-3-540-31794-4_3
D. Latella, M. Massink, H. Baumeister, M. Wirsing
{"title":"Mobile UML Statecharts with Localities","authors":"D. Latella, M. Massink, H. Baumeister, M. Wirsing","doi":"10.1007/978-3-540-31794-4_3","DOIUrl":"https://doi.org/10.1007/978-3-540-31794-4_3","url":null,"abstract":"","PeriodicalId":294449,"journal":{"name":"International Conferences on Graph Computing","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134108658","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi 移动微积分运行时系统快速原型设计的软件框架
International Conferences on Graph Computing Pub Date : 2004-03-09 DOI: 10.1007/978-3-540-31794-4_10
Lorenzo Bettini, R. Nicola, Daniele Falassi, M. Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, V. Vasconcelos
{"title":"A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi","authors":"Lorenzo Bettini, R. Nicola, Daniele Falassi, M. Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, V. Vasconcelos","doi":"10.1007/978-3-540-31794-4_10","DOIUrl":"https://doi.org/10.1007/978-3-540-31794-4_10","url":null,"abstract":"","PeriodicalId":294449,"journal":{"name":"International Conferences on Graph Computing","volume":"4 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120999919","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case 验证结构化点对点覆盖网络:静态情况
International Conferences on Graph Computing Pub Date : 2004-03-09 DOI: 10.1007/978-3-540-31794-4_13
J. Borgström, U. Nestmann, L. O. Alima, D. Gurov
{"title":"Verifying a Structured Peer-to-Peer Overlay Network: The Static Case","authors":"J. Borgström, U. Nestmann, L. O. Alima, D. Gurov","doi":"10.1007/978-3-540-31794-4_13","DOIUrl":"https://doi.org/10.1007/978-3-540-31794-4_13","url":null,"abstract":"","PeriodicalId":294449,"journal":{"name":"International Conferences on Graph Computing","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121330824","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 24
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism 网络音频机制中性能与安全权衡的研究
International Conferences on Graph Computing Pub Date : 2003-02-09 DOI: 10.1007/978-3-540-40042-4_7
A. Aldini, R. Gorrieri
{"title":"A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism","authors":"A. Aldini, R. Gorrieri","doi":"10.1007/978-3-540-40042-4_7","DOIUrl":"https://doi.org/10.1007/978-3-540-40042-4_7","url":null,"abstract":"","PeriodicalId":294449,"journal":{"name":"International Conferences on Graph Computing","volume":"133 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124336048","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信