首页>外文会议>其他>International Symposium on Trustworthly Global Computing

International Symposium on Trustworthly Global Computing

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Perspectives in Certificate Translation

机译：证书翻译的透视图
- 作者：Gilles Barthe;Cesar Kunz
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
2.Approximate Model Checking of Stochastic COWS

机译：随机奶牛的近似模型检查
- 作者：Paola Quaglia;Stefano Schivo
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
3.Functions as Processes: Termination and the λ{top}-μμ{top}～-Calculus

机译：用作过程：终止和λ{top}-μm{top}〜-calculus
- 作者：Matteo Cimini;Claudio Sacerdoti Coen;Davide Sangiorgi
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
4.A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments

机译：桌面网格环境的新型资源驱动作业分配方案
- 作者：Paolo Bertasi;Alberto Pettarin;Michele Scquizzato;Francesco Silvestri
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
5.Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung

机译：强调Web环境作为战略游戏：风险概况和Weltanschauung
- 作者：Joaquim Gabarro;Peter Kilpatrick;Maria Serna;Alan Stewart
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
6.Responsive Choice in Mobile Processes

机译：移动过程中的响应选择
- 作者：Maxime Gamboni;Antonio Ravara
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
- π-calculus;
- Liveness properties;
- Choice;
- Static analysis;
7.Certified Result Checking for Polyhedral Analysis of Bytecode Programs

机译：经委托程序多面体分析的经认证结果检查
- 作者：Frederic Besson;Thomas Jensen;David Pichardie;Tiphaine Turpin
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
8.CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility

机译：CARPAL：互连覆盖网络，用于社区驱动的共享移动性
- 作者：Vincenzo Ciancaglini;Luigi Liquori;Laurent Vanni
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
- Peer to peer;
- Overlay networks;
- Case study;
- Information retrieval;
- Car sharing;
9.Toward a Game-Theoretic Model of Grid Systems

机译：走向网格系统的游戏理论模型
- 作者：Maria Grazia Buscemi;Ugo Montanari;Sonia Taneja
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
10.Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols

机译：信任人群：匿名协议中的概率行为
- 作者：Vladimiro Sassone;Ehab ElSalamouny;Sardaouna Hamadou
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
11.Property-Preserving Refinement of Concurrent Systems

机译：并发系统的财产保存改进
- 作者：Liliana DErrico;Michele Loreti
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
12.A Tool for Checking Probabilistic Properties of COWS Services

机译：一种检查奶牛服务概率性质的工具
- 作者：Igor Cappello;Paola Quaglia
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
13.A Model of Evolvable Components

机译：一种可进化组件的模型
- 作者：Fabrizio Montesi;Davide Sangiorgi
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
14.An Algebra of Hierarchical Graphs

机译：层次图的代数
- 作者：Roberto Bruni;Fabio Gadducci;Alberto Lluch Lafuente
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
15.The Impact of Altruism on the Efficiency of Atomic Congestion Games

机译：利他主义对原子拥堵游戏效率的影响
- 作者：Ioannis Caragiannis;Christos Kaklamanis;Panagiotis Kanellopoulos;Maria Kyropoulou;Evi Papaioannou
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
16.Expressiveness of Generic Process Shape Types

机译：仿制工艺形状类型的表现力
- 作者：Jan Jakubuv;J. B. Wells
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
17.Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode

机译：Java字节码资源分析的符号与分析技术
- 作者：David Aspinall;Robert Atkey;Kenneth MacKenzie;Donald Sannella
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
18.A Framework for Rule-Based Dynamic Adaptation

机译：基于规则的动态自适应框架
- 作者：Ivan Lanese;Antonio Bucchiarone;Fabrizio Montesi
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
19.Refactoring Long Running Transactions: A Case Study

机译：重构长期运行交易：案例研究
- 作者：Gianluigi Ferrari;Roberto Guanciale;Daniele Strollo;Emilio Tuosto
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
20.Certificate Translation for the Verification of Concurrent Programs

机译：证书翻译用于验证并发计划
- 作者：Cesar Kunz
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
21.A Java Inspired Semantics for Transactions in SOC

机译：Java启发了SoC的交易的语义
- 作者：Laura Bocchi;Emilio Tuosto
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
22.Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes

机译：用于非测定，概率和随机过程的均匀标记的过渡系统
- 作者：Marco Bernardo;Rocco De Nicola;Michele Loreti
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年
23.Probabilistic Aspects: Checking Security in an Imperfect World

机译：概率方面：在不完美世界中检查安全性
- 作者：Chris Hankin;Flemming Nielson;Hanne Riis Nielson
- 会议名称：《International Symposium on Trustworthly Global Computing》 | 2010年