ICICKM2012-Proceedings of the 9th International Conference on Intellectual Capital, Knowledge Management and Organisational Learning

ICICKM2012-Proceedings of the 9th International Conference on Intellectual Capital, Knowledge Management and Organisational Learning PDF Author: Fernando Chaparro
Publisher: Academic Conferences Limited
ISBN: 1908272716
Category : Intellectual capital
Languages : en
Pages : 390

Get Book Here

Book Description

ICICKM2012-Proceedings of the 9th International Conference on Intellectual Capital, Knowledge Management and Organisational Learning

ICICKM2012-Proceedings of the 9th International Conference on Intellectual Capital, Knowledge Management and Organisational Learning PDF Author: Fernando Chaparro
Publisher: Academic Conferences Limited
ISBN: 1908272716
Category : Intellectual capital
Languages : en
Pages : 390

Get Book Here

Book Description


Database and Expert Systems Applications

Database and Expert Systems Applications PDF Author: Hendrik Decker
Publisher: Springer
ISBN: 3642402852
Category : Computers
Languages : en
Pages : 487

Get Book Here

Book Description
This two volume set LNCS 8055 and LNCS 8056 constitutes the refereed proceedings of the 24th International Conference on Database and Expert Systems Applications, DEXA 2013, held in Prague, Czech Republic, August 23-29, 2013. The 43 revised full papers presented together with 33 short papers, and 3 keynote talks, were carefully reviewed and selected from 174 submissions. These papers discuss a range of topics including: search queries; indexing; discovery of semantics; parallel processing; XML and RDF; enterprise models; query evaluation and optimization; semantic Web; sampling; industrial applications; communities; AI and databases; matching and searching; information extraction; queries, streams, and uncertainty, storage and compression; query processing; security; distributed data processing; metadata modeling and maintenance; pricing and recommending; and security and semantics.

Software Technologies

Software Technologies PDF Author: Hans-Georg Fill
Publisher: Springer Nature
ISBN: 303137231X
Category : Computers
Languages : en
Pages : 242

Get Book Here

Book Description
This book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11–13, 2022. The 10 full papers included in this book were carefully reviewed and selected from 102 submissions. They were organized in topical sections as follows: tool assisted empirical approach to reusability models assessment; functional programming; three forms of mutant subsumption: basic, strict and broad; and on the efficiency of building large collections of software: modeling, algorithms, and experimental results.

Model Checking Software

Model Checking Software PDF Author: Ezio Bartocci
Publisher: Springer
ISBN: 3642391761
Category : Computers
Languages : en
Pages : 386

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

Proceedings of International Conference on Computing and Communication Networks

Proceedings of International Conference on Computing and Communication Networks PDF Author: Ali Kashif Bashir
Publisher: Springer Nature
ISBN: 9811906041
Category : Technology & Engineering
Languages : en
Pages : 590

Get Book Here

Book Description
This book includes selected peer-reviewed papers presented at the International Conference on Computing and Communication Networks (ICCCN 2021), held at Manchester Metropolitan University, United Kingdom, during 19–20 November 2021. The book covers topics of network and computing technologies, artificial intelligence and machine learning, security and privacy, communication systems, cyber physical systems, data analytics, cyber security for Industry 4.0, and smart and sustainable environmental systems.

Enterprise Information Systems

Enterprise Information Systems PDF Author: Joaquim Filipe
Publisher: Springer Nature
ISBN: 3030754189
Category : Computers
Languages : en
Pages : 932

Get Book Here

Book Description
This book constitutes extended, revised and selected papers from the 22nd International Conference on Enterprise Information Systems, ICEIS 2020, held online during May 5-7, 2020. The 41 papers presented in this volume were carefully reviewed and selected for inclusion in this book from a total of 255 submissions. They were organized in topical sections as follows: database and information systems integration; artificial intelligence and decision support systems; information systems analysis and specification; software agents and internet computing; human-computer interaction; and enterprise architecture.

Networked Systems

Networked Systems PDF Author: Amr El Abbadi
Publisher: Springer
ISBN: 3319596470
Category : Computers
Languages : en
Pages : 485

Get Book Here

Book Description
This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Marrakech, Morocco, in May 2017. The 28 full and 6 short papers presented together with 3 keynotes were carefully reviewed and selected from 81 submissions. They are organized around the following topics: networking; distributed algorithms; atomicity; security and privacy; software engineering; concurrency and specifications; policies; agreement and consensus; clustering based techniques; verification; communication.

ICSEA 2012

ICSEA 2012 PDF Author:
Publisher:
ISBN: 9781622765843
Category :
Languages : en
Pages : 711

Get Book Here

Book Description


Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation PDF Author: Moreno Falaschi
Publisher: Springer
ISBN: 3319274368
Category : Computers
Languages : en
Pages : 384

Get Book Here

Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

Software Technologies

Software Technologies PDF Author: Andreas Holzinger
Publisher: Springer
ISBN: 3319255797
Category : Computers
Languages : en
Pages : 396

Get Book Here

Book Description
This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014. The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies; software engineering and systems security; distributed systems; and software project management.