- computational.science - lists.iccsa.org

LMTR suite for unconstrained optimization
by Oleg Burdakov 04 Dec '18

04 Dec '18

We are happy to announce the first release of the LMTR suite for unconstrained optimization. This package contains limited memory trust-region and line-search algorithms implemented in MATLAB. The algorithms are described in "On Efficiently Combining Limited Memory and Trust-Region Techniques", Mathematical Programming Computation (2017) Vol. 9, no 1, pp. 101-134, https://doi.org/10.1007/s12532-016-0109-7. To download the package, you may want to follow the link http://gratton.perso.enseeiht.fr/LBFGS/index.html The package contains the following algorithms: - LBFGS_TR.m. Limited memory line-search algorithm L-BFGS that takes a trial step along the quasi-Newton direction inside the trust region; - LBFGS_MTBT.m. Limited memory line-search algorithm L-BFGS based on the Moré-Thuente line search and the initial step is obtained using backtrack; - LBFGS_MT.m. Limited memory line-search algorithm L-BFGS based on the More-Thuente line search; - LMTR_BWX_MS.m. Limited memory trust-region algorithm BWX-MS. It applies the Moré-Sorensen approach for solving the TR subproblem defined in the Euclidean norm. It is a modified version of the algorithm by Burke et al.; - LMTR_EIG_MS_2_2.m. Limited memory trust-region algorithm EIG-MS(2,2) using the eigenvalue-based (2,2)-norm, with the Moré-Sorensen approach for solving a low-dimensional TR subproblem; - LMTR_EIG_inf_2.m. Limited memory trust-region algorithm EIG(inf,2) using the eigenvalue-based (inf,2)-norm, with the exact solution to the TR subproblem in closed form. -- .................................................................... Oleg Burdakov, Editor-in-Chief of the journal Optimization Methods & Software (OMS) http://www.tandfonline.com/goms Division of Optimization, | Phone: +46 13 281473 Department of Mathematics, | Mobile: +46 70 0895219 Linkoping University, | E-mail: Oleg.Burdakov(a)liu.se SE - 58183 Linkoping, Sweden | http://users.mai.liu.se/olebu87/ ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

1 0

Special Issue "The Second International Workshop on Parallel and Distributed Data Mining"
by Massimo CAFARO 03 Dec '18

03 Dec '18

Special Issue "The Second International Workshop on Parallel and Distributed Data Mining" A special issue of Algorithms (ISSN 1999-4893). Deadline for manuscript submissions: 21 December 2018 http://www.mdpi.com/journal/algorithms/special_issues/Parallel_Distributed_… Special Issue Information Dear Colleagues, This Special Issue is devoted to the increasing interest in the design and implementation of parallel and distributed data mining algorithms. The Workshop on Parallel and Distributed Data Mining (WPDM 2018) is an international forum that brings together researchers and practitioners, working on different high-performance aspects of data mining algorithms, enabling novel applications. Indeed, datasets grow so rapidly that, every day, exabytes of data are being generated, and, in order to extract and infer useful knowledge, parallel processing techniques are required to cope with this huge volume of data: Traditional sequential software is not viable to cope with them. When the data are generated in different places (such as wireless sensor networks and/or Internet of things devices), they may be geographically spread out, and the data cannot be sent to a centralized site, thus, the need for distributed processing algorithms arises. Topics relevant to this Special Issue cover the scope of the WPDM 2018 Workshop (http://sara.unisalento.it/~cafaro/WPDM2018/) - Parallel data mining algorithms using MPI and/or OpenMP - Parallel data mining algorithms targeting GPUs and many-cores accelerators - Parallel data mining applications exploiting FPGA - Distributed data mining algorithms - Benchmarking and performance studies of high-performance data mining applications - Novel programming paradigms to support high-performance computing for data mining - Performance models for high-performance data mining applications and middleware - Programming models, tools, and environments for high-performance computing in data mining - Caching, streaming, pipelining, and other optimization techniques for data management in high-performance computing for data mining Extended versions of papers presented at WPDM 2018 are sought, but this call for papers is fully open to all those who wish to contribute by submitting a relevant research manuscript. Manuscript Submission Information Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Algorithms is an international peer-reviewed open access monthly journal published by MDPI. Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 850 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions. Special Issue Editors Guest Editor Assoc. Prof. Massimo Cafaro Department of Engineering for Innovation, Via per Monteroni, 73100 Lecce, Italy Euro-Mediterranean Centre on Climate Change, Foundation, Lecce, Italy Guest Editor Dr. Italo Epicoco Department of Engineering for Innovation, Via per Monteroni, 73100 Lecce, Italy Euro-Mediterranean Centre on Climate Change, Foundation, Lecce, Italy Guest Editor Dr. Marco Pulimeno Department of Engineering for Innovation, Via per Monteroni, 73100 Lecce, Italy Guest Editor Prof. Giovanni Aloisio Department of Engineering for Innovation, Via per Monteroni, 73100 Lecce, Italy Euro-Mediterranean Centre on Climate Change, Foundation, Lecce, Italy - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

The Third International Workshop on Parallel and Distributed Data Mining (WPDM 2019)
by Massimo CAFARO 03 Dec '18

03 Dec '18

