Geo-distributed cloud storage systems must tame complexity at many levels: uniform APIs for storage access, supporting exible storage policies that meet a wide array of application metrics, handling uncertain network ...
详细信息
The proceedings contain 20 papers. The special focus in this conference is on Dependable Software engineering: Theories, Tools and applications. The topics include: Place bisimulation and liveness for open Petri nets;...
ISBN:
(纸本)9783319476766
The proceedings contain 20 papers. The special focus in this conference is on Dependable Software engineering: Theories, Tools and applications. The topics include: Place bisimulation and liveness for open Petri nets;divergence detection for CCSL specification via clock causality chain;performance evaluation of concurrent data structures;behavioural pseudometrics for nondeterministic probabilistic systems;computing specification-sensitive abstractions for program verification;identifying XML schema constraints using temporal logic;schedulability analysis of timed regular tasks by under-approximation on WCET;importance sampling for stochastic timed automata;semipositivity in separation logic with two variables;distributed computation of fixed points on dependency graphs;a complete approximation theory for weighted transition systems;on the fly deployment optimization using SMT and CP technologies;exploiting symmetry for efficient verification of infinite-state component-based systems;formalization of fault trees in higher-order logic: a deep embedding approach;an efficient synthesis algorithm for parametric Markov chains against linear time properties and failure estimation of behavioral specifications.
The proceedings contain 20 papers. The special focus in this conference is on engineering Service-Oriented applications and Resource Management in Service-Oriented computing. The topics include: From choreography diag...
ISBN:
(纸本)9783662505380
The proceedings contain 20 papers. The special focus in this conference is on engineering Service-Oriented applications and Resource Management in Service-Oriented computing. The topics include: From choreography diagrams to RESTful interactions;estimating the complexity of software services using an entropy based metric;establishing distributed governance infrastructures for enacting cross-organization collaborations;revisiting industrial practice in services computing;distributed service co-evolution based on domain objects;a web services infrastructure for the management of mashup interfaces;a CPS service contract framework for composition;towards RAM-based variant generation of business process models;extending generic BPM with computer vision capabilities;expressive equivalence and succinctness of parametrized automata with respect to finite memory automata;toward the formalization of BPEL;context-aware personalization for smart mobile cloud services;information governance requirements for architectural solutions supporting dynamic business networking;an evolutionary multiobjective approach for the dynamic multilevel component selection problem;a reusable architecture for dependability and performance benchmarking of cloud services;safe configurations of replica voting processes in fault-resilient data collection services;on composition of checkpoint and recovery protocols for distributed systems and a proactive solution to manage web service unavailability in service oriented software systems.
This paper proposes a cloud service broker that aims to deliver semantic cloud services - with orchestration of most feasible specifications - while composing unified solution from various providers. The Service Broke...
详细信息
ISBN:
(纸本)9781509041534
This paper proposes a cloud service broker that aims to deliver semantic cloud services - with orchestration of most feasible specifications - while composing unified solution from various providers. The Service Broker is designed based on Cloud Service Description Language (CSDL), specifically with OASIS Topology and Orchestration Specification for Cloud applications (TOSCA).
In Hadoop MapReduce distributed file system, as the input dataset files get loaded and split to every worker, workers start to do the required computation according to user logic. This process is done in parallel usin...
详细信息
ISBN:
(纸本)9783662478950;9783662478943
In Hadoop MapReduce distributed file system, as the input dataset files get loaded and split to every worker, workers start to do the required computation according to user logic. This process is done in parallel using all nodes in the cluster and computes output results. However, the contention of resources between the map and reduce stages cause significant delays in execution time, especially due to the memory IO overheads. This is undesired because the task execution in the Hadoop MapReduce induces an overhead in considering redundant data in case of imprecise applications which increases the execution time. Thus, in this paper we present our approach to optimize local worker memory management mechanism to reduce the presence of null schedule slots. Efficient utilization of slots leads to reduce execution times. The local memory management mechanism adopted enables efficient parallel execution and reduced memory overheads. The approach effectively reduced the MapReduce computation time which minimizes the budget for application execution in the cloud.
Summary form only given. Emerging real-world graph problems include: detecting community structure in large social networks; improving the resilience of the electric power grid; and detecting and preventing disease in...
详细信息
ISBN:
(纸本)9781509036837
Summary form only given. Emerging real-world graph problems include: detecting community structure in large social networks; improving the resilience of the electric power grid; and detecting and preventing disease in human populations. Unlike traditional applications in computational science and engineering, solving these problems at scale often raises new challenges because of the sparsity and lack of locality in the data, the need for additional research on scalable algorithms and development of frameworks for solving these problems on high performance computers, and the need for improved models that also capture the noise and bias inherent in the torrential data streams. In this talk, I will discuss opportunities and challenges in massive data-intensive computing for applications in computational science and engineering.
The article will explore the philosophical consequence on the notion of meaning of the adoption of a quantum geometrybased approach in linguistic disciplines such Information Retrieval,which importance grew with Inter...
详细信息
ISBN:
(纸本)9781509035946
The article will explore the philosophical consequence on the notion of meaning of the adoption of a quantum geometrybased approach in linguistic disciplines such Information Retrieval,which importance grew with Internet and big *** paper reconstructs an archaeology of the turn to probabilistic and a quantum perspectives in language research and its reasons;we considers some linguistic features which justify the adoption of a quantum perspective(nondistributiveness;failures of the substitutivity principle;periodicity of the meaning function);it underlines two features of quantum models(superposition and entanglement) which seems interesting to represent semantics;we hope to show how quantum models allow a convergence of the interest of different perspectives in philosophy of language.
This paper introduces the distributed multimedia system and its characteristics, discusses the application of distributed multimedia system in the field of teaching, And distributed multimedia system management mode i...
详细信息
ISBN:
(纸本)9781467365932
This paper introduces the distributed multimedia system and its characteristics, discusses the application of distributed multimedia system in the field of teaching, And distributed multimedia system management mode in colleges and universities are discussed in this paper. The traditional multimedia equipment management in the real world problems is analyzed, and put forward some improvement measures on the basis of these problems, on this basis, the distributed multimedia equipment management in colleges and universities pattern carries on the preliminary exploration and research.
暂无评论