Výsledky vyhledávání - Software Engineering/Programming and Operating Systems.*

Upřesnit hledání
  1. 1

    Search-based fairness testing for regression-based machine learning systems Autor Perera, Anjana, Aleti, Aldeida, Tantithamthavorn, Chakkrit, Jiarpakdee, Jirayus, Turhan, Burak, Kuhn, Lisa, Walker, Katie

    ISSN: 1382-3256, 1573-7616
    Vydáno: New York Springer US 01.05.2022
    “…Context Machine learning (ML) software systems are permeating many aspects of our life, such as healthcare, transportation, banking, and recruitment…”
    Získat plný text
    Journal Article
  2. 2

    How and why developers implement OS-specific tests Autor Job, Ricardo, Hora, Andre

    ISSN: 1382-3256, 1573-7616
    Vydáno: New York Springer US 01.02.2025
    “…Context Real-world software systems are often tested in multiple operating systems (OSs…”
    Získat plný text
    Journal Article
  3. 3

    Usability Evaluation of Artificial Intelligence-Based Voice Assistants: The Case of Amazon Alexa Autor Zwakman, Dilawar Shah, Pal, Debajyoti, Arpnikanondt, Chonlameth

    ISSN: 2662-995X, 2661-8907, 2661-8907
    Vydáno: Singapore Springer Singapore 01.02.2021
    Vydáno v SN computer science (01.02.2021)
    “…Currently, the use of voice-assistants has been on the rise, but a user-centric usability evaluation of these devices is a must for ensuring their success…”
    Získat plný text
    Journal Article
  4. 4

    The broken windows theory applies to technical debt Autor Levén, William, Broman, Hampus, Besker, Terese, Torkar, Richard

    ISSN: 1382-3256, 1573-7616, 1573-7616
    Vydáno: New York Springer US 01.07.2024
    “… Some claim that the broken windows theory (BWT), a concept borrowed from criminology, also applies to software development projects…”
    Získat plný text
    Journal Article
  5. 5

    Ability and knowledge: from epistemic transition systems to labelled stit models Autor Kuncová, Alexandra, Broersen, Jan, Duijf, Hein, Ramírez Abarca, Aldo Iván

    ISSN: 1387-2532, 1573-7454
    Vydáno: New York Springer US 01.06.2025
    “…It is possible to know that one can guarantee a certain result and yet not know how to guarantee it. In such cases one has the ability to guarantee something…”
    Získat plný text
    Journal Article
  6. 6

    Performance evaluation of publish-subscribe systems in IoT using energy-efficient and context-aware secure messages Autor Ferraz Junior, Norisvaldo, Silva, Anderson A.A., Guelfi, Adilson E., Kofuji, Sergio T.

    ISSN: 2192-113X, 2192-113X
    Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 31.01.2022
    “…Background The Internet of Things (IoT) enables the development of innovative applications in various domains such as healthcare, transportation, and Industry…”
    Získat plný text
    Journal Article
  7. 7

    Compositional verification of concurrent systems by combining bisimulations Autor Lang, Frédéric, Mateescu, Radu, Mazzanti, Franco

    ISSN: 0925-9856, 1572-8102
    Vydáno: New York Springer US 01.10.2021
    Vydáno v Formal methods in system design (01.10.2021)
    “…One approach to verify a property expressed as a modal μ -calculus formula on a system with several concurrent processes is to build the underlying state space…”
    Získat plný text
    Journal Article
  8. 8

    The landing gear case study: challenges and experiments Autor Boniol, Frédéric, Wiels, Virginie, Aït-Ameur, Yamine, Schewe, Klaus-Dieter

    ISSN: 1433-2779, 1433-2787
    Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2017
    “… systems.Case studies have played an essential role in the history of formal methods. They have allowed to illustrate the application of formal techniques for modelling…”
    Získat plný text
    Journal Article
  9. 9

    Beginning Scala 3 - A Functional and Object-Oriented Java Language (3rd Edition) Autor David Pollak, Vishal Layka, Andres Sacco

    ISBN: 9781484274217, 1484274210, 9781484274224, 1484274229
    Vydáno: Berkeley, CA Apress, an imprint of Springer Nature 2022
    “…Learn the latest version of Scala through simple, practical examples. This book introduces you to the Scala programming language, its object-oriented and…”
    Získat plný text
    E-kniha
  10. 10

    A Comprehensive Review on Deep Learning Techniques on Cyber Attacks on Cyber Physical Systems Autor Sagar, Maloth, Vanmathi, C.

    ISSN: 2661-8907, 2662-995X, 2661-8907
    Vydáno: Singapore Springer Nature Singapore 01.10.2024
    Vydáno v SN computer science (01.10.2024)
    “… systems.A major concern in CPS is to ensure security. If security is not ensured, then it leads to both property damage…”
    Získat plný text
    Journal Article
  11. 11

    Multiple power quality events recognition and classification based on adaptive Eigen-based type-2 fuzzy logic algorithm Autor Rahul

    ISSN: 2520-8438, 2520-8446
    Vydáno: Cham Springer International Publishing 01.03.2022
    “… systems.Our approach is to define an orthogonal matrix, for multiple power quality events then to evaluate Eigen values of estimated parameters…”
    Získat plný text
    Journal Article
  12. 12

    Energy-Efficient Median Filter Core Architecture for Impulse Noise Removal in Smart Measurement Systems Autor Nanduri, Sambamurthy, Kamaraju, Maddu

    ISSN: 2661-8907, 2662-995X, 2661-8907
    Vydáno: Singapore Springer Nature Singapore 06.01.2024
    Vydáno v SN computer science (06.01.2024)
    “…In modern measurement systems, preserving accurate data integrity is essential for reliable and precise measurements. The presence of impulse noise in…”
    Získat plný text
    Journal Article
  13. 13

    Retailer’s Dual Role in Digital Marketplaces: Reference Architectures for Retail Information Systems Autor Wulfert, Tobias, Schütte, Reinhard

    ISSN: 2662-995X, 2661-8907, 2661-8907
    Vydáno: Singapore Springer Nature Singapore 01.01.2022
    Vydáno v SN computer science (01.01.2022)
    “…Digital marketplaces have entered the retail sector and have proven to be a successful business model compared to traditional retailing. Established retailers…”
    Získat plný text
    Journal Article
  14. 14

    Allowing each node to communicate only once in a distributed system: shared whiteboard models Autor Becker, Florent, Kosowski, Adrian, Matamala, Martin, Nisse, Nicolas, Rapaport, Ivan, Suchan, Karol, Todinca, Ioan

    ISSN: 0178-2770, 1432-0452
    Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2015
    Vydáno v Distributed computing (01.06.2015)
    “…In this paper we study distributed algorithms on massive graphs where links represent a particular relationship between nodes (for instance, nodes may…”
    Získat plný text
    Journal Article
  15. 15

    Sampling in software engineering research: a critical review and guidelines Autor Baltes, Sebastian, Ralph, Paul

    ISSN: 1382-3256, 1573-7616
    Vydáno: New York Springer US 01.07.2022
    “…Representative sampling appears rare in empirical software engineering research. Not all studies need representative samples, but a general lack of representative sampling undermines a scientific field…”
    Získat plný text
    Journal Article
  16. 16

    A practical guide to multi-objective reinforcement learning and planning Autor Hayes, Conor F., Rădulescu, Roxana, Bargiacchi, Eugenio, Källström, Johan, Macfarlane, Matthew, Reymond, Mathieu, Verstraeten, Timothy, Zintgraf, Luisa M., Dazeley, Richard, Heintz, Fredrik, Howley, Enda, Irissappane, Athirai A., Mannion, Patrick, Nowé, Ann, Ramos, Gabriel, Restelli, Marcello, Vamplew, Peter, Roijers, Diederik M.

    ISSN: 1387-2532, 1573-7454, 1573-7454
    Vydáno: New York Springer US 01.04.2022
    “…Real-world sequential decision-making tasks are generally complex, requiring trade-offs between multiple, often conflicting, objectives. Despite this, the…”
    Získat plný text
    Journal Article
  17. 17

    Deep code comment generation with hybrid lexical and syntactical information Autor Hu, Xing, Li, Ge, Xia, Xin, Lo, David, Jin, Zhi

    ISSN: 1382-3256, 1573-7616
    Vydáno: New York Springer US 01.05.2020
    “…During software maintenance, developers spend a lot of time understanding the source code…”
    Získat plný text
    Journal Article
  18. 18
  19. 19

    A survey and critique of multiagent deep reinforcement learning Autor Hernandez-Leal, Pablo, Kartal, Bilal, Taylor, Matthew E.

    ISSN: 1387-2532, 1573-7454
    Vydáno: New York Springer US 01.11.2019
    “…Deep reinforcement learning (RL) has achieved outstanding results in recent years. This has led to a dramatic increase in the number of applications and…”
    Získat plný text
    Journal Article
  20. 20

    FixMiner: Mining relevant fix patterns for automated program repair Autor Koyuncu, Anil, Liu, Kui, Bissyandé, Tegawendé F., Kim, Dongsun, Klein, Jacques, Monperrus, Martin, Le Traon, Yves

    ISSN: 1382-3256, 1573-7616, 1573-7616
    Vydáno: New York Springer US 01.05.2020
    “…Patching is a common activity in software development. It is generally performed on a source code base to address bugs or add new functionalities…”
    Získat plný text
    Journal Article