the proceedings contain 90 papers. the topics discussed include: a new compile-time obfuscation scheme for software protection;inferring phylogenetic networks of malware families from API sequences;reviving android ma...
ISBN:
(纸本)9781509051540
the proceedings contain 90 papers. the topics discussed include: a new compile-time obfuscation scheme for software protection;inferring phylogenetic networks of malware families from API sequences;reviving android malware with DroidRide: and how not to;software system for automatic reaction to network anomalies and in real time data capturing necessary for investigation of digital forensics;a novel Botnet detection method based on preprocessing data packet by graph structure clustering;a lattice-based access control model for social networks;a novel design of pipeline MDC-FFT processor based on various memory access mechanism;a LEAP PLUS key management scheme with sliding time interval;a particle filter-based approach for effectively detecting low-rate denial of service attacks;distributed air traffic flow management at terminal control area;a method of meta-context ontology modeling and uncertainty reasoning in SWoT;a scalable object detection framework based on embedded Manycore;comparative analysis on the conjunctive and disjunctive assumptions for the belief rule base;analysis of crime rate distribution based on TPML-WMA;factors dominating individuals' retweeting decisions;classification of massive user load characteristics in distribution network;a breast cancer risk classification model based on the features selected by novel F-score index for the imbalanced multi-feature dataset;deepening prose comprehension by incremental free text conceptual graph mining and knowledge;discovering bloom taxonomic relationships between knowledge units using semantic graph triangularity mining;and multi-source and heterogeneous data integration model for big data analytics in power DCS.
A formal approach to distributed supervisory control synthesis for automated manufacturing systems is presented in this paper. the discrete manufacturing system (plant) is modeled with automata in a modular way and lo...
详细信息
A formal approach to distributed supervisory control synthesis for automated manufacturing systems is presented in this paper. the discrete manufacturing system (plant) is modeled with automata in a modular way and local control specifications are defined for each local subsystem by means of logical equations in order to construct local supervisors. To establish global control, global specifications are defined as logical combinations to ensure coordination and interaction between the different subsystems. Formal algorithms for the intersection between local controllers and global constraints are proposed. We refer to the resultant controllers as distributed Controllers (DCs). the formulation of the problem and the control synthesis algorithms are applied to an experimental manufacturing system. (C) 2016, IFAC (international Federation or Automatic Control) Hosting hy Elsevier Ltd. All rights reserved.
In the last years, both clinical evidence and expert consensus have been codified in the form of clinical practice guidelines in order to promote an actual empowerment in the overall quality of care. Even if different...
详细信息
ISBN:
(纸本)9783319190907;9783319190891
In the last years, both clinical evidence and expert consensus have been codified in the form of clinical practice guidelines in order to promote an actual empowerment in the overall quality of care. Even if different solutions have been realized to specify temporal constraints in computerized guidelines, none of them proposes a formal language as the basis of guideline formalism in order to easily and directly support the temporal perspective. In such a direction, this paper proposes a formal approach, which has been seamlessly embedded into a standards-based verifiable guideline model, named GLM-CDS (GuideLine Model for Clinical Decision Support). Such an approach hybridizes the theoretic semantics of ontology and rule languages to specify a variety of temporal constraints according to some time patterns, i.e., task duration, periodicity, deadline, scheduling and time lags. these constraints are then encoded in the form of rules verifiable at run-time during the guideline enactment, in order to support the detection of violations or errors occurred with respect to the temporal perspective. As an example of application of the proposed approach, some temporal constraints have been integrated in GLM-CDS and verified by using a reasoning engine, according to the time patterns identified.
this book constitutes the refereed proceedings of the 8thinternationalconference on Collaboration Technologies, CollabTech 2016, held in Kanazawa, Japan, in September 2016. the 16 revised full papers presented toget...
ISBN:
(数字)9789811026188
ISBN:
(纸本)9789811026171;9789811026188
this book constitutes the refereed proceedings of the 8thinternationalconference on Collaboration Technologies, CollabTech 2016, held in Kanazawa, Japan, in September 2016. the 16 revised full papers presented together with 4 short papers and a keynote were carefully reviewed and selected from 48 submissions. the papers focus on the following topics: cross-cultural collaboration; learning support systems; social networking; rescue and health support; real and virtual collaboration.
Application of efficient distributed optimization algorithms in multi-agent systems designed for socio-economic problems demands additional conditions for algorithms to be satisfied. In particular. the algorithm shoul...
详细信息
Application of efficient distributed optimization algorithms in multi-agent systems designed for socio-economic problems demands additional conditions for algorithms to be satisfied. In particular. the algorithm should be incentive compatible. i.e., the model of behaviour of any agent should be in concordance with interests of a particular economic subject represented by this agent in system. On an example of the resource allocation problem we study incentive compatibility of the famous algorithm for dynamic distributed optimization the alternating direction method of multipliers (ADMM). (C) 2016, IFAC (international Federation of Automatic Control) Hosting by Elsevier Ltd. All rigths reserved.
Data centers are widely used for the placement of highly loaded applications and solutions used for the processing of large data sets (BigData). For effective access to services, minimal response time of data storages...
详细信息
ISBN:
(纸本)9781509012886
Data centers are widely used for the placement of highly loaded applications and solutions used for the processing of large data sets (BigData). For effective access to services, minimal response time of data storages is required. We explored a new paradigm in software-defined infrastructure distributed cloud systems. Also the design principles and high-level architectural design of the SD infrastructure controller are presented here. Modern applications and services needs constantly transforming infrastructure for ensuring consumer requirements (SLAs) amidst provider constraints (costs). this paper examines infrastructure in the context of platform for new applications and services and discussing some of the fundamental characteristics required of such infrastructure called software-defined infrastructure (SDI). We developed the models of the software-defined infrastructure. We performed an experiment to analyze the productivity of software-defined storage. Our experiment has shown that software-defined storage and scheduling algorithm in software-defined infrastructure placement can gain growth performance compared withthe physical storage and virtual machines. this is necessary when storage systems work with high intensities requests.
Content Providers (CPs) such as Facebook, Google, and others desire that their websites attract large user bases and generate high revenue. As a result, CPs strive to develop attractive and interactive websites that k...
详细信息
Horizontally scalable applications can potentially run very efficiently over IaaS environments. For that, application providers need to appropriately plan the resource capacity that is to be acquired from the cloud pr...
详细信息
this paper deals with sentiment analysis in text documents, especially text valence detection. the proposed solution is based on Support Vector Machines classifier. this classifier was trained with huge amount of data...
详细信息
ISBN:
(纸本)9781509012886
this paper deals with sentiment analysis in text documents, especially text valence detection. the proposed solution is based on Support Vector Machines classifier. this classifier was trained with huge amount of data and complex word combinations were analysed. For this purpose distributed learning on 112 processors was used. Datasets used for training and testing were automatically obtained from real user feedback on products from different web pages (and different product segments). the proposed solution has been evaluated with different languages - English, German, Czech and Spanish. this paper improves accuracy achieved withthe Big Data approach about 11%. the best accuracy achieved in this work was 95.31% for recognition of positive and negative text valence. the described learning is fully automatic, can be applied to any language and no complicated preprocessing is needed.
We study the problem of distributed bias-compensated recursive least-squares (BCRLS) estimation with quantized measurements, which means that the nodes in adaptive networks collaborate to estimate a common determinist...
详细信息
We study the problem of distributed bias-compensated recursive least-squares (BCRLS) estimation with quantized measurements, which means that the nodes in adaptive networks collaborate to estimate a common deterministic parameter using quantized data. Traditional recursive least (RLS) algorithms are biased when boththe regressor and the output response are corrupted by stationary additive noise. And considering the limited bandwidth resources and the growing complexity in communication, the measurements transmitted in adaptive networks are always quantized in practical cases, which also contributes to the bias in estimation. therefore, a distributed bias-compensated RLS algorithm is proposed in this paper to estimate the bias caused by boththe background noise and the quantization noise and compensate for it cooperatively. Meanwhile, considering the advantages of diffusion strategies, the algorithm is developed in a diffusion fashion. Simulation results illustrate the good performance of the proposed algorithm. (C) 2016, IEAC (international Federation of Automatic Control) Hosting, by Elsevier Ltd. All rights reserved.
暂无评论