博文

一种基于进程代数的协议组合形式化模型

2013-12-3 19:14

contents 1 一种基于进程代数的协议组合形式化模型 2 一种基于交互的网络服务体系结构描述语言 一种基于进程代数的协议组合形式化模型 沈 苏 彬 西比大学学报(自然科学版) 2004 摘要:目的探讨组合协议的组合规则和机制，用于描述和分析复杂的网络协议。方法运用通信 顺序进 ...

个人分类: Formal method|3509 次阅读|没有评论

review：Trust Dynamics: A Data-Driven Simulation

2013-11-8 20:09

Trust Dynamics: A Data-Driven Simulation Approach Olufunmilola Onolaja, Rami Bahsoon, and Georgios Theodoropoulos IFIPTM 2011, IFIP AICT 358, pp. 323–334, 2011. Abstract. Reputation and trust-based models have gained popularity recently because ...

个人分类: Econometrics|2519 次阅读|没有评论

review: GreenMeter: A Tool for Assessing the Quality and Rec

2013-9-13 11:41

GreenMeter: A Tool for Assessing the Quality and Recommending Tags for Web 2.0 Applications Saulo Ricci, Dilson Guimares, Fabiano Belém, Jussara M. Almeida, Marcos A. Gonalves, Raquel Prates SIGIR’11, July 24–28, 2011, Beijing, China. ABSTRACT &nb ...

个人分类: AI & ML|2751 次阅读|没有评论

review: Product-Form Approximation of Queueing Networks wit

2013-9-10 09:16

Product-Form Approximation of Queueing Networks with Phase-Type Service Giuliano Casale, Peter G. Harrison, Maria Grazia Vigliotti Reversed Compound Agent Theorem (RCAT) Product-form approximation of queueing networks with phase-type service.pdf ...

个人分类: Formal method|2669 次阅读|没有评论

review: Introduction to Multiobjective Optimization:

热度 1 2013-9-10 09:02

Introduction to Multiobjective Optimization: Interactive Approaches Kaisa Miettinen1, Francisco Ruiz2, and Andrzej P. Wierzbicki3 Multiobjective Optimization, LNCS 5252, pp. 27–57, 2008. Abstract. We give an overview of interactive methods developed for solving ...

个人分类: OR & Optimize|3289 次阅读|1 个评论 热度 1

review: Machine Learning on Big Data

2013-9-6 17:59

Machine Learning on Big Data Tyson Condie #1, Paul Mineiro #2, Neoklis Polyzotis *3, Markus Weimer#4 # Cloud and Information Services Lab, Microsoft One Microsoft Way, Redmond, USA Abstract— Statistical Machine Learning has undergone a phase transition from a pure a ...

个人分类: AI & ML|3633 次阅读|没有评论

review: LoKI: Location-based PKI for Social Networks

2013-8-27 11:18

LoKI: Location-based PKI for Social Networks Randy Baden SIGCOMM’11, August 15–19, 2011, Toronto, Ontario, Canada Keywords Public Key Infrastructure, Online Social Networks, Location, Mobility 1. INTRODUCTION public key infrastructure (PKI) - Certificat ...

个人分类: Network|2501 次阅读|没有评论

本页有 3 篇博文因作者的隐私设置或未通过审核而隐藏