WPDM 2019 The Third International Workshop on Parallel and Distributed Data Mining (WPDM 2019) http://sara.unisalento.it/~cafaro/WPDM2019/ CALL FOR PAPERS The Third Workshop on Parallel and Distributed Data Mining (WPDM 2019) will be held in conjunction with The 19th International Conference on Computational Science and Its Applications (ICCSA 2019), http://www.iccsa.org Saint Petersburg University, Saint Petersburg, Russia July 1-4 2019 Final submission Deadline: February 17, 2019 SCOPE AND OBJECTIVES The Workshop on Parallel and Distributed Data Mining is an international forum which brings together researchers and practitioners working on different high-performance aspects of data mining algorithms, enabling novel applications. Data mining techniques and algorithms to process huge amount of data in order to extract useful and interesting information have become popular in many different contexts. Algorithms are required to make sense of data automatically and in efficient ways. Nonetheless, even though sequential computer systems performance is improving, they are not suitable to keep up with the increase in the demand for data mining applications and the data size. Moreover, the main memory of sequential systems may not be enough to hold all the data related to current applications. Therefore, there is an increasing interest in the design and implementation of parallel data mining algorithms. On parallel computers, by exploiting the vast aggregate main memory and processing power of processors and accelerators, parallel algorithms can easily address both the running time and memory requirement issues. Anyway, parallelizing existing algorithms in order to achieve good performance and scalability with regard to massive datasets is not trivial. Indeed, it is of paramount importance a good data organization and decomposition strategy in order to balance the workload while minimizing data dependences. Another concern is related to minimizing synchronization and communication overhead. Finally, I/O costs should be minimized as well. The Workshop will allow exchanging ideas and results related to on-going research, focusing on high-performance aspects of data mining algorithms and applications. Creating breakthrough parallel algorithms for high-performance data mining applications requires addressing several key computing problems which may lead to novel solutions and new insights in interdisciplinary applications. The focus of the workshop is on all forms of advances in high-performance data mining algorithms and applications, and related topics. The WPDM Workshop topics include (but are not limited to) the following: - Parallel data mining algorithms using MPI and/or OpenMP - Parallel data mining algorithms targeting GPUs and many-cores accelerators - Parallel data mining applications exploiting FPGA - Distributed data mining algorithms - Benchmarking and performance studies of high-performance data mining applications - Novel programming paradigms to support high-performance computing for data mining - Performance models for high-performance data mining applications and middleware - Programming models, tools, and environments for high-performance computing in data mining - Caching, streaming, pipelining, and other optimization techniques for data management in high-performance computing for data mining INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above topics. Submitted papers must not have been published or simultaneously submitted elsewhere. The submitted paper must be between 10 to 16 pages long and formatted according to the Springer LNCS (Lecture Notes in Computer Science) rules, Guidelines and templates can be found at the url http://www.springer.com/it/computer-science/lncs/conference-proceedings-gui… To submit a paper, please connect to the Submission site from the link available at the ICCSA 2019 web site: http://ess.iccsa.org. Only papers submitted through the electronic system and strictly adhering to the relevant format will be considered for reviewing and publication. Please pay attention, when submitting your contribution to the workshop, to select the right entry in the listbox shown in the submission form. CONFERENCE POLICY By submitting the paper to ICCSA conference, all authors agree to abide by all ICCSA conference paper submission, publication and presentation policies. Namely, authors confirm that the work is original, has not appeared in literature in any form in the past and will not be submitted to any other venue concurrently with ICCSA submission or until it appears in ICCSA proceedings (in the case of acceptance). Furthermore, upon paper acceptance, authors agree to transfer copyright on the accepted paper to ICCSA, and one of the authors will register the paper and present the paper at the event. No paper withdrawals can be accepted after Conference pre-registration date or within three months of the actual event, whichever date comes first. Paper withdrawal request can be only accepted in writing through email, letter or fax to conference organizers. The conference has no responsibility for any intentional or accidental misuse, misinterpretation, or failure to follow above rules and conditions and holds no legal, civil or other responsibility for opinions, content or utilization of any methods/algorithms expressed in the Conference Proceedings. If you have any questions about paper submission or the workshop, please contact the workshop organisers. IMPORTANT DATES February 17, 2019: Deadline for paper submission March 31, 2019: Notification of Acceptance. May 8, 2019: Early-bird Registration ends. May 8, 2019: Submission deadline for the final version of the Papers July 1-4, 2019: ICCSA 2019 Conference WORKSHOP ORGANIZERS Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it International Program Committee: All submitted papers will be reviewed by the workshop technical program committee members. Program Committee formation is pending and will be finalised shortly. - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

CfP Ada-Europe 24th Conf. on Reliable Software Technologies
by Dirk.Craeynest＠cs.kuleuven.be 02 Dec '18

02 Dec '18

