SYNOPSIS In this paper we argue for the use of Big Data as complementary audit evidence. We evaluate applicability using evidence criteria framework and provide cost-benefit analysis sufficiency, reliability, relevance considerations. Critical challenges, including integration with traditional evidence, information transfer issues, privacy protection, are discussed possible solutions provided.

Performance modeling of software systems is vital for predictive analysis their performance and capacity planning the host environment. Robust prediction effcient highly depend on an accurate estimation underlying model parameters. AMBIENCE, which a

Teamwork skills are important and even essential for software engineering professionals. Although there rich research results on teamwork skill development assessment in other disciplines, more is required effective approaches education as plays a fundamental role with some special requirements. This paper presents novel approach performance education. The has been used several courses the positive promising. A feature of that it encourages supports student active collaborative learning by...

Nowadays testing plays an important role in software development process. While is expensive and time-consuming, sufficient hard, especially for a distributed system using web services technique the real circumstance. The of cloud computing provides us new ideas to solve these problems. To address issues, we propose framework which integrates performance technologies. In this paper, first present architecture cloud-based (CPTS), portable, extensible easy-to-use generating submitting test...

The broad application of artificial intelligence (AI) shows more and vulnerabilities. Adversaries have opportunities to attack AI systems. For example, unmanned vehicles may be interfered with by adversaries in path planning, resulting being unable move according the planned route, even serious safety problems. On other side, portrait technology can extract highly refined characteristics different strategies, so that defend themselves based on each attack. Existing research lacks intelligent...

Emerging scientific and engineering simulations are presenting challenging requirements for coupling between multiple physics models associated parallel codes that execute independently in a distributed manner. Realizing coupled requires an efficient, flexible scalable framework simple programming abstractions. This paper presents addresses these requirements. The is based on the Seine geometry-based interaction model. It enables efficient computation of communication schedules, supports...

Dynamic composition of web services is a crucial aspect service technology, which gives us the opportunity selecting new and best suits we need. In this paper discuss technique based on linear temporal logic that solves problem automatic discovery composition. particular, characterize behavior in terms finite state machine specify user's requirement by Linear Temporal Logic formula, contributes to realizing discover dynamic

Covert communication in this regard has been widely used for protecting the secrecy of communication. Voice over Long Term Evolution (VoLTE) is a packet-switched core network solution high-speed and high-quality end-to-end services which usually applied to between intelligent systems. However, covert channels using inter-packet delays packet order VoLTE are limited by specific rules. Since minor modifications overt traffic can be detected, existing channel solutions cannot directly VoLTE....

Modern, adaptive software systems must often adjust or reconfigure their architecture in order to respond continuous changes execution environment. Efficient autonomic control such is highly dependent on the accuracy of representative performance model. In this paper, we are concerned with real-time estimation a model for that process multiple classes transactional workload. Based an open queueing network and Extended Kalman Filter (EKF), experiments work show that: (1) parameter estimates...

This paper presents Salsa, a novel, decentralized and asynchronous realization of the "replica exchange" algorithm for simulating structure, function, folding, dynamics proteins. Salsa provides scalable communication interaction substrate that virtual shared space abstraction enables dynamic interactions required by simulations to be simply efficiently implemented. The design, implementation experimental evaluation replica exchange-based using are presented

The vision of the Internet things is very appealing, and gains more attention. Since mobile devices in become complex heterogeneous, device collaboration will be full technical challenges. How to integrate different systems heterogeneous a big problem. In order overcome problem, it important describe match services with semantics. We use web service interface specification wrap device, OWL semantic. this paper we introduce semantic bus for things, which allow creation devices, management...

Large quantities of documents in the Internet and digital libraries are simply scanned archived image format, many which packed PDF files. The word search tool provided by Adobe Reader/Acrobat does not work for these imaged documents. In this paper, we present a engine to deal with issue experimental results show an encouraging performance.

作为在软件生命周期早期保障软件质量的重要手段之一,软件体系结构评估技术是软件体系结构研究中的一个重要组成部分.将现有的软件体系结构评估方法划分为3类:基于场景的评估方法、基于度量和预测的评估方法以及特定软件体系结构描述语言的评估方法.按照软件体系结构评估技术的评价框架,分别从评估方法的目标、质量属性、关键技术等方面对这3类方法的特点进行介绍和对比.最后分析了现有研究中存在的不足并进一步探讨了软件体系结构评估技术的研究趋势.;Software architecture evaluation is an important technology used to assure the quality of software products early in lifecycle. This paper classifies three types methods: scenario-based, metric and prediction based, ADL-based. Software method characteristics (such as goal,...

Extended EVENODD (EEOD) codes are binary maximum distance separable (MDS) array that can correct any three-column failures. However, the update complexity of EEOD is sub-optimal. In this paper, we propose EVENODD+ (EEOD+) codes, which asymptotically optimal. addition, present efficient encoding/decoding method for EEOD+ codes. We show our have less computational than in terms encoding/decoding/update.