With our society more information-driven, we have begun to distribute data in wide-area storage systems. At the same time, both physical failure and logic error have made it difficult to bring the necessary recovery t...
详细信息
ISBN:
(纸本)9780769537474
With our society more information-driven, we have begun to distribute data in wide-area storage systems. At the same time, both physical failure and logic error have made it difficult to bring the necessary recovery to bear on remote data disaster, and understanding this proceeding. We describe ARRAY, a system architecture for data disaster recovery that combines reliability, storage space, and security to improve performance for data recovery applications. The paper presents an exhaustive analysis of the design space of ARRAY systems, focusing on the trade-offs between reliability, storage space, security, and performance that ARRAY must make. We present RSRAII (Replication-based Snapshot Redundant Array of Independent Imagefiles) which is a configurable RAIDlike data erasure-coding, and also others benefits come from consolidation both erasure-coding and replication strategies. A novel algorithm is proposed to improve snapshot performance referred to as SMPDP (Snapshot based on Multi-parallel Degree Pipeline).
This paper proposes a semantic pattern-based contextaware (SPBCA) middleware for ubiquitous computing environments. It introduces two concepts, the ontology and the proactive conversion, to solve the heterogeneity iss...
详细信息
Matchmaking of web services is a key step in web service composition process. To enable automated web service composition and achieve a better performance, matchmaking process needs formally representation of web serv...
详细信息
Security is one of the main issues to adopt RFID technology in daily use. Due to resource constraints of RFID systems, it is very restricted to design a private authentication protocol based on existing cryptographic ...
详细信息
distributed system emulators provide a paramount platform for testing of network protocols and distributed applications in clusters and networks of workstations. However, to allow testers to benefit from these systems...
详细信息
A new photo retrieval system for mobile devices is proposed in this paper. The system can be used to search for photos with similar spatial layout effectively and efficiently, and it adopts a new algorithm that extrac...
详细信息
The proceedings contain 37 papers. The topics discussed include: using integrative models in an advanced heterogeneous system simulation;CQML: aspect-oriented modeling for modularizing and weaving QoS concerns in comp...
ISBN:
(纸本)9780769536026
The proceedings contain 37 papers. The topics discussed include: using integrative models in an advanced heterogeneous system simulation;CQML: aspect-oriented modeling for modularizing and weaving QoS concerns in component-based systems;application capturing and performance estimation in an holistic design environment;raising the abstraction of domain-specific model translator development;a task tree executor: new runtime for parallelized legacy software;semantically enhanced containers for concurrent real-time systems;modeling and analysis of probabilistic timed systems;distributed BMC: a depth-first approach to explore clause symmetry;software architectural design meets security engineering;tradeoff and sensitivity analysis of a hybrid model for ranking commercial off-the-shelf products;a penny saved is a penny earned: applying optimization techniques to power management;and validating and dynamically adapting and composing features in concurrent product-lines applications.
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back et al. in order to describe parallel...
详细信息
ISBN:
(纸本)9783642103728
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back et al. in order to describe parallel and distributed computations of discrete systems, i.e. systems with discrete state space and discrete control. In order to cope with hybrid systems, i.e. systems with continuous evolution and discrete control, two extensions have been proposed: hybrid action systems and continuous action systems. Both use differential equations (relations) to describe continuous evolution. Our version of action systems takes an alternative approach by adding a. level of abstraction: continuous behavior is modeled by Qualitative Differential Equations that are the preferred choice when it;comes to specifying abstract and possibly non-deterministic requirements of continuous behavior. Because their solutions are transition systems, all evolutions in our qualitative action systems are discrete. Based on hybrid action systems, we develop a new theory of qualitative action systems and discuss how we have applied such models in the context of automated test-case generation for hybrid systems.
Quality-based routing protocols are proposed to restrict message flooding within only high quality nodes in delay tolerant networks (DTNs). However, different quality threshold mechanisms have diverse impact on the ne...
详细信息
The Internet and computers did not invent or even cause privacy issues. The issues existed long before the creation of computers and Internet. The existence of The Internet, computers and large data storage make it po...
详细信息
暂无评论