----------------------------------------------------------------------- Call for Papers Ada-Europe 24th International Conference on Reliable Software Technologies (Ada-Europe 2019) 10-14 June 2019, Warsaw, Poland http://www.ada-europe.org/conference2019 Organized by EDC and Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ada Resource Association (ARA) ----------------------------------------------------------------------- *** General Information Ada-Europe is pleased to announce that its 24th International Conference on Reliable Software Technologies (Ada-Europe 2019) will take place in Warsaw, Poland, in the week of 10-14 June. The conference schedule at its fullest includes a three-day technical program and vendor exhibition from Tuesday to Thursday, and parallel tutorials and workshops on Monday and Friday. This edition of the conference inaugurates a major revamp in the registration fees, redesigned to extend participation from industry and academia, and to reward contributors, especially but not solely, students and post-doc researchers. *** Schedule 14 January 2019: Submission of papers, industrial presentation outlines, tutorial and workshop proposals 1 March 2019: Notification of acceptance to all authors 16 March 2019: Camera-ready version of papers required 30 April 2019: Industrial presentations, tutorial and workshop material required *** Topics The conference is a leading international forum for providers, practitioners and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers from industry, academia and government organizations active in the promotion and development of reliable software technologies. The topics of interest for the conference include but are not limited to: - Design and Implementation of Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance; - Design and Implementation of Mixed-Criticality Systems: Scheduling Methods, Mixed-Criticality Architectures, Design Methods, Analysis Methods; - Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities; - Software Architectures for Reliable Systems: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development; - Methods and Techniques for Quality Software Development and Maintenance: Requirements Engineering, Model-driven Architecture and Engineering, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools; - Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK; - Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc; - Achieving and Assuring Safety in Machine Learning Systems; - Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics; - Experiences with Ada: Reviews of the Ada 2012 language features, implementation and use issues, positioning in the market and in the software engineering curriculum, lessons learned on Ada Education and Training Activities with bearing on any of the conference topics. *** Call for Regular Papers The regular papers submitted to the conference must be original and shall undergo anonymous peer review. The authors shall submit their work by 14 January 2019, in PDF only, and up to 16 LNCS-style pages in length, via https://easychair.org/conferences/?conf=ae2019. The conference is listed in the principal citation databases, including DBLP, Scopus, Web of Science, and Google Scholar. The authors of the papers that will appear in the conference proceedings will be invited to extend their work for submission to a Special Issue of Elsevier's Journal of Systems Architecture, centered on the conference themes. *** Proceedings The conference proceedings will appear in Springer's Lecture Notes in Computer Science (LNCS) series, and will be available at the conference, both online and in print. The authors of accepted regular papers shall prepare camera-ready submissions in full conformance with the LNCS style, strictly by 16 March 2019. For format and style guidelines, the authors should refer to http://www.springer.de/comp/lncs/authors.html. Failure to comply and to register at least one author for the conference by that date will prevent the paper from appearing in the proceedings. *** Call for Industrial Presentations The conference seeks industrial presentations that deliver insightful information value but may not sustain the strictness of the review process required for regular papers. The authors of industrial presentations shall submit their proposals, of at least 1 page in length, by 14 January 2019, strictly in PDF, via https://easychair.org/conferences/?conf=ae2019. The Industrial Committee will review the submissions anonymously and make recommendations for acceptance. The authors of accepted contributions shall be requested to submit a 2-page abstract by 16 March 2019, for inclusion in the conference booklet, and be invited to deliver a 20-minute talk at the conference. These authors will also be invited to expand their contributions into articles for publication in the Ada User Journal (http://www.ada-europe.org/auj/) as part of the proceedings of the Industrial Program of the Conference. For any further information, please contact the Industrial Chair directly. *** Awards Ada-Europe will offer honorary awards for the best regular paper and the best presentation. *** Call for Educational Tutorials The conference seeks tutorials in the form of educational seminars that may include hands-on or practical demonstrations. Proposed tutorials can address any part of the reliable software domain, and may have an academic or industrial slant from technology perspective. All software topics and their application to reliability and safety are welcome. Tutorial proposals shall include a title, an abstract, a description of the topic, an outline of the presentation, the proposed duration (half day or full day), and the intended level of the tutorial (introductory, intermediate, or advanced), and most importantly a statement expressing why it will be worthwhile to attend the tutorial. Tutorial proposals shall be submitted to the Educational Tutorial Chair. The authors of accepted full-day tutorials will receive a complimentary conference registration. For half-day tutorials, this benefit is halved. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials. *** Call for Workshops Workshops on themes within the conference scope may be proposed. Proposals may be submitted for half- or full-day events, to be scheduled at either end of the conference week. Workshop proposals shall be submitted to the Workshop Chair. The workshop organizer shall also commit to producing the proceedings of the event, for publication in the Ada User Journal. *** Call for Exhibitors The commercial exhibition will span the core days of the main conference. Interested providers of software products and services should send inquiries to the Exhibition Chair. *** Venue The conference will take place in Warsaw, Poland, at the Engineering Design Center, a partnership of General Electric and the Institute of Aviation, one of Europe's largest engineering institutions. *** Organizing Committee Conference & Program Chair Tullio Vardanega, University of Padua, Italy tullio.vardanega at unipd.it Educational Tutorial & Workshop Chair Dene Brown, SysAda Ltd, UK dene.brown at sysada.co.uk Industrial Chair Maurizio Martignano, Spazio IT, Italy maurizio.martignano at spazioit.com Exhibition & Sponsorship Chair Ahlan Marriott, White Elephant GmbH, Switzerland software at white-elephant.ch Publicity Chair Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium dirk.craeynest at cs.kuleuven.be Local Chair Maciej Sobczak, GE Aviation - EDC Warsaw, Poland maciej.sobczak at ge.com *** Program Committee Mario Aldea, Univ. de Cantabria, ES Johann Blieberger, Vienna Univ. of Technology, AT Bernd Burgstaller, Yonsei Univ., KR António Casimiro, Univ. Lisboa, PT Barbara Gallina, Mälardalen Univ., SE Michael González Harbour, Univ. de Cantabria, ES J. Javi Gutiérrez, Univ. de Cantabria, ES Jérôme Hugues, ISAE, FR Hubert Keller, Karlsruhe Institute of Technology, DE Raimund Kirner, Univ. of Hertford-shire, UK Franco Mazzanti, ISTI-CNR, IT Laurent Pautet, Telecom ParisTech, FR Luís Miguel Pinho, CISTER/ISEP, PT Erhard Plödereder, Univ. Stuttgart, DE Juan A. de la Puente, Univ. Pol. de Madrid, ES Jorge Real, Univ. Pol. de València, ES José Ruiz, AdaCore, FR Sergio Sáez, Univ. Pol. de València, ES Elad Schiller, Chalmers Univ. of Technology, SE Frank Singhoff, Univ. de Bretagne Occidentale, FR Jorge Sousa Pinto, Univ. of Minho, PT Tucker Taft, AdaCore, USA Elena Troubitsyna, Åbo Akademi Uni., FI Santiago Urueña, GMV, ES Tullio Vardanega, Univ. of Padua, IT Marcus Völp, Univ. of Luxembourg, LU *** Industrial Committee Ian Broster, Rapita Systems, UK Dirk Craeynest, Ada-Belgium & KU Leuven, BE Gonçalo Gouveia, Critical Techworks, PT Thomas Gruber, Austrian Institute of Technology, AT Andreas Jung, European Space Agency, NL Ismael Lafoz, Airbus Military, ES Patricia Lopez Cueva, Thales Alenia Space, FR Ahlan Marriott, White Elephant, CH Maurizio Martignano, Spazio-IT, IT Silvia Mazzini, Intecs, IT Marco Panunzio, Thales Alenia Space, FR Paul Parkinson, Wind River, UK Jean-Pierre Rosen, AdaLog, FR José Emilio Salazar Marsà, GMV, ES Helder Silva, Edisoft, PT Jacob Sparre Andersen, JSA Cons., DK Pawel Zakrzewski, GE Aviation, PL *** Previous Editions Ada-Europe organizes annual international conferences since the early 80's. This is the 24th event in the Reliable Software Technologies series, previous ones being held at Montreux, Switzerland ('96), London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK ('11), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France ('14), Madrid, Spain ('15), Pisa, Italy ('16), Vienna, Austria ('17), and Lisbon, Portugal ('18). Information on previous editions of the conference can be found at http://www.ada-europe.org/confs/ae. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest(a)cs.kuleuven.be, Ada-Europe 2019 Publicity Chair *** Ada-Europe 24th Intl. Conf. on Reliable Software Technologies *** June 10-14, 2019 * Warsaw, Poland * www.ada-europe.org/conference2019

