39 results
Search Results
2. An Undergraduate Seminar Emphasizing Oral Presentation of Research Mathematics.
- Author
-
Franzblau, Deborah S.
- Abstract
Details the planning and the outcomes for an undergraduate seminar course that introduced students to journal articles and graduate level texts pertaining to theoretical computer science. Included are useful guides for students that provide basic techniques for reading mathematical papers, and that lead students through the process of generating oral presentations. (eight references) (JJK)
- Published
- 1992
3. Conference Abstracts: The Third Annual Microcomputer Conference.
- Author
-
Baird, William E., Abst
- Abstract
Presented are seven abstracts of papers presented at a microcomputer conference. Areas considered include: development of "Rocky's Boots," a logic simulation game; using computers for practice and problem solving; experiences using LOGO; a computer science curriculum; microcomputers in the science laboratory; computer literacy; and a high school computer network. (JN)
- Published
- 1984
4. Upon Entropy
- Author
-
Villa, Riccardo M., Hovestadt, Ludger, and Bühlmann, Vera
- Subjects
Kommunikation ,Design ,Architektur ,Natur ,Naturwissenschaft ,Architekturtheorie ,Informatik ,Postmoderne ,Digitale Technologie ,Quantenmechanik ,Informationstheorie ,Communication ,Nature ,Natural science ,Architecture theory ,Computer Science ,Postmodernism ,Digital Technology ,Quantum Mechanics ,Information Theory ,thema EDItEUR::A The Arts::AM Architecture::AMA Theory of architecture - Abstract
In his 1979 essay The Postmodern Condition: A Report on Knowledge philosopher Jean-François Lyotard noted that the advent of the computer opened up a stage of progress in which knowledge has become a commodity. Modernity and postmodernity appear as two stages of a process resulting from the conflict of science and narrative. As science attempts to distance itself from narrative, it must create its own legitimacy. This paper takes up this challenge with a focus on the question of imagery. The image is precisely what modern science seeks to free itself from in its quest for absolute transparency. This transparency is examined from the perspective of architecture, drawing on arguments from philosophy, quantum mechanics, theology and information theory. Natural science in the context of postmodernism Quantum mechanics and information theory New volume in the Applied Virtuality Book Series ; In his 1979 essay The Postmodern Condition: A Report on Knowledge philosopher Jean-François Lyotard noted that the advent of the computer opened up a stage of progress in which knowledge has become a commodity. Modernity and postmodernity appear as two stages of a process resulting from the conflict of science and narrative. As science attempts to distance itself from narrative, it must create its own legitimacy. This paper takes up this challenge with a focus on the question of imagery. The image is precisely what modern science seeks to free itself from in its quest for absolute transparency. This transparency is examined from the perspective of architecture, drawing on arguments from philosophy, quantum mechanics, theology and information theory. Natural science in the context of postmodernism Quantum mechanics and information theory New volume in the Applied Virtuality Book Series, Naturwissenschaft im Zeichen der Postmoderne Quantenmechanik und Informationstheorie Neuer Band der Reihe Applied Virtuality Book Series In seinem 1979 erschienenen Essay Das postmoderne Wissen stellte Jean-François Lyotard fest, dass die Einführung des Computers ein Stadium des Fortschritts definiert, in dem Wissen zur Ware wird. Moderne und Postmoderne erscheinen als zwei Stadien eines Prozesses, der aus dem Konflikt der Wissenschaft mit den Narrativen resultiert: Während die Wissenschaft versucht, sich vom Narrativen zu distanzieren, muss sie ihre eigene Legitimation schaffen. Die vorliegende Abhandlung greift die Herausforderung im Zeichen des Bildes auf. Das Bild ist genau das, wovon sich die moderne Wissenschaft auf der Suche nach absoluter Transparenz zu befreien versucht. Diese Transparenz wird unter architektonischen Gesichtspunkten untersucht, die von der Philosophie bis zur Quantenmechanik, von der Theologie bis zur Informationstheorie reichen.
- Published
- 2024
5. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Sankaranarayanan, Sriram and Sharygina, Natasha
- Subjects
Computer Science ,Informatics ,Conference Proceedings ,Research ,Applications ,thema EDItEUR::U Computing and Information Technology::UY Computer science - Abstract
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
- Published
- 2023
- Full Text
- View/download PDF
6. Fundamental Approaches to Software Engineering
- Author
-
Lambers, Leen and Uchitel, Sebastián
- Subjects
Computer Science ,Informatics ,Conference Proceedings ,Research ,Applications ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ 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. .
- Published
- 2023
- Full Text
- View/download PDF
7. Participative Urban Health and Healthy Aging in the Age of AI
- Author
-
Aloulou, Hamdi, Abdulrazak, Bessam, de Marassé-Enouf, Antoine, and Mokhtari, Mounir
- Subjects
architecture types ,artificial intelligence ,communication systems ,computer hardware ,computer networks ,computer science ,computer systems ,engineering ,Human-Computer Interaction (HCI) ,internet ,Internet of Things (IoT) ,network protocols ,sensors ,signal processing ,software architecture ,software design ,software engineering ,telecommunication systems ,ubiquitous computing ,user interfaces ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZG User interface design & usability ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ,bic Book Industry Communication::U Computing & information technology::UB 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.
- Published
- 2022
- Full Text
- View/download PDF
8. Computer Aided Verification
- Author
-
Shoham, Sharon and Vizel, Yakir
- Subjects
architecting ,architecture verification and validation ,artificial intelligence ,computer programming ,computer science ,computer systems ,databases ,distributed computer systems ,embedded systems ,engineering ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,software architecture ,software design ,software engineering ,software quality ,theoretical computer science ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY 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.
- Published
- 2022
- Full Text
- View/download PDF
9. Machine Learning for Cyber-Physical Systems
- Author
-
Niggemann, Oliver, Beyerer, Jürgen, Krantz, Maria, and Kühnert, Christian
- Subjects
Cyber-physical systems ,Neural networks ,Computer Science ,Network architecture ,Automatic validation ,Machine learning ,thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering ,thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory::GPFC Cybernetics and systems theory ,thema EDItEUR::U Computing and Information Technology::UK Computer hardware ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ,thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWH Mathematical modelling - Abstract
This open access proceedings presents new approaches to Machine Learning for Cyber-Physical Systems, experiences and visions. It contains some selected papers from the international Conference ML4CPS – Machine Learning for Cyber-Physical Systems, which was held in Hamburg (Germany), March 29th to 31st, 2023. Cyber-physical systems are characterized by their ability to adapt and to learn: They analyze their environment and, based on observations, they learn patterns, correlations and predictive models. Typical applications are condition monitoring, predictive maintenance, image processing and diagnosis. Machine Learning is the key technology for these developments. This is an open access book.
- Published
- 2024
- Full Text
- View/download PDF
10. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Groote, Jan Friso and Larsen, Kim Guldstrand
- Subjects
Theory of Computation ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Software Engineering ,Computer Engineering and Networks ,architecture verification and validation ,automata theory ,computer systems ,distributed computer systems ,embedded systems ,formal logic ,mathematics ,model checking ,model-checking ,parallel processing systems ,SAT and SMT solving ,software architecture ,static and dynamic program analysis ,theorem-proving ,verification and validation ,Computer science ,Mathematical theory of computation ,Computer networking & communications ,Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering - Abstract
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
- Published
- 2021
- Full Text
- View/download PDF
11. Computer Aided Verification
- Author
-
Lahiri, Shuvendu K. and Wang, Chao
- Subjects
Software Engineering ,Theory of Computation ,Computer Systems Organization and Communication Networks ,Artificial Intelligence ,Information Systems and Communication Service ,Computer Hardware ,Computer Engineering and Networks ,Database Management System ,architecture verification and validation ,artificial intelligence ,computer hardware ,computer networks ,computer programming ,computer systems ,data security ,distributed computer systems ,embedded systems ,formal logic ,linguistics ,model checking ,network protocols ,parallel processing systems ,signal processing ,software architecture ,software design ,software quality ,verification and validation ,Open Access ,Computer science ,Mathematical theory of computation ,Computer networking & communications ,Artificial intelligence ,Computer hardware ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware - Abstract
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
- Published
- 2020
- Full Text
- View/download PDF
12. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Biere, Armin and Parker, David
- Subjects
Theory of Computation ,Special Purpose and Application-Based Systems ,Computer System Implementation ,Control Structures and Microprogramming ,Mathematics of Computing ,open access ,specification and verification techniques ,software and hardware verification ,SAT and SMT solving ,theorem proving ,model checking ,static and dynamic program analysis ,testing ,system construction and transformation techniques ,tool environments and tool architectures ,abstraction techniques for modeling and verification ,compositional and refinement-based methodologies ,mathematics ,software engineering ,software design ,architecting ,software architecture ,embedded systems ,automata theory ,linguistics ,Computer science ,Mathematical theory of computation ,Expert systems / knowledge-based systems ,Systems analysis & design ,Algorithms & data structures ,Maths for computer scientists ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation - Abstract
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
- Published
- 2020
- Full Text
- View/download PDF
13. Cyber Security
- Author
-
Yun, Xiaochun, Wen, Weiping, Lang, Bo, Yan, Hanbing, Ding, Li, Li, Jia, and Zhou, Yu
- Subjects
Computer science ,Computer security ,thema EDItEUR::U Computing and Information Technology::UR Computer security - Abstract
This open access book constitutes the refereed proceedings of the 15th International Annual Conference on Cyber Security, CNCERT 2018, held in Beijing, China, in August 2018. The 14 full papers presented were carefully reviewed and selected from 53 submissions. The papers cover the following topics: emergency response, mobile internet security, IoT security, cloud security, threat intelligence analysis, vulnerability, artificial intelligence security, IPv6 risk research, cybersecurity policy and regulation research, big data analysis and industrial security.
- Published
- 2019
- Full Text
- View/download PDF
14. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Vojnar, Tomáš and Zhang, Lijun
- Subjects
Computer science ,Computer logic ,Software engineering ,Mathematical logic ,Algorithms ,Logic design ,Artificial intelligence ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence - Abstract
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
- Published
- 2019
- Full Text
- View/download PDF
15. Fundamental Approaches to Software Engineering
- Author
-
Hähnle, Reiner and van der Aalst, Wil
- Subjects
Computer science ,Software engineering ,Programming languages (Electronic computers) ,Computer system failures ,Computers ,Computer simulation ,thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ,thema EDItEUR::U Computing and Information Technology::UY Computer science ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation - Abstract
This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
- Published
- 2019
- Full Text
- View/download PDF
16. How AI Impacts Urban Living and Public Health
- Author
-
Pagán, José, Mokhtari, Mounir, Aloulou, Hamdi, Abdulrazak, Bessam, and Cabrera, María Fernanda
- Subjects
Computer science ,Computer communication systems ,Special purpose computers ,User interfaces (Computer systems) ,Artificial intelligence ,thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability - Abstract
This open access book constitutes the refereed proceedings of the 17th International Conference on String Processing and Information Retrieval, ICOST 2019, held in New York City, NY, USA, in October 2019. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 24 submissions. They cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and smart environment technology.
- Published
- 2019
- Full Text
- View/download PDF
17. VR Technologies in Cultural Heritage
- Author
-
Duguleană, Mihai, Carrozzino, Marcello, Gams, Matjaž, and Tanea, Iulian
- Subjects
Computer science ,Computer simulation ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation - Abstract
This open access book constitutes the refereed proceedings of the First International Conference on VR Technologies in Cultural Heritage, VRTCH 2018, held in Brasov, Romania in May 2018. The 13 revised full papers along with the 5 short papers presented were carefully reviewed and selected from 21 submissions. The papers of this volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors and actuators, data management, restoration and digitization, cultural tourism.
- Published
- 2019
- Full Text
- View/download PDF
18. Semantic Systems. The Power of AI and Knowledge Graphs
- Author
-
Acosta, Maribel, Cudré-Mauroux, Philippe, Maleshkova, Maria, Pellegrini, Tassilo, Sack, Harald, and Sure-Vetter, York
- Subjects
Computer science ,Knowledge representation (Information theory) ,Special purpose computers ,Computer communication systems ,User interfaces (Computer systems) ,Application software ,thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ,thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability - Abstract
This open access book constitutes the refereed proceedings of the 15th International Conference on Semantic Systems, SEMANTiCS 2019, held in Karlsruhe, Germany, in September 2019. The 20 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic information management and knowledge integration; terminology, thesaurus and ontology management; data mining and knowledge discovery; semantics in blockchain and distributed ledger technologies.
- Published
- 2019
- Full Text
- View/download PDF
19. Computer Aided Verification
- Author
-
Dillig, Isil and Tasiran, Serdar
- Subjects
Computer science ,Software engineering ,Computer logic ,Mathematical logic ,Computer system failures ,Computers ,Artificial intelligence ,thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence - Abstract
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
- Published
- 2019
- Full Text
- View/download PDF
20. Agile Processes in Software Engineering and Extreme Programming – Workshops
- Author
-
Hoda, Rashina
- Subjects
Computer science ,Software engineering ,Management information systems ,thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture - Abstract
This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. Research papers and talks submissions were invited for the three XP 2019 research workshops, namely, agile transformation, autonomous teams, and large scale agile. This book includes 15 related papers. In addition, a summary for each of the four panels at XP 2019 is included. The panels were on security and privacy; the impact of the agile manifesto on culture, education, and software practices; business agility – agile’s next frontier; and Agile – the next 20 years.
- Published
- 2019
- Full Text
- View/download PDF
21. Internet of Things. Information Processing in an Increasingly Connected World
- Author
-
Strous, Leon and Cerf, Vinton G.
- Subjects
Computer science ,Special purpose computers ,Application software ,Computer communication systems ,Artificial intelligence ,Computer system failures ,Operating systems (Computers) ,thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ,thema EDItEUR::U Computing and Information Technology::UL Operating systems ,thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems - Abstract
This open access book constitutes the refereed post-conference proceedings of the First IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018. The 12 full papers presented were carefully reviewed and selected from 24 submissions. Also included in this volume are 4 WCC 2018 plenary contributions, an invited talk and a position paper from the IFIP domain committee on IoT. The papers cover a wide range of topics from a technology to a business perspective and include among others hardware, software and management aspects, process innovation, privacy, power consumption, architecture, applications.
- Published
- 2019
- Full Text
- View/download PDF
22. Security in Computer and Information Sciences
- Author
-
Gelenbe, Erol, Campegiani, Paolo, Czachórski, Tadeusz, Katsikas, Sokratis K., Komnios, Ioannis, Romano, Luigi, and Tzovaras, Dimitrios
- Subjects
Computer science ,Data protection ,Application software ,Data encryption (Computer science) ,Special purpose computers ,Computer communication systems ,thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology ,thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ,thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ,thema EDItEUR::U Computing and Information Technology::UR Computer security ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems - Abstract
This open access book constitutes the thoroughly refereed proceedings of the First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, held in London, UK, in February 2018. The 12 full papers presented together with an overview paper were carefully reviewed and selected from 31 submissions. Security of distributed interconnected systems, software systems, and the Internet of Things has become a crucial aspect of the performance of computer systems. The papers deal with these issues, with a specific focus on societally critical systems such as health informatics systems, the Internet of Things, energy systems, digital cities, digital economy, mobile networks, and the underlying physical and network infrastructures.
- Published
- 2018
- Full Text
- View/download PDF
23. Computer Aided Verification
- Author
-
Chockler, Hana and Weissenbacher, Georg
- Subjects
Computer science ,Computer logic ,Software engineering ,Artificial intelligence ,Mathematical logic ,Algorithms ,Computer simulation ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
- Published
- 2018
- Full Text
- View/download PDF
24. Proceedings of the 2nd International Conference on Innovative Solutions in Hydropower Engineering and Civil Engineering
- Author
-
Wang, Shuren, Li, Jingan, Hu, Kui, and Bao, Xingxian
- Subjects
Computer Science ,Informatics ,Conference Proceedings ,Research ,Applications ,bic Book Industry Communication::T Technology, engineering, agriculture::TH Energy technology & engineering::THX Alternative & renewable energy sources & technology ,bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building - Abstract
This open access book is compilation of selected papers from 2nd International Conference on Innovative Solutions in Hydropower Engineering and Civil Engineering (HECE 2022). The work focuses on novel techniques for topics in hydropower and sustainable development, maximizing and communicating the multiple benefits of hydro, the food-water-energy nexus approach, synergy among the renewables, making hydro more competitive (managing and mitigating risk), regional development through power trading, hydropower technology, civil engineering, materials for dams and appurtenant works, advances in design and construction techniques, recent developments in dam construction, monitoring and engineering for safe structures and sites. Hydropower offers significant potential for carbon emissions reductions. The installed capacity of hydropower by the end of 2008 contributed 16% of worldwide electricity supply, and hydropower remains the largest source of renewable energy in the electricity sector. The contents make valuable contributions to academic researchers, engineers in the industry, and regulators of hydropower and civil engineering authorities.
- Published
- 2023
- Full Text
- View/download PDF
25. Programming Languages and Systems
- Author
-
Wies, Thomas
- Subjects
Computer Science ,Informatics ,Conference Proceedings ,Research ,Applications ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general - Abstract
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 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 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Published
- 2023
- Full Text
- View/download PDF
26. Foundations of Software Science and Computation Structures
- Author
-
Kupferman, Orna and Sobocinski, Pawel
- Subjects
Computer Science ,Informatics ,Conference Proceedings ,Research ,Applications ,thema EDItEUR::U Computing and Information Technology::UY Computer science - Abstract
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
- Published
- 2023
- Full Text
- View/download PDF
27. Electronic Voting
- Author
-
Krimmer, Robert, Volkamer, Melanie, Duenas-Cid, David, Rønne, Peter, and Germann, Micha
- Subjects
artificial intelligence ,communication ,communication systems ,computer crime ,computer hardware ,computer networks ,computer science ,computer security ,computer systems ,computer vision ,cryptography ,data security ,engineering ,fuzzy sets ,internet ,network protocols ,network security ,privacy ,signal processing ,telecommunication systems ,bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GP Research & information: general::GPJ Coding theory & cryptology ,bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications::UTN Network security ,bic Book Industry Communication::U Computing & information technology::UR Computer security ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware - Abstract
This open access book LNCS 13353 constitutes the proceedings of the 7th International Conference on Electronic Voting, E-Vote-ID 2022, held in Bregenz, Austria, in October 2022. The 10 full papers presented were carefully reviewed and selected from 39 submissions. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and usability through to practical experiences and applications of voting systems, also including legal, social, or political aspects, amongst others.
- Published
- 2022
- Full Text
- View/download PDF
28. Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries
- Author
-
Crimi, Alessandro and Bakas, Spyridon
- Subjects
artificial intelligence ,bioinformatics ,computer science ,computer systems ,computer vision ,education ,image analysis ,image processing ,image segmentation ,learning ,machine learning ,medical images ,neural networks ,pattern recognition ,segmentation methods ,software design ,software engineering ,software quality ,validation ,verification and validation ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYT Image processing ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues - Abstract
This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in Biomedical Image Quantification (QUBIQ). These were held jointly at the 23rd Medical Image Computing for Computer Assisted Intervention Conference, MICCAI 2020, in September 2021. The 91 revised papers presented in these volumes were selected form 151 submissions. Due to COVID-19 pandemic the conference was held virtually. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
29. Web and Internet Economics
- Author
-
Lu, Pinyan and R. Devanur, Nikhil
- Subjects
game theory ,computer science ,thema EDItEUR::U Computing and Information Technology - Abstract
This book constitutes the thoroughly refereed proceedings of the 13th International Conference on Web and Internet Economics, WINE 2017, held in Bangalore, India, in December 2017. The 28 full and 6 short papers presented were carefully reviewed and selected from 89 submissions. The papers reflect the work of researchers in theoretical computer science, artificial intelligence, and microeconomics who have joined forces to tackle problems at the intersection of computation, game theory and economics.
- Published
- 2017
- Full Text
- View/download PDF
30. Fundamental Approaches to Software Engineering
- Author
-
Guerra, Esther and Stoelinga, Mariëlle
- Subjects
Software Engineering/Programming and Operating Systems ,Data Structures and Information Theory ,Natural Language Processing (NLP) ,Programming Techniques ,Theory of Computation ,Software Engineering ,architecture verification and validation ,artificial intelligence ,embedded systems ,empirical software validation ,formal logic ,formal methods ,model checking ,model-driven software engineering ,object-oriented programming ,parallel processing systems ,program analysis ,program compilers ,signal processing ,software architecture ,software performance ,software selection and adaptation ,software testing and debugging ,telecommunication systems ,verification ,Operating systems ,Algorithms & data structures ,Information theory ,Natural language & machine translation ,Computer programming / software engineering ,Computer science ,Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
- Published
- 2021
- Full Text
- View/download PDF
31. Proceedings of the 2020 DigitalFUTURES
- Author
-
Yuan, Philip F., Yao, Jiawei, Yan, Chao, Wang, Xiang, and Leach, Neil
- Subjects
Robotics and Automation ,Computer-Aided Engineering (CAD, CAE) and Design ,Simulation and Modeling ,Robotics ,Control, Robotics, Automation ,Computer Science ,Post-humanist Intelligence ,Computational Design ,Robotic Fabrication ,Human-Machine Collaboration ,AI in Architecture ,Open Access ,Computer-aided design (CAD) ,Computer modelling & simulation ,Artificial intelligence ,bic Book Industry Communication::T Technology, engineering, agriculture::TJ Electronics & communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics ,bic Book Industry Communication::U Computing & information technology::UG Graphical & digital media applications::UGC Computer-aided design (CAD) ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYM Computer modelling & simulation ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access book is a compilation of selected papers from 2020 DigitalFUTURES—The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020). The book focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers will encounter new ideas about understanding intelligence in architecture.
- Published
- 2021
- Full Text
- View/download PDF
32. Foundations of Software Science and Computation Structures
- Author
-
Kiefer, Stefan and Tasson, Christine
- Subjects
Mathematical Logic and Formal Languages ,Theory of Computation ,Natural Language Processing (NLP) ,Database Management ,Programming Techniques ,Formal Languages and Automata Theory ,automata theory ,databases ,formal languages ,formal logic ,computational linguistics ,open access ,semantics ,categorical models and logics ,language theory, automata, and games ,modal, spatial, and temporal logics ,type theory and proof theory ,concurrency theory and process calculi ,rewriting theory ,logical foundations of data bases ,models of software security ,logical aspects of computation complexity ,logics of programming ,Mathematical theory of computation ,Computer science ,Natural language & machine translation ,Database programming ,Computer programming / software engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UN Databases ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development - Abstract
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
- Published
- 2021
- Full Text
- View/download PDF
33. Programming Languages and Systems
- Author
-
Müller, Peter
- Subjects
Programming Languages, Compilers, Interpreters ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Information Systems and Communication Service ,Natural Language Processing (NLP) ,Theory of Computation ,artificial intelligence ,computer networks ,computer programming ,computer security ,distributed computer systems ,embedded systems ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,object-oriented programming ,parallel processing systems ,program compilers ,semantics ,software architecture ,software design ,software engineering ,software quality ,verification and validation ,Programming & scripting languages: general ,Compilers & interpreters ,Computer networking & communications ,Algorithms & data structures ,Natural language & machine translation ,Computer science ,Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language & machine translation ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Published
- 2020
- Full Text
- View/download PDF
34. The Future of Software Quality Assurance
- Author
-
Goericke, Stephan
- Subjects
Computer science ,Software engineering ,Management information systems ,thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture - Abstract
This open access book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to raise the profile of software testers and their profession. It gathers contributions by respected software testing experts in order to highlight the state of the art as well as future challenges and trends. In addition, it covers current and emerging technologies like test automation, DevOps, and artificial intelligence methodologies used for software testing, before taking a look into the future. The contributing authors answer questions like: "How is the profession of tester currently changing? What should testers be prepared for in the years to come, and what skills will the next generation need? What opportunities are available for further training today? What will testing look like in an agile world that is user-centered and fast-paced? What tasks will remain for testers once the most important processes are automated?" iSQI has been focused on the education and certification of software testers for fifteen years now, and in the process has contributed to improving the quality of software in many areas. The papers gathered here clearly reflect the numerous ways in which software quality assurance can play a critical role in various areas. Accordingly, the book will be of interest to both professional software testers and managers working in software testing or software quality assurance.
- Published
- 2020
- Full Text
- View/download PDF
35. Multiple-Aspect Analysis of Semantic Trajectories
- Author
-
Tserpes, Konstantinos, Renso, Chiara, and Matwin, Stan
- Subjects
Computer science ,Machine learning ,Application software ,Optical data processing ,thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing - Abstract
This open access book constitutes the refereed post-conference proceedings of the First International Workshop on Multiple-Aspect Analysis of Semantic Trajectories, MASTER 2019, held in conjunction with the 19th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2019, in Würzburg, Germany, in September 2019. The 8 full papers presented were carefully reviewed and selected from 12 submissions. They represent an interesting mix of techniques to solve recurrent as well as new problems in the semantic trajectory domain, such as data representation models, data management systems, machine learning approaches for anomaly detection, and common pathways identification.
- Published
- 2020
- Full Text
- View/download PDF
36. Foundations of Software Science and Computation Structures
- Author
-
Bojańczyk, Mikołaj and Simpson, Alex
- Subjects
Computer science ,Mathematical logic ,Artificial intelligence ,Computer science—Mathematics ,Data structures (Computer science) ,Programming languages (Electronic computers) ,Computer programming ,thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.
- Published
- 2019
- Full Text
- View/download PDF
37. Supercomputing Frontiers
- Author
-
Abramson, David and de Supinski, Bronis R.
- Subjects
Computer science ,Computer organization ,User interfaces (Computer systems) ,Optical data processing ,Operating systems (Computers) ,Microprogramming ,Input-output equipment (Computers) ,thema EDItEUR::U Computing and Information Technology::UL Operating systems ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ,thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability - Abstract
This open access book constitutes the refereed proceedings of the 5th Asian Supercomputing Conference, SCFA 2019, held in Singapore in March 2019. The 6 full papers presented in this book were carefully reviewed and selected from 33 submissions. They cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, resource usage prediction, and data caching.
- Published
- 2019
- Full Text
- View/download PDF
38. Principles of Security and Trust
- Author
-
Nielson, Flemming and Sands, David
- Subjects
Computer science ,Computer security ,Software engineering ,Artificial intelligence ,Computer system failures ,Computers ,thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ,thema EDItEUR::U Computing and Information Technology::UR Computer security ,thema EDItEUR::U Computing and Information Technology::UY Computer science ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
- Published
- 2019
- Full Text
- View/download PDF
39. Agile Processes in Software Engineering and Extreme Programming
- Author
-
Kruchten, Philippe, Fraser, Steven, and Coallier, François
- Subjects
Computer science ,Software engineering ,Management information systems ,thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ,thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ,thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture - Abstract
This open access book constitutes the proceedings of the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years The 15 full papers presented in this volume were carefully reviewed and selected from 45 submissions. They were organized in topical sections named: agile adoption, agile practices; large-scale agile; agility beyond IT, and the future of agile.
- Published
- 2019
- Full Text
- View/download PDF
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.