Výsledky vyhledávání - Software Engineering/Programming and Operating Systems.*
-
1
Search-based fairness testing for regression-based machine learning systems
ISSN: 1382-3256, 1573-7616Vydáno: New York Springer US 01.05.2022Vydáno v Empirical software engineering : an international journal (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
How and why developers implement OS-specific tests
ISSN: 1382-3256, 1573-7616Vydáno: New York Springer US 01.02.2025Vydáno v Empirical software engineering : an international journal (01.02.2025)“…Context Real-world software systems are often tested in multiple operating systems (OSs…”
Získat plný text
Journal Article -
3
Usability Evaluation of Artificial Intelligence-Based Voice Assistants: The Case of Amazon Alexa
ISSN: 2662-995X, 2661-8907, 2661-8907Vydáno: Singapore Springer Singapore 01.02.2021Vydá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
The broken windows theory applies to technical debt
ISSN: 1382-3256, 1573-7616, 1573-7616Vydáno: New York Springer US 01.07.2024Vydáno v Empirical software engineering : an international journal (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
Ability and knowledge: from epistemic transition systems to labelled stit models
ISSN: 1387-2532, 1573-7454Vydáno: New York Springer US 01.06.2025Vydáno v Autonomous agents and multi-agent systems (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
Performance evaluation of publish-subscribe systems in IoT using energy-efficient and context-aware secure messages
ISSN: 2192-113X, 2192-113XVydáno: Berlin/Heidelberg Springer Berlin Heidelberg 31.01.2022Vydáno v Journal of cloud computing : advances, systems and applications (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
Compositional verification of concurrent systems by combining bisimulations
ISSN: 0925-9856, 1572-8102Vydáno: New York Springer US 01.10.2021Vydá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
The landing gear case study: challenges and experiments
ISSN: 1433-2779, 1433-2787Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2017Vydáno v International journal on software tools for technology transfer (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
Beginning Scala 3 - A Functional and Object-Oriented Java Language (3rd Edition)
ISBN: 9781484274217, 1484274210, 9781484274224, 1484274229Vydá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
A Comprehensive Review on Deep Learning Techniques on Cyber Attacks on Cyber Physical Systems
ISSN: 2661-8907, 2662-995X, 2661-8907Vydáno: Singapore Springer Nature Singapore 01.10.2024Vydá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
Multiple power quality events recognition and classification based on adaptive Eigen-based type-2 fuzzy logic algorithm
ISSN: 2520-8438, 2520-8446Vydáno: Cham Springer International Publishing 01.03.2022Vydáno v Iran Journal of Computer Science (Online) (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
Energy-Efficient Median Filter Core Architecture for Impulse Noise Removal in Smart Measurement Systems
ISSN: 2661-8907, 2662-995X, 2661-8907Vydáno: Singapore Springer Nature Singapore 06.01.2024Vydá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
Retailer’s Dual Role in Digital Marketplaces: Reference Architectures for Retail Information Systems
ISSN: 2662-995X, 2661-8907, 2661-8907Vydáno: Singapore Springer Nature Singapore 01.01.2022Vydá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
Allowing each node to communicate only once in a distributed system: shared whiteboard models
ISSN: 0178-2770, 1432-0452Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2015Vydá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
Sampling in software engineering research: a critical review and guidelines
ISSN: 1382-3256, 1573-7616Vydáno: New York Springer US 01.07.2022Vydáno v Empirical software engineering : an international journal (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
A practical guide to multi-objective reinforcement learning and planning
ISSN: 1387-2532, 1573-7454, 1573-7454Vydáno: New York Springer US 01.04.2022Vydáno v Autonomous agents and multi-agent systems (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
Deep code comment generation with hybrid lexical and syntactical information
ISSN: 1382-3256, 1573-7616Vydáno: New York Springer US 01.05.2020Vydáno v Empirical software engineering : an international journal (01.05.2020)“…During software maintenance, developers spend a lot of time understanding the source code…”
Získat plný text
Journal Article -
18
Naming the pain in requirements engineering: Contemporary problems, causes, and effects in practice
ISSN: 1382-3256, 1573-7616, 1573-7616Vydáno: New York Springer US 01.10.2017Vydáno v Empirical software engineering : an international journal (01.10.2017)“…Requirements Engineering (RE) has received much attention in research and practice due to its importance to software project success…”
Získat plný text
Journal Article -
19
A survey and critique of multiagent deep reinforcement learning
ISSN: 1387-2532, 1573-7454Vydáno: New York Springer US 01.11.2019Vydáno v Autonomous agents and multi-agent systems (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
FixMiner: Mining relevant fix patterns for automated program repair
ISSN: 1382-3256, 1573-7616, 1573-7616Vydáno: New York Springer US 01.05.2020Vydáno v Empirical software engineering : an international journal (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