1 0

Last Call For Papers - IEEE SOSE 2019 - NEW Deadline for Paper submission
by Zeyu Gao 01 Dec '18

01 Dec '18

*We are sorry if you received multiple CFPs for this.* ************************************************************************************************************************************************ *Last Call For Papers - IEEE SOSE 2019* *Important Dates* Paper Submission: *Dec. 14, 2018* Author Notification: *Jan 5, 2019* Camera-ready Submission and Conference Registration: *Jan 31, 2019* Conference: *Apr 4 - 9, 2019* http://www.ieeesose.net/index.html The 13th IEEE International Conference on Service-Oriented System Engineering April 4 - April 9, 2019 - DoubleTree by Hilton Hotel Newark-Fremont - Newark, California, USA Service-Oriented Computing exploits services as the fundamental elements of computer-based systems. It has been applied to various areas and promotes fundamental changes to the way software systems are being analyzed, architected, designed, implemented, tested, evaluated, delivered, consumed, maintained and evolved. Consequently, a new paradigm of software and system engineering discipline, i.e. Service-Oriented Engineering, has emerged and advanced rapidly in the past decade. Among many remarkable milestones in the development of this new paradigm are the wide adoption of the Micro-services architectural style supported by Docker and other container-based virtualization techniques in the design of cloud native application in the industry, and the DevOps movement in the organisation of development process supported by automated tools for continuous testing, continuous integration and continuous delivery. Recent advances in service oriented computing, in particular Internet-of-Things, Edge and Fog computing, mobile and cloud computing combined with Big Data analytics, robotics, block-chain and decentralized ledger applications, and application of artificial intelligence techniques, etc., have provided exciting opportunities to make significant progress in understanding and solving complex real-world challenges. Such challenges typically require a system-level approach that models a complex system at different levels of abstraction, helps to develop sound architectures for addressing separate system requirements and concerns, and integrates diverse sources of knowledge on the system’s components and their interactions. Therefore, the revolution of the software and system engineering paradigm brought by service-orientation is still unfolding, with each new technology development bringing new challenges and opportunities. Starting from 2005, SOSE is a pioneering IEEE sponsored international conference devoted to the research in engineering service-oriented systems. It covers all aspects of service-oriented engineering from architectures, techniques, tools and languages to methodologies. Continuing the tradition of the last twelve editions of SOSE Symposia, the 13th SOSE intends to provide a forum for researchers and practitioners to exchange latest observations, insights, achievements and visions in Service-Oriented System Engineering. SOSE 2019 invites original submissions in all the areas of the system engineering and software engineering methods, techniques, tools, applications, and experiments for software services. *Topics Of Interests* Regular Research Papers Research papers should be written in English and be no more than 10 pages in length. The topics include, but are not limited to, the following: - Track 1: Advanced Models for Service Engineering - *Microservices architecture, deployment and management* - *Serverless Computing* - *DevOps and service engineering* - *Model-driven development of service-oriented systems* - *End-user development and mashup of software services* - *Lifecycle models, reusability, and scalability for services* - *Coordination and cooperation of services* - *Efficient scheduling of services* - *Services infrastructure for big data* - Track 2: Computing Environments and Virtualization - *Container-based virtualization* - *Programming models, languages, tools and platforms* - *Architecture of Internet-based virtual computing environments* - *Security, dependability, and reliability* - *Trust, reputation and incentive mechanisms* - *Large scale computing and analytics* - Track 3: Methods, Languages & Tools for process-based SOC systems - *Business process integration, alignment & management in SOAs* - *Methods, languages & tools for building process-based SOC systems* - *Metrics and measurement of services, QoS, and QoE* - *Runtime verification, validation, monitoring* - *Dynamic service delivery, deployment and evolution* - *Service mobility, scalability, elasticity, and security* - *Operation and governance for large-scale service-oriented systems* - *Adaptation, control and optimization in service-oriented systems* - *Modernization, migration, and servicetization of legacy systems* - *Service-oriented system engineering for large-scale analytics* - *Service-oriented engineering and clouds* - Track 4: Service-based Cyber-Physical Systems - *Edge computing and fog computing* - *Software and system engineering for CPS* - *REST APIs and services for CPS* - *Mobile services for CPS* - *System modelling and simulations* - *Data management for CPS* - *Dependable network and system architectures for CPS* - Track 5: Intelligent Services for a Smart World - *Smart home, smart office, smart city, smart industry* - *Intelligent services architectures and provisioning models* - *Smart systems programming models and methodologies* - *Swarm intelligence* - *Context-aware services* - *Nature-inspired intelligent services* - *Knowledge representation and reasoning* - *Quality of data (QoD)* - Track 6: Social Networking Services - *Location-based social networks* - *Human mobility modeling and mining* - *Recommendation systems for service computing* - *Human-centric sensing* - *Intelligent socially-aware and community-aware systems* - *Security, privacy, safety and legal issues* - *Event detection and predication in social networks* *Industry Practice / Case Study Papers* SOSE 2019 encourages papers reporting on industrial practice, case studies, empirical research and practical experiences in service engineering. Industry papers and case studies should be between 6-10 pages in length. The topics include, but are not limited to, the following: - *Enterprise business architecture and solution frameworks* - *Platforms and tools for system and software engineering* - *Case studies, experiments and evaluation of service-oriented system* - *Innovative service applications and experiences* *Survey And Emerging Subjects Tutorial Papers* In addition to regular research paper and industry practice/case study papers, SOSE 2018 will also invite some tutorial papers, which review the state-of-the-art of the research on services engineering as well as the related emerging paradigms and technologies. These papers should summarize the recent research advance in service engineering from different perspectives, identify the open issues and future trends and challenges in the field. SOSE 2018 also encourages vision papers which discuss future and emerging issues, including emerging paradigms, technologies and applications. Papers should be no more than 10 pages in length. - *Theoretical and technical foundation of service-oriented systems* - *Methodology and engineering principles of service-oriented systems* - *Testing, verification, validation and QA in the development of service-oriented systems* - *Construction, deployment, operation and maintenance of service-oriented systems* - *Measurements and metrics of QoS in SOA-based application systems* - *Governance and policies in service-oriented software development* - *Engineering techniques and tools to support the publishing, discovery and composition of services* - *Architectural and detail designs of services and code generation of service software*

