Verifying a Distributed Database Lookup Manager Written in Erlang

机译：验证在Erlang中编写的分布式数据库查找管理器

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Thomas Arts; Mads Dam;
展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Design and Implementation of a Resource Manager in a Distributed Database System [J] . Norman Bobroff, Lily Mummert Journal of network and systems management . 2005,第2期

机译：分布式数据库系统中资源管理器的设计与实现
2. Managers’ experiences of ethical problems in municipal elderly care: a qualitative study of written reflections as part of leadership training [J] . Lise-Lotte Jonasson, Lars Sandman, Anders Bremer Journal of Healthcare Leadership . 2019,第1期

机译：管理者在市政老年人护理中的道德问题经验：作为领导力培训一部分的书面思考的定性研究
3. Proper Written Contracts Important For Ranch Managers [J] . John Ahai Cohan Limousin World . 2011,第9期

机译：正确的书面合同对牧场经营者很重要
4. System description: verification of distributed erlang programs [C] . Thomas Arts, Mads Dam, Lars-ake Fredlund, International conference on automated deduction . 1998

机译：系统描述：验证分布式erlang程序
5. VERIFICATION OF CONCURRENCY CONTROL ALGORITHMS FOR DISTRIBUTED DATABASE SYSTEMS. [D] . HUA, CECIL TREN-MIN. 1981

机译：分布式数据库系统的保密控制算法的验证。
6. Managers’ experiences of ethical problems in municipal elderly care: a qualitative study of written reflections as part of leadership training [O] . Lise-Lotte Jonasson, Lars Sandman, Anders Bremer 2019

机译：管理者在市政老年人护理中的道德问题经验：作为领导力培训一部分的书面思考的定性研究
7. A Distributed Key-Value Store Implementation and evaluation of two strategies for lookup in distributed databases [O] . Bergkvist Olle, Eriksson Peter, Jarmar Julia, 2014

机译：分布式键值存储在分布式数据库中实现和评估两种查找策略

Verifying a Distributed Database Lookup Manager Written in Erlang

著录项

引文网络

相似文献

相关主题

期刊订阅