Search Results - Software Engineering/Programming AND Operating Systems*

Rigorous engineering of collective adaptive systems – 2nd special section by Wirsing, Martin, Jähnichen, Stefan, De Nicola, Rocco

“…An adaptive system is able to adapt at runtime to dynamically changing environments and to new requirements. Adaptive systems can be single adaptive entities…”
Get full text

Dynamic scheduling strategies for cloud-based load balancing in parallel and distributed systems by Albalawi, Nasser S.

“…Actual load balancing in parallel and distributed systems ruins a serious task due to workloads’ dynamic nature and resource availability. Existing scheduling…”
Get full text

A model framework-based domain-specific composable modeling method for combat system effectiveness simulation by Li, Xiao-bo, Yang, Feng, Lei, Yong-lin, Wang, Wei-ping, Zhu, Yi-fan

“…Combat system effectiveness simulation (CoSES) plays an irreplaceable role in the effectiveness measurement of combat systems. According to decades of research…”
Get full text

Optimal and suboptimal resource allocation techniques in cloud computing data centers by Abu Sharkh, Mohamed, Shami, Abdallah, Ouda, Abdelkader

“…Cloud service providers are under constant pressure to improve performance, offer more diverse resource deployment options, and enhance application…”
Get full text

Ellipsoidal and Interval Estimation of State Vectors for Families of Linear and Nonlinear Discrete-Time Dynamic Systems1 by Kuntsevich, V. M., Volosov, V. V.

“…This paper proposes constructive algorithms for ellipsoidal estimation of state vectors measured under bounded disturbances in families of linear and a rather…”
Get full text

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

“…Context Machine learning (ML) software systems are permeating many aspects of our life, such as healthcare, transportation, banking, and recruitment…”
Get full text

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

“…Context Real-world software systems are often tested in multiple operating systems (OSs…”
Get full text

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

“…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…”
Get full text

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

“… Some claim that the broken windows theory (BWT), a concept borrowed from criminology, also applies to software development projects…”
Get full text

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

“…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…”
Get full text

Guest Editorial by Ramchurn, Sarvapali D., Rosenfeld, Avi, Fischer, Joel E.

Get full text

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

“…Background The Internet of Things (IoT) enables the development of innovative applications in various domains such as healthcare, transportation, and Industry…”
Get full text

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

“…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…”
Get full text

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

“… 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…”
Get full text

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

“…Learn the latest version of Scala through simple, practical examples. This book introduces you to the Scala programming language, its object-oriented and…”
Get full text

Guest Editorial by Melo, Alba, Gaudiot, Jean-Luc, DeRose, Luiz, Olukotun, Kunle, Zomaya, Albert

Get full text

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

“… systems.A major concern in CPS is to ensure security. If security is not ensured, then it leads to both property damage…”
Get full text

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

“… systems.Our approach is to define an orthogonal matrix, for multiple power quality events then to evaluate Eigen values of estimated parameters…”
Get full text

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

“…In modern measurement systems, preserving accurate data integrity is essential for reliable and precise measurements. The presence of impulse noise in…”
Get full text

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

“…Digital marketplaces have entered the retail sector and have proven to be a successful business model compared to traditional retailing. Established retailers…”
Get full text