1 0

Last Call for Papers - IEEE Mobile Cloud 2019 - Extended Deadline for Papers Submission
by Zeyu Gao 01 Dec '18

01 Dec '18

*We are sorry if you received multiple CFPs for this.* ************************************************************************************************************************************************ *Last Call for Papers - IEEE Mobile Cloud 2019* *Important Dates* Paper Submission: Dec. 14, 2018 Author Notification: Jan 5, 2019 Camera-ready Submission and Conference Registration: Jan 31, 2019 Conference: Apr 4 - 9, 2019 The 7th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering April 4 - April 9, 2019 - DoubleTree by Hilton Hotel Newark-Fremont - Newark, California, USA The integration of mobile computing and cloud services and engineering enables new applications that provide resources and services on an intelligent basis, process big data collected from mobile sensors, and support Internet of things (IoT) with massive cloud-based backend, where the 5G technology is expected to be an important enabler of this integration. Such applications will have tremendous impacts on almost every aspect of our daily life, including transportation, e-commerce, healthcare, safety and location privacy, smart home and smart city, social interaction, and many more. This conference will provide a great platform to allow researchers in academia and industry to share their latest research ideas and results, development activities, and the emerging industry technologies on mobile cloud computing, services, and engineering. The conference solicits original technical papers, not previously published and not currently under review for publication elsewhere. Papers will be judged on originality, significance, clarity, relevance, and correctness. Extended versions of the best papers will be invited for fast-track publication in a planned Special Issue on Mobile Cloud Computing. *Topics Of Interests* Topics of interest, embedded with the special interest on the annual theme, include, but are not limited to: - Theory, Modeling and Methodologies - Mobile cloud computing models, architectures, and platforms - Engineering on-demand mobile cloud systems and services - Design of energy-saving mobile cloud protocols - Cloud-IoT integration, cloud-centric IoT and software defined IoT - Mobile crowd sensing models and associated platforms - Mobile cloud resource management, provisioning, and migration - Mobile-aware cloud data management and data retrieval - Mobile cloud data centers, storage, and networking technologies for 5G - Mobile artificial intelligence, machine learning and deep learning - Virtualization techniques for mobile cloud computing and services - Security, reliability and privacy for mobile cloud computing - Applications and Industry Practice - Mobile multimedia and mobile social community services - Cloud-assisted human-centered applications based on wearable devices - Mobile commerce and cloud-based marketplace - Intuitive user interfaces for cloud-based mobile applications - Mobile cloud enabled pervasive learning and education - Research case studies and experimental reports - Industry reports on experience and lessons learned - Standardization on mobile clouds

1 0

Last Call for Papers - IEEE AI Testing 2019 - Extended Deadline for Papers Submission
by Zeyu Gao 01 Dec '18

01 Dec '18

