首页>外文会议>International symposium on trustworthy global computing

International symposium on trustworthy global computing

召开年：2013
召开地：Buenos Aires(AR)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Content-Driven Reputation for Collaborative Systems

机译：内容驱动的协作系统信誉
- 作者：Luca de Alfaro;Bo Adler
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
2.Challenges for Quantitative Analysis of Collective Adaptive Systems

机译：集体自适应系统定量分析的挑战
- 作者：Jane Hillston
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
3.The Scribble Protocol Language

机译：涂鸦协议语言
- 作者：Nobuko Yoshida;Raymond Hu;Rumyana Neykova;Nicholas Ng
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
4.Dynamic Measurement and Protected Execution: Model and Analysis

机译：动态测量和受保护的执行：模型和分析
- 作者：Shiwei Xu;Ian Batten;Mark Ryan
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
5.Security Correctness for Secure Nested Transactions: Extended Abstract

机译：安全嵌套事务的安全性正确性：扩展摘要
- 作者：Dominic Duggan;Ye Wu
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
6.Types for Resources in ψ-calculi

机译：ψ-计算中的资源类型
- 作者：Hans Huettel
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
7.A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)

机译：应用过程计算的排序语义框架（扩展摘要）
- 作者：Johannes Borgstroem;Ramunas Gutkovas;Joachim Parrow;Bjoern Victor;Johannes Aman Pohjola
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
8.Timed π-Calculus

机译：定时π微积分
- 作者：Neda Saeedloei;Gopal Gupta
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
9.Towards Static Deadlock Resolution in the π-Calculus

机译：在π演算中实现静态死锁解析
- 作者：Marco Giunti;Antonio Ravara
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
10.Fine-Grained and Coarse-Grained Reactive Noninterference

机译：细颗粒和粗颗粒反应性无干扰
- 作者：Pejman Attar;Ilaria Castellani
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
11.Information Flow Analysis for Valued-Indexed Data Security Compartments

机译：索引数据安全隔间的信息流分析
- 作者：Luisa Lourenco;Luis Caires
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
12.A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems

机译：用于消除并行信息流系统中基于缓存的攻击的库
- 作者：Pablo Buiras;Amit Levy;Deian Stefan;Alejandro Russo;David Mazieres
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
13.Specification of Asynchronous Component Systems with Modal I/O-Petri Nets

机译：模态I / O-Petri网的异步组件系统规范
- 作者：Serge Haddad;Rolf Hennicker;Mikael H. Moller
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
14.A Formal Model for the Deferred Update Replication Technique

机译：延迟更新复制技术的正式模型
- 作者：Andrea Corradini;Leila Ribeiro;Fernando Dotti;Odorico Mendizabal
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
15.Studying Operational Models of Relaxed Concurrency

机译：研究松弛并发的操作模型
- 作者：Gustavo Petri
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
16.Certificates and Separation Logic

机译：证书和分离逻辑
- 作者：Martin Nordio;Cristiano Calcagno;Bertrand Meyer
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
- Software verification;
- Program proofs;
- Separation logic;
- Proof-carrying code;
17.On-the-fly Fast Mean-Field Model-Checking

机译：快速的快速均值模型检查
- 作者：Diego Latella;Michele Loreti;Mieke Massink
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
18.Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations

机译：逐组概率双相似性及其逻辑特征
- 作者：Marco Bernardo;Rocco De Nicola;Michele Loreti
- 会议名称：《International symposium on trustworthy global computing》 | 2014年
19.Preface

机译：前言
- 作者：Martin Abadi;Alberto Lluch Lafuente
- 会议名称：《International symposium on trustworthy global computing》 | 2014年