the proceedings contain 24 papers. the topics discussed include: IT portfolio valuation - using enterprise architecture and business requirements modeling;supporting change propagation in the evolution of enterprise a...
ISBN:
(纸本)9780769541631
the proceedings contain 24 papers. the topics discussed include: IT portfolio valuation - using enterprise architecture and business requirements modeling;supporting change propagation in the evolution of enterprise architectures;hybrid probabilistic relational models for system quality analysis;typed business process specification;an incremental process mining approach to extract knowledge from legacy systems;process viewing patterns;a framework for service outsourcing using process views;an ontology-based approach for semantic integration;a model-driven approach for designing e-services using business ontological frameworks;enterprise application-specific data management;using aspect-oriented programming to trace imperative transformations;comparing state- and operation-based change tracking on models;a componentized architecture for externalized business rules;and towards a flexible service integration through separation of business rules.
the proceedings contain 103 papers. the topics discussed include: an undirected graph traversal based grouping prediction method for data de-duplication;an algorithm of developed imperialist competition for suitable h...
ISBN:
(纸本)9780769550053
the proceedings contain 103 papers. the topics discussed include: an undirected graph traversal based grouping prediction method for data de-duplication;an algorithm of developed imperialist competition for suitable human resource layout;file transfer scheduling optimization using artificial immune system;improve the intelligent consortium agent for SMEs in the plastic market;modeling stock analysts' decision making: an intelligent decision support system;veracity and convincingness: sources of plausibility for decision making and situation management;winner-take-all memetic differential evolution for genetic interaction: parameter identification;e-learning content authentication using bipartite matching;cloud resource provisioning and bursting approaches;a content aggregation using aspect oriented programming;an ensemble approach for cyber attack detection system: a generic framework;and an LBP based key management for secure wireless body area network (WBAN).
the proceedings contain 15 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Verification of concurrent design patterns with data;self-organising coordination re...
ISBN:
(纸本)9783030223960
the proceedings contain 15 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Verification of concurrent design patterns with data;self-organising coordination regions: A pattern for edge computing;aggregate processes in field calculus;automatic quality-of-service evaluation in service-oriented computing;DiRPOMS: Automatic checker of distributed realizability of POMSets;Coordination of tasks on a real-time OS;reversing P/T nets;towards races in linear logic;the share operator for field-based coordination;scan: A simple coordination workbench;CHOReVOLUTION: Automating the realization of highly–collaborative distributed applications;ABEL - A domain specific framework for programming with attribute-based communication;bridging the gap between supervisory control and coordination of services: Synthesis of orchestrations and choreographies;no more, no less: A formal model for serverless computing.
the proceedings contain 25 papers. the special focus in this conference is on distributedcomputing. the topics include: Lower bounds in distributedcomputing;adaptive mutual exclusion with local spinning;bounds for m...
ISBN:
(纸本)3540411437
the proceedings contain 25 papers. the special focus in this conference is on distributedcomputing. the topics include: Lower bounds in distributedcomputing;adaptive mutual exclusion with local spinning;bounds for mutual exclusion with only processor consistency;even better DCAS-based concurrent deques;distributed algorithms for English auctions;a probabilistically correct leader election protocol for large groups;approximation algorithms for survivable optical networks;distributed cooperation during the absence of communication;computing with infinitely many processes;establishing business rules for inter-enterprise electronic commerce;exploitation of ljapunov theory for verifying self-stabilizing algorithms;self-stabilizing local mutual exclusion and daemon refinement;more lower bounds for weak sense of direction;gossip versus deterministically constrained flooding on small networks;locating information with uncertainty in fully interconnected networks;optimistic replication for internet data services;scalable replication in database clusters;objects shared by byzantine processes;short headers suffice for communication in a dag with link failures and consistency conditions for a CORBA caching service.
the 14thinternational Symposium on distributedcomputing and Artificial Intelligence 2017 (DCAI 2017) provided a forum for presenting the application of innovative techniques to study and solve complex problems. the ...
ISBN:
(纸本)9783319624099
the 14thinternational Symposium on distributedcomputing and Artificial Intelligence 2017 (DCAI 2017) provided a forum for presenting the application of innovative techniques to study and solve complex problems. the exchange of ideas between scientists and technicians from boththe academic and industrial sector is essential to advancing the development of systemsthat can meet the ever-growing demands of todays society. the book brings together past experience, current work and promising future trends in distributedcomputing, artificial intelligence and their applications to efficiently solve real-world problems. It combines contributions in well-established and evolving areas of research, including the content of the DCAI 17 Special Sessions, which focused on multi-disciplinary and transversal aspects, such as AI-driven methods for multimodal networks and processes modeling, and secure management towards smart buildings and smart grids. the symposium was jointly organized by the Polytechnic of Porto, the Osaka Institute of Technology and the University of Salamanca. the latest event was held in Porto, Portugal, from 21st to 23rd June 2017.
the proceedings contain 46 papers. the topics discussed include: a design theory nexus for situational enterprise architecture management;applying processes for user-driven refinement of people activities;process-orie...
ISBN:
(纸本)9780769541648
the proceedings contain 46 papers. the topics discussed include: a design theory nexus for situational enterprise architecture management;applying processes for user-driven refinement of people activities;process-oriented behavior generation using interaction patterns;learning transformation rules from transformation examples: an approach based on relational concept analysis;web service reputation prediction based on customer feedback forecasting model;model-driven development of aspectual pervasive software services;model-driven development methodology for B2B collaborations;applicability of process viewing patterns in business process management;formalization of functional aspects in business software globalization;automatic generation of optimal business processes from business rules;the relationship between service oriented architecture and enterprise architecture;and towards a definition of role-related concepts for business modeling.
the proceedings contain 40 papers. the topics discussed include: dealing with undependable workers in decentralized network supercomputing;transport protocol with acknowledgement-assisted storage management for interm...
ISBN:
(纸本)9783642356674
the proceedings contain 40 papers. the topics discussed include: dealing with undependable workers in decentralized network supercomputing;transport protocol with acknowledgement-assisted storage management for intermittently connected wireless sensor networks;iterative approximate Byzantine consensus under a generalized fault model;exploiting partial-packet information for reactive jamming detection: studies in UWSN environment;fault-tolerant design of wireless sensor networks with directional antennas;robust deployment of wireless sensor networks using gene regulatory networks;cellular pulse switching: an architecture for event sensing and localization in sensor networks;maximal antichain lattice algorithms for distributed computations;on the analysis of a label propagation algorithm for community detection;PeerVault: a distributed peer-to-peer platform for reliable data backup;and poster: a secure and efficient cross authentication protocol in VANET hierarchical model.
the special session on Decision Economics (DECON) is a scientific forum held annually and intended to share ideas, projects, research results, models and experiences associated withthe complexity of behavioural decis...
ISBN:
(纸本)9783319608815
the special session on Decision Economics (DECON) is a scientific forum held annually and intended to share ideas, projects, research results, models and experiences associated withthe complexity of behavioural decision processes and socioeconomic phenomena. DECON 2017 was held at the Polytechnic of Porto, ISEP, Portugal, as part of the 14thinternationalconference on distributedcomputing and Artificial Intelligence. For the second consecutive year, the Editors of this book have drawn inspiration from Herbert A. Simons immense body of work and argue that Simon precipitated something akin to a revolution in microeconomics focused on the concept of decisionmaking. Further, it is worth noting that the recognition of relevant decisionmaking takes place in a range of critical subject areas and research fields, including economics, finance, information systems, small and international business management, operations, and production. therefore, decisionmaking issues are of fundamental importance in all branches of economics addressed both deductively and inductively. Not surprisingly, the study of decisionmaking has seen growing empirical research efforts in the economic literature over the last sixty years and, more recently, a variety of insightful cuttingedge experimental, behavioural and computational approaches. Additionally, the awareness regarding generalizations and reductions to express economic concepts has led, on the one hand, to an increasing risk of spreading the language of mathematics as a rhetorical tool and, on the other hand, to an oversimplification and overlooking of some crucial details, especially when it comes to human decisions and, hence, economic behaviour. that awareness, however, has helped to produce an extraordinary volume of empirical research aimed at discovering how economic agents cope with complex decisions. In this sense, the international scientific community acknowledges Herbert A. Simons research endeavours to understand the proce
the proceedings contain 30 papers. the special focus in this conference is on distributedcomputing and Internet Technology. the topics include: Effect of Live Migration on Virtual Hadoop Cluster;performance Analysis ...
ISBN:
(纸本)9783319723433
the proceedings contain 30 papers. the special focus in this conference is on distributedcomputing and Internet Technology. the topics include: Effect of Live Migration on Virtual Hadoop Cluster;performance Analysis of Parallel K-Means with Optimization Algorithms for Clustering on Spark;Hashing Supported Iterative MapReduce Based Scalable SBE Reduct Computation;reliable Condition Monitoring of Telecommunication Services with Time-Varying Load Characteristic;fast and Secure Handoffs for V2I Communication in Smart City Wi-Fi Deployment;ego Based Community Detection in Online Social Network;a Gateway Virtual Network Function for InfiniBand and Ethernet Networks;GMP2P: Mobile P2P over GSM for Efficient File Sharing;simulation of Network Growth Using Community Discovery in Biological Networks;review of Approaches for Linked Data Ontology Enrichment;a Style Sheets Based Approach for Semantic Transformation of Web Pages;efficient Anomaly Detection Methodology for Power Saving in Massive IoT Architecture;approximation Algorithms for Permanent Dominating Set Problem on Dynamic Networks;lightweight Verifiable Auditing for Outsourced Database in Cloud computing;a One Phase Priority Inheritance Commit Protocol;issues and Challenges in Big Data: A Survey;generate Optimal distributed Query Plans Using Clonal Selection Process;capAct: A Wordnet-Based Summarizer for Real-World Events from Microblogs;ARMM: Adaptive Resource Management Model for Workflow Execution in Clouds;a New Priority Heuristic Suitable in Mobile distributed Real Time Database System;formal Verification of Optimizing Compilers;efficient Algorithms for Local Density Based Anomaly Detection;Security Analysis of EMV Protocol and Approaches for Strengthening It;secure Synthesis of IoT via Readers-Writers Flow Model;BDI Based Performance Enhancement in DNSSEC.
暂无评论