*We are sorry if you received multiple CFPs for this.* ************************************************************************************************************************************************ Last Call For Papers - IEEE AI Testing 2019 *Important Dates* Abstract submission: Dec. 7, 2018 Full paper submission: Dec. 21, 2018 12:00 AOE (firm) Notification: Feb. 15, 2019 (firm) Final Paper and Registration: Feb. 28, 2019 (firm) Conference: Apr 4 - 9, 2019 *http://www.ieeeaitests.com/index.html <http://www.ieeeaitests.com/index.html>* The First IEEE International Conference On Artificial Intelligence Testing (2019 IEEE AITest) Artificial Intelligence (AI) technologies are widely used in computer applications to perform tasks such as monitoring, forecasting, recommending, prediction, and statistical reporting. They are deployed in a variety of systems including driverless vehicles, robot controlled warehouses, financial forecasting applications, and security enforcement and are increasingly integrated with cloud/fog/edge computing, big data analytics, robotics, Internet-of-Things, mobile computing, smart cities, smart homes, intelligent healthcare, etc. However, the quality assurance of existing AI application development processes is still far from satisfactory and the demand for being able to show demonstrable levels of confidence in such systems is growing. Software testing is a fundamental, effective and recognized quality assurance method which has shown its cost-effectiveness to ensure the reliability of many complex software-systems. However，the adaptation of software testing to the peculiarities of AI applications remains largely unexplored and needs extensive research to be performed. On the other hand, the availability of AI technologies provides an exciting opportunity to improve existing software testing processes, and recent years have shown that machine learning, data mining, knowledge representation, constraint optimization, planning, scheduling, multi-agent systems, etc. have real potential to positively impact on software testing. Recent years have seen a rapid growth of interests in testing AI applications as well as application of AI techniques to software testing. It is, therefore, timely to provide an international forum for researchers and practitioners to exchange novel research results, to articulate the problems and challenges from practices, to deepen our understanding of the subject area with new theories, methodologies, techniques, processes models, etc., and to improve the practices with new tools and resources. This is the aim of the IEEE conference on AI Testing. *Topics Of Interest* The conference invites papers of original research on AI testing and reports of the best practices in the industry as well as the challenges in practice and research. Topics of interest include (but are not limited to) the following: - Testing AI applications - Methodologies for testing, verification and validation of AI applications - Process models for testing AI applications and quality assurance activities and procedures - Quality models of AI applications and quality attributes of AI applications, such as correctness, reliability, safety, security, accuracy, precision, comprehensibility, explainability, etc - Whole lifecycle of AI applications, including analysis, esign, development, deployment, operation and evolution - Techniques for testing AI applications - Test case design, test data generation, test prioritization, test reduction, etc - Metrics and measurements of the adequacy of testing AI applications - Test oracle for checking the correctness of AI application on test cases - Tools and environment for automated and semi-automated software testing AI applications for various testing activities and management of testing resources - Specific concerns of software testing with various specific types of AI technologies - Statistical machine learning and data mining - Symbolic machine learning, decision trees and random forests, reinforcement learning - Evolutionary methods and Genetic algorithms - Multi-agent systems - Heuristic search algorithms - Cognitive computing - Knowledge management, expert systems - Automatic reasoning and theorem proving - Constraint Programming and Constraint Optimization - Metaprogramming, high-order functions, high-order logic - Programming by example, programming synthesis, etc - Specific concerns of software testing for various types of AI applications - Computer vision and object recognition in image, audio and video - Personalized recommendation systems, and business intelligence - Driverless vehicles and autonomous robotics - Intelligent diagnostic systems - Decision-making support systems - Prediction and forecast systems - Smart cities, smart home, healthcare, and medicine, etc - Natural language processing, and intelligent human machine interactions, etc - Applications of AI techniques to software testing - Machine learning applications to software testing, such as test case generation, test effectiveness prediction and optimization, test adequacy improvement, test cost reduction, etc - Constraint Programming for test case generation and test suite reduction - Constraint Scheduling and Optimization for test case prioritization and test execution scheduling - Multi-agent systems for testing and test services - Crowdsourcing and swarm intelligence in software testing - Genetic algorithms, search-based techniques and heuristics to optimization of testing - Knowledge-based and expert systems for software testing - Data quality checking for AI applications - Testing and quality assurance for unstructured training data - Automatic validation tool for training unstructured data and big data - Large-scale unstructured data quality certification Submission Paper Submission We primarily invite submission of research papers, that describe original and significant work, but also papers which reports on case studies and empirical research. Papers must not be accepted for publication, or be under submission to another conference or journal. Each paper will be reviewed by at least three members of the Program Committee, using a single-blind reviewing procedure. All papers must be submitted electronically using the EasyChair conference system in PDF format. Each paper is limited to 8 pages including figures and references using IEEE Computer Society Proceedings (two columns, single-spaced, 10pt font). At least one of the authors of any accepted paper would have to register for the conference and confirm that she/he will present the paper in person.

1 0

Last Call For Papers - IEEE BigDataService 2019
by Zeyu Gao 01 Dec '18

01 Dec '18

*We are sorry if you received multiple CFPs for this.* ************************************************************************************************************************************************ Last Call For Papers - IEEE BigDataService 2019 *Important Dates* Paper Submission Deadline: * Dec. 14, 2019 * Notification: *Jan. 10, 2019* Final Paper and Registration: *Jan. 31, 2019* Conference: * Apr. 4 - 9, 2019* http://www.big-dataservice.net/index.html The Fifth IEEE International Conference On Big Data Service And Applications April 4 – 9, 2019, San Francisco, USA Big-Data computing and services have received significant attention in recent years. The IEEE BigDataService 2019 aims to provide a forum for researchers and practitioners to exchange innovative ideas, latest research results, and practice experiences and lessons learned. Its major objectives include big-data applications in various domains such as healthcare, business and financing, education and learning, social networks and media, urban and environment, sensors and Internet of things as well as technology aspects of big data computing and services such as computing services and architecture, modeling, data mining and analytics. The conference will be co-located with *IEEE SOSE 2019 <http://www.ieeesose.net/>, IEEE Mobile Cloud 2019 <http://www.mobile-cloud.net/>, IEEE DAPPCON 2019 <http://www.dappcon.net/> **and** IEEE Artificial IntelligenceTesting 2019 <http://www.ieeeaitests.com/> * IEEE BigDataService 2019 will consist of main tracks and special tracks. The conference will include 3 International Workshops of *Smart City Big Data Analysis*, *Big Data in Water Resources, Environment, and Hydraulic from Engineering*, and *Industry Big Data and Signal Processing*. Workshop proposal is due 10/15/2018. The conference seeks the submission of high-quality papers limited to 10 pages (IEEE format) in length. All accepted papers will be included in the proceedings. Selected papers will be invited for extension and published in journals (SCI-Index). *TOPICS OF INTEREST (INCLUDE BUT NOT LIMITED TO)* - Big Data Foundations - Foundational theoretical or computational models for big data - Programming models, theories, and algorithms for big data - Standards, protocols, and quality assurance for big data - Big Data Platforms and Technologies - Innovative, concurrent, and scalable big data platforms - Data indexing, cleaning, transformation, and curation technologies - Big data processing frameworks and technologies - Big data services and application development methods and tools - Big data quality evaluation and assurance technologies - Big data system reliability and availability - Open-source development and technology for big data - Big Data as a Service (BDaaS) platform and technologies - Big Data Analytics and Services - Algorithms and systems for big data search, analytics and visualization - Artificial Intelligence for big data and based on big data - Visualization analytics for big data - Knowledge extraction, discovery, analysis, presentation, and visualization - Big Data Applications and Experiences - Innovative big data applications and services in industries and domains e.g. healthcare, finance, insurance, transportation, agriculture, education, environment, multi-media, social networks, urban planning, disaster management, security - Experiences and case studies of big data applications and services - Real-world and large-scale practices of big data - Emerging Topics - Sensor networks and Internet of Things - Networking and protocols - Smart City *SPECIAL TRACKS* - Special Track on Real-time Big Data Services and Applications - Models, algorithms, and technologies for real-time big data services and applications - Experiences, practices and case studies of real-time big data services and applications - Special Track on Big Data Security, Privacy and Trust - Models, algorithms and technologies for big data security and integrity - Practical security and privacy technologies and applications for big data - Special Track on Big Data and analytics for Healthcare - Models, algorithms, and technologies of big data for healthcare - Big data services and applications for healthcare - Experiences, practices and case studies of big data technologies for healthcare *Contact Information* Feel free to contact us for any questions or suggestions. *Simon Shim:* simon.shim(a)sjsu.edu *Fanjing Meng:* mengfj(a)cn.ibm.com

1 0

[FGCS] Special Issue on Trusted Cloud-Edges Computations (Submission deadline extended to Jan 15, 2019)
by Claudio A. Ardagna 30 Nov '18

30 Nov '18

***Submission deadline extended to January 15th, 2019*** [Apologies if you receive multiple copies of this message] ****************************************************** Future Generation Computer Systems Special Issue on Trusted Cloud-Edges (CE) Computations ****************************************************** Current and future service-based software needs to remain focused towards the development and deployment of large and complex intelligent and networked information systems, required for internet-based and intranet-based systems in organizations, as well to move to IoT integration and big data analytics. Today, service-based software covers a very wide range of application domains as well as technologies and research issues. This has recently found realization through the integration of cloud computing and IoT, forming a revolutionary paradigm, cloud-assisted Internet of things (CoT), that enables intelligent and self-con?guring (smart) IoT devices to be connected with the cloud through the Internet. However, huge volume of data generated from real-world applications leads to the operation difficulty of CoT paradigm. More specifically, while billions of connected devices will generate exabytes of data every day, moving all the data from comparably resource-constrained IoT devices to the cloud becomes a big challenge. Hence, the centralized CoT model is undergoing a paradigm shift towards a decentralized model termed as edge computing, where local and distributed edge devices such as smartphones, smart gateways, and local PC with weaker capability than the centralized cloud can offer cloud-like service for only a limited group of devices. While the centralized cloud is still inevitable for the heavyweight computation needs, in this emerging Cloud-Edges (CE) paradigm, the cloud, together with local edge devices jointly offer services and intelligence. CE paradigm complements traditional CoT paradigm in terms of high scalability, low delay, location awareness, and instant local client computing capabilities. Nonetheless, due to the multiple and even highly distributed roles in CE paradigm, vital elements in such CE paradigm are the notions of trust, security, privacy and risk management among the cloud, edge devices, and end devices. This special issue solicits submissions from both academia and industry presenting novel research in the context of trusted Cloud-Edges (CE) computations, presenting theoretical and practical approaches to cloud, big data, IoT and edge computing trust, security, privacy and risk management. This special issue will provide a special focus on the intersection between cloud paradigm, big data analytics, IoT integration and edge computing, bringing together experts from the four communities to discuss on the vital issues of trust, security, privacy and risk management in cloud computing, shedding the light on novel issues and requirements in domains of big data, IoT, and edge computing. Potential contributions could cover new approaches, methodologies, protocols, tools, or verification and validation techniques. We also welcome review papers that analyze critically the current status of trust, security, privacy and risk management in the cloud, big data, IoT, and edge computing. Papers from practitioners who encounter trust, security, privacy, and risk management problems, and seek understanding are finally welcome. Best papers from the 7th International Symposium on Secure Virtual Infrastructures - Cloud and Trusted Computing (http://www.otmconferences.org/index.php/conferences/ctc-2018) will be also invited to submit to the special issue. The following themes are of particular interest: - Authentication, auditing and accountability in Cloud-Edges - Edge computing architectures and solution design patterns - Edge computing for IoT - Communication and networking protocols for Cloud-Edges - Fine-grained access control mechanism in Cloud-Edges - Privacy-preserving computation in Cloud-Edges - Trust and reputation issues in Cloud-Edges - Security architecture for Cloud-Edges - Key management in Cloud-Edges - IoT communication in Cloud-Edges - Data caching for big data in Cloud-Edges - Big data analytics in Cloud-Edges - Incentive models or techniques for data processing in Cloud-Edges - Privacy-Enhancing Cryptographic Techniques in Cloud-Edges - Secure Data Analysis and Private Learning - Outsourced or Verifiable Computation in Cloud-Edges - Secure Software-Defined Networking and Virtualization for in Cloud-Edges - Security for Crowdsourcing in Cloud-Edges IMPORTANT DATES - Manuscript Due: January 15, 2019 *FIRM* - First Review Notification: April 15, 2019 - Revised Manuscript: May 31, 2019 - Second Review Notification: June 30, 2019 - Second Revised Manuscript: July 31, 2019 - Camera Ready Paper Due: August 31, 2019 - Publication Date: Third Quarter of 2019 SUBMISSION GUIDELINES Submitted papers should not have been previously published nor be currently under consideration for publication elsewhere. Submission must be in the form of a PDF file and must be in English. All papers will be thoroughly peer-reviewed by independent reviewers and selected based on originality, scientific quality and relevance to the special issue. The journal editors will make final decisions about the acceptance of the papers. All submissions must be prepared according to the Guide for Authors available on FGCS homepage and submitted through the Editorial system (EVISE) located at https://www.evise.com/evise/jrnl/FGCS. Authors must select "VSI: Trusted Cloud-Edge Comp", from the "Choose Article Type" pull-down menu during the submission process at EVISE. GUEST EDITORS Claudio A. Ardagna University of Milan, Italy claudio.ardagna(a)unimi.it Mauro Conti University of Padova, Italy conti(a)math.unipd.it Ernesto Damiani Centre on Cyber-Physical Systems, Khalifa University, Abu Dhabi, UAE ernesto.damiani(a)kustar.ac.ae Chia-Mu Yu National Chung Hsing University, Taiwan chiamuyu(a)nchu.edu.tw

1 0

[FCDS] S.I. On the Importance of Semantics in Big Data Integration, Storage, and Processing
by Fulvio Frati 30 Nov '18

30 Nov '18

S.I. On the Importance of Semantics in Big Data Integration, Storage, and Processing [Apologies if you receive multiple copies of this CfP] ---------------------------------------------------------------------------- --- FOUNDATIONS of COMPUTING and DECISION SCIENCES journal http://fcds.cs.put.poznan.pl/fcds2/ De Gruyter Publisher https://www.degruyter.com/view/j/fcds Indexed by: Clarivate Analytics - Emerging Sources Citation Index ---------------------------------------------------------------------------- --- SPECIAL ISSUE: On the Importance of Semantics in Big Data Integration, Storage, and Processing ---------------------------------------------------------------------------- --- Guest editors: ---------------------------------------------------------------------------- --- Paolo Ceravolo Universita' degli Studi di Milano, Italy Robert Wrembel Poznan University of Technology, Poland Aims: ---------------------------------------------------------------------------- --- The complexity of Big Data technologies and the variety of knowledge and skills needed to design Big Data applications have emphasized the relevance of systems for managing and documenting Big Data architectures. Documentation, reconfiguration, and verification are crucial tasks for a solid design of technological solutions, but are only partially supported in the current landscape of Big Data technologies. Rethinking data and metadata management in the context of Big Data technologies is then a primary goal for future research. Methods, principles, and perspectives developed by the Data Semantics community can significantly contribute to the aformentioned issues. Solutions for integrating and querying schema-less data, have received much attention. Standards for metadata management have been proposed to improve data integration among silos and to make data more discoverable and accessible through heterogeneous infrastructures. A further level of application of Data Semantics principles in Big Data technologies involves Representing Processes, i.e. the entire pipeline of technologies connected to achieve a specific solution and to make this representation shareable and verifiable to support a mature implementation of the Big Data production cycle. Following the manifesto paper "Big Data Semantics" (J. Data Semantics 7(2), 2018), which identified the important and yet unsolved issues of managing semantics of Big Data, we continue research on this topic. The aim of this special issue of FCDS is to promote research on Big Data semantics and to create a common place for sharing contributions to this topic. Topics of interest for submission include (but are not limited to): ---------------------------------------------------------------------------- --- Big Data Management Metadata Management Big Data Persistence and Preservation Big Data Quality and Provenance Control Big Data Storage and Retrieval Big Data Integration Architectures and Techniques Data Source Discovery Big Data Profiling and Semantics Discovery Querying Heterogeneous Big Data Repositories Caching and Materializing Query Results Quality of Big Data Services Big Data Service Performance Evaluation Big Data Service Reliability and Availability Reproducibility of Big Data Services Verifiability of Big Data Services Assurance in Big Data Services Big Data Visualization Real Time Visualisation Visualization Analytics for Big Data Big Social Media Mining Big Data Security and Privacy Big Data System Security and Integrity Big Data Information Security Privacy-Preserving Big Data Analytics Usable Security and Privacy for Big Data Performance of Big Data Architectures Query Optimization Optimal Selection of Analytics Physical Structures Timetable: ---------------------------------------------------------------------------- --- 20 Feb 2019 - paper submission 10 May 2019 - author notification 31 Jul 2019 - revision submission 31 Sep 2019 - final acceptance notification 10 Oct 2019 - camera-ready submission Submission information: ---------------------------------------------------------------------------- --- * Papers must be submitted via EasyChair using the following address: https://easychair.org/conferences/?conf=fcdsspecialissue2019 * We encourage using Latex, the FCDS template can be downloaded from: http://fcds.cs.put.poznan.pl/FCDS/Files/fcds.zip * Max number of pages: 28 in the FCDS style

1 0