Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Undetermined  (21)
  • Polish
  • Spanish
  • Cham : Springer Nature  (21)
  • Software Engineering  (21)
Datasource
Material
Language
  • Undetermined  (21)
  • Polish
  • Spanish
  • English  (11)
Years
  • 1
    ISBN: 9783031367632 , 9783031367625
    Language: Undetermined
    Pages: 1 Online-Ressource (146 p.)
    Keywords: Systems analysis & design ; Circuits & components ; Communications engineering / telecommunications ; Software Engineering
    Abstract: This open access book improves the users' skills needed to implement models for performance evaluation of digital infrastructures. Building a model is usually a relatively easy task, but making it an accurate representation of the phenomenon to be reproduced is a completely different matter. It is well-known that to increase the ability to build reliable models it is necessary to accumulate experience. The book addresses this need by presenting a collection of case studies of increasing complexity. Readers are introduced to the modeling process gradually, learning the basic concepts step-by-step as they go through the case studies. Queueing Networks are used to design the models solved with simulation and analytical techniques from the open source Java Modelling Tools (JMT). Among the models analyzed there are systems for optimizing performance, identifying bottlenecks, evaluating the impact of the variability of traffic and service demands, analyzing the effects of synchronization policies in parallel computing. Four case studies derived from real-life scenarios are also presented: a surveillance system, autoscaling load fluctuations, web app workflow simulation, and crowd computing platform. This book serves as a reference tool for graduate and senior-level computer science students in courses of performance evaluation and modeling, as well as for researchers and practitioners
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    ISBN: 9783031485503 , 9783031485497
    Language: Undetermined
    Pages: 1 Online-Ressource (232 p.)
    Series Statement: Lecture Notes in Business Information Processing
    Keywords: Software Engineering ; Information architecture ; Business mathematics & systems ; software measurement ; software creation and management ; process management ; project management ; software development techniques ; empirical software engineering ; continuous experimentation ; business agility ; large-scale agile ; agile software development ; microservices ; extreme programming
    Abstract: This open access book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. In 2022, the following workshops took place: ● 3rd International Workshop on Agility with Microservices Programming ● 2nd International Workshop on Agile Sustainability ● Agile and Education In 2023, six workshops were held: ● Workshop on Organisational Debt and Large-Scale Agile ● Workshop on Software-Intensive Business ● Workshop on Global and Hybrid Work ● Workshop on Fear-Based Agile Transformation ● Workshop on AI-assisted Agile ● Workshop on Agile-Quantum Software Engineering In 2022, 6 workshop papers were accepted for publication in these post-proceedings, out of 11 submissions, and in 2023, 15 papers were accepted for publication out of 38 submissions
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    ISBN: 9783031116582
    Language: Undetermined
    Pages: 1 Online-Ressource (77 p.)
    Series Statement: SpringerBriefs in Computer Science
    Keywords: Software Engineering ; Business mathematics & systems
    Abstract: This open access book provides information how to choose and collect the appropriate metrics for a software project in an organization. There are several kinds of metrics, based on the analysis of source code and developed for different programming paradigms such as structured programming and object-oriented programming (OOP). This way, the book follows three main objectives: (i) to identify existing and easily-collectible measures, if possible in the early phases of software development, for predicting and modeling both the traditional attributes of software systems and attributes specifically related to their efficient use of resources, and to create new metrics for such purposes; (ii) to describe ways to collect these measures during the entire lifecycle of a system, using minimally-invasive monitoring of design-time processes, and consolidate them into conceptual frameworks able to support model building by using a variety of approaches, including statistics, data mining and computational intelligence; and (iii) to present models and tools to support design time evolution of systems based on design-time measures and to empirically validate them. The book provides researchers and advanced professionals with methods for understanding the full implications of alternative choices and their relative attractiveness in terms of enhancing system resilience. It also explores the simultaneous use of multiple models that reflect different system interpretations or stakeholder perspectives
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    ISBN: 9783031308260 , 9783031308253
    Language: Undetermined
    Pages: 1 Online-Ressource (332 p.)
    Series Statement: Lecture Notes in Computer Science
    Keywords: Software Engineering
    Abstract: This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    ISBN: 9783031439506 , 9783031439490
    Language: Undetermined
    Pages: 1 Online-Ressource (352 p.)
    Series Statement: Lecture Notes in Computer Science
    Keywords: Network hardware ; Software Engineering ; Information technology: general issues ; User interface design & usability ; Computer vision ; Systems analysis & design
    Abstract: This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7–8, 2023. The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and AI Solutions for E-health, Biomedical and Health Informatics, Wellbeing Technologies, Short Contributions: Medical Systems and E-health Solutions and Short Contributions: Wellbeing Technologies
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    ISBN: 9783031384998 , 9783031384981
    Language: Undetermined
    Pages: 1 Online-Ressource (592 p.)
    Series Statement: Lecture Notes in Computer Science
    Series Statement: Lecture Notes in Artificial Intelligence
    Keywords: Artificial intelligence ; Mathematical theory of computation ; Computer programming / software development ; Software Engineering
    Abstract: This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    ISBN: 9783031435133 , 9783031435126
    Language: Undetermined
    Pages: 1 Online-Ressource (482 p.)
    Series Statement: Lecture Notes in Computer Science
    Series Statement: Lecture Notes in Artificial Intelligence
    Keywords: Artificial intelligence ; Mathematical theory of computation ; Computer programming / software development ; Software Engineering ; Systems analysis & design ; Algorithms & data structures
    Abstract: This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    ISBN: 9783031339769 , 9783031339752
    Language: Undetermined
    Pages: 1 Online-Ressource (193 p.)
    Series Statement: Lecture Notes in Business Information Processing
    Keywords: Software Engineering ; Business mathematics & systems ; Information architecture
    Abstract: This open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.  XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Whole Team Sustainability”. The 11 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They focus on agile practices and agile in the large
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    ISBN: 9783031433696 , 9783031433689
    Language: Undetermined
    Pages: 1 Online-Ressource (275 p.)
    Series Statement: Lecture Notes in Computer Science
    Series Statement: Lecture Notes in Artificial Intelligence
    Keywords: Artificial intelligence ; Software Engineering ; Computer networking & communications ; Computer programming / software development ; Mathematical theory of computation
    Abstract: This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    ISBN: 9783031377037 , 9783031377020
    Language: Undetermined
    Pages: 1 Online-Ressource (460 p.)
    Series Statement: Lecture Notes in Computer Science
    Keywords: Software Engineering ; Artificial intelligence ; Algorithms & data structures ; Computer networking & communications
    Abstract: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 11
    ISBN: 9783031377099 , 9783031377082
    Language: Undetermined
    Pages: 1 Online-Ressource (502 p.)
    Series Statement: Lecture Notes in Computer Science
    Keywords: Software Engineering ; Artificial intelligence ; Algorithms & data structures ; Computer networking & communications
    Abstract: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 12
    ISBN: 9783031377068 , 9783031377051
    Language: Undetermined
    Pages: 1 Online-Ressource (488 p.)
    Series Statement: Lecture Notes in Computer Science
    Keywords: Software Engineering ; Artificial intelligence ; Algorithms & data structures ; Computer networking & communications
    Abstract: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 13
    ISBN: 9783031107696
    Language: Undetermined
    Pages: 1 Online-Ressource (756 p.)
    Series Statement: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
    Keywords: Mathematical theory of computation ; Software Engineering ; Computer networking & communications ; Artificial intelligence ; Computer programming / software development
    Abstract: This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 14
    ISBN: 9783031095931
    Language: Undetermined
    Pages: 1 Online-Ressource (312 p.)
    Series Statement: Lecture Notes in Computer Science
    Keywords: Network hardware ; Software Engineering ; Information retrieval ; User interface design & usability ; Computer vision ; Information technology: general issues
    Abstract: This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI for health, smart urban environments, assistive technologies, chronic disease management, and coaching and health telematics systems
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 15
    ISBN: 9783031131882
    Language: Undetermined
    Pages: 1 Online-Ressource (549 p.)
    Series Statement: Lecture Notes in Computer Science
    Keywords: Software Engineering ; Artificial intelligence ; Computer networking & communications ; Computer science
    Abstract: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 16
    ISBN: 9783031131851
    Language: Undetermined
    Pages: 1 Online-Ressource (555 p.)
    Series Statement: Lecture Notes in Computer Science
    Keywords: Software Engineering ; Artificial intelligence ; Algorithms & data structures ; Computer networking & communications
    Abstract: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 17
    ISBN: 9783031093579
    Language: Undetermined
    Pages: 1 Online-Ressource (133 p.)
    Series Statement: Communications in Computer and Information Science
    Keywords: Computer security ; Information retrieval ; Network hardware ; Software Engineering ; Legal aspects of IT ; Coding theory & cryptology
    Abstract: This open access book constitutes the thoroughly refereed proceedings of the Second International Symposium on Computer and Information Sciences, EuroCybersec 2021, held in Nice, France, in October 2021. The 9 papers presented together with 1 invited paper were carefully reviewed and selected from 21 submissions. The papers focus on topics of security of distributed interconnected systems, software systems, Internet of Things, health informatics systems, energy systems, digital cities, digital economy, mobile networks, and the underlying physical and network infrastructures. This is an open access book
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 18
    ISBN: 9783031104190
    Language: Undetermined
    Pages: 1 Online-Ressource (141 p.)
    Series Statement: Lecture Notes in Computer Science
    Keywords: Computer networking & communications ; Software Engineering ; Operating systems ; Computer architecture & logic design ; Network hardware
    Abstract: This open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presented in this book were carefully reviewed and selected from 21 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 19
    ISBN: 9783031081699
    Language: Undetermined
    Pages: 1 Online-Ressource (237 p.)
    Series Statement: Lecture Notes in Business Information Processing
    Keywords: Software Engineering ; Business mathematics & systems ; Information architecture
    Abstract: This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.  XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year's conference was held with the theme "Agile in the Era of Hybrid Work". The 13 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: agile practices; agile processes; and agile in the large
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 20
    ISBN: 9783031170300
    Language: Undetermined
    Pages: 1 Online-Ressource (139 p.)
    Series Statement: Communications in Computer and Information Science
    Keywords: Network hardware ; Artificial intelligence ; Computer vision ; Information technology: general issues ; Computer networking & communications ; Software Engineering
    Abstract: This book constitutes the refereed proceedings of the 4th Symposium of the Norwegian AI Society, NAIS 2022, held in Oslo, Norway, during May 31–June 1, 2022. The 11 full papers included in this book were carefully reviewed and selected from 17 submissions. They were organized in topical sections as follows: robotics and intelligent systems; ai in cyber and digital sphere; ai in biological applications and medicine; and towards new ai methods. This is an open access book
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 21
    ISBN: 9783031049613
    Language: Undetermined
    Pages: 1 Online-Ressource (148 p.)
    Series Statement: SpringerBriefs in Applied Sciences and Technology; PoliMI SpringerBriefs
    Keywords: Software Engineering ; Computing & information technology ; Databases ; Operating systems
    Abstract: This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and tools are available in the literature to support DevOps teams in the automation of deployment and operation steps, still these activities require specific know-how and skills that cannot be found in average teams. The SODALITE framework tackles this problem by offering modelling and smart editing features to allow those we call Application Ops Experts to work without knowing low level details about the adopted, potentially heterogeneous, infrastructures. The framework offers also mechanisms to verify the quality of the defined models, generate the corresponding executable infrastructural code, automatically wrap application components within proper execution containers, orchestrate all activities concerned with deployment and operation of all system components, and support on-the-fly self-adaptation and refactoring
    Note: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...