2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises最新文献_第3页

Role Framework to Support Collaborative Virtual Prototyping of System of Systems 支持系统的系统协作虚拟原型的角色框架

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.37

J. Schneider, J. Champeau, Loïc Lagadec, E. Senn

引用次数: 3

Clustering EU's Countries According to I. Th. Mazi's Systemic Geopolitical Theory Using K-Means and MPI 欧盟国家的分类基于k -均值和MPI的马子系统地缘政治理论

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.24

I. Savvas, Alekos Stogiannos, I. Mazis

引用次数: 1

Towards an Architecture for End-to-End-Encrypted File Synchronization Systems 端到端加密文件同步系统的体系结构

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.30

Christian Hoffmann, Christoph Brand, Steffen Heinzl

{"title":"Towards an Architecture for End-to-End-Encrypted File Synchronization Systems","authors":"Christian Hoffmann, Christoph Brand, Steffen Heinzl","doi":"10.1109/WETICE.2015.30","DOIUrl":"https://doi.org/10.1109/WETICE.2015.30","url":null,"abstract":"Users often utilize Dropbox and similar services to store their data in a cloud. They protect their data through encryption services offered by the cloud provider. But how reasonable is such a protection? The cloud provider is usually able to (at least theoretically) read the encrypted data, since he is the one holding the encryption keys. And even if you trust a cloud provider, what happens if the cloud provider is acquired by another company? Do you also trust the acquiring company? Global surveillance has become a daily issue, outlined by disclosures of files from the United States National Security Agency (NSA). To keep one's data protected from unauthorized access, a user optimally needs to trust as few other parties as possible. We should aim for a future, in which users are able to protect their data without having to trust the cloud provider who stores their data. This can be achieved by using strong, auditable client-side encryption. This paper presents a first step towards this goal. Starting from a basic requirement -- the principle of least privilege -- requirements are derived that again result in an architecture to build end-to-end-encrypted file synchronization systems. The resulting architecture's practical applicability is shown by a concrete implementation.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126964684","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}

引用次数: 0

Cognitive Application Area Networks: A New Paradigm for Distributed Computing and Intelligent Service Orchestration 认知应用区域网络:分布式计算和智能服务编排的新范式

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.42

Rao V. Mikkilineni, G. Morana, D. Zito

{"title":"Cognitive Application Area Networks: A New Paradigm for Distributed Computing and Intelligent Service Orchestration","authors":"Rao V. Mikkilineni, G. Morana, D. Zito","doi":"10.1109/WETICE.2015.42","DOIUrl":"https://doi.org/10.1109/WETICE.2015.42","url":null,"abstract":"Distributed systems are dynamic systems where software and hardware together deliver information processing services to allow modelling, interaction, reasoning, analysis and control of the external environment. The intent of the distributed computation is to execute computational workflows using computing resources. The software contains the algorithms that specify the tasks while the hardware provides the required resources to execute the algorithms. The initial structure is defined by the association of software with hardware and the dynamic structure is defined by their temporal evolution. The meta-knowledge of the intent of the algorithm, the association of specific algorithm to a specific device, their temporal evolution and exception handling when the computation deviates from the intent is outside the software and hardware design and is expressed in non-functional requirements. In this paper, we describe an architecture to capture the meta-knowledge in meta-containers and enforce the intent of the computation while the computation is in progress.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"645 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120861397","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

MADYNE 2015 Track Report: Management of Dynamic Networked Enterprises MADYNE 2015跟踪报告:动态网络化企业管理

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.53

Nawal Guermouche, S. Tazi

引用次数: 0

Managing Web Resource Compositions 管理Web资源组合

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.46

Mahdi Bennara, Y. Amghar, M. Mrissa

引用次数: 4

Understanding the Effect of Multiple Factors on a Parallel File System's Performance 了解多个因素对并行文件系统性能的影响

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.21

E. C. Inacio, L. Pilla, M. Dantas

引用次数: 4

CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification CDLVT: WS-CDL规范的非功能属性的形式化验证工具

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.14

S. Rebai, Hatem Hadj Kacem, M. Karaa, S. Hernández, A. Kacem

{"title":"CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification","authors":"S. Rebai, Hatem Hadj Kacem, M. Karaa, S. Hernández, A. Kacem","doi":"10.1109/WETICE.2015.14","DOIUrl":"https://doi.org/10.1109/WETICE.2015.14","url":null,"abstract":"Service-oriented architectures (SOA) are hugely adopted. Within the SOA, service composition is fundamental. The design of composing service-based applications is mainly carried out throughout two composition techniques namely choreography and orchestration. Although these two composition models are different in nature, they are complementary. Choreography presents an abstract description of protocols. It offers a top view of the management rules which govern the interactions between the services involved in a decentralized application. On the other hand, orchestration provides details of the executable process at single peers which are necessary for the implementation of choreography. In this context, one open research problem, is the correct transformation of choreography specifications to orchestration specifications since orchestration provides more details to choreography specification. The choreography transformation has been the subject of several research works. Nevertheless, the existing works have considered that the choreography, on which their transformations are based, is correct by default. So, it is crucial to implement a checking process oriented to identify eventual incompatibilities that may arise. For this purpose, we present a formal verification approach based on the SPIN model-checker. The approach automatically transforms WS-CDL choreography specifications to Promela code for verification purposes. We verify non-functional properties that are expressed with linear temporal logic.","PeriodicalId":256616,"journal":{"name":"2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131181692","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}

引用次数: 0

Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud 面向云中动态工作流的供应算法

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.16

Fairouz Fakhfakh, Hatem Hadj Kacem, A. Kacem

引用次数: 1

Equivalence-Based Selection of Best-Fit Models to Support Wiki Design 基于等效的最适合模型选择以支持Wiki设计

2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises Pub Date : 2015-06-15 DOI: 10.1109/WETICE.2015.19

G. D. Ruvo, A. Santone

引用次数: 2