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

Rigorous engineering of collective adaptive systems – 2nd special section Autor 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…”
Získat plný text

Dynamic scheduling strategies for cloud-based load balancing in parallel and distributed systems Autor 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…”
Získat plný text

A model framework-based domain-specific composable modeling method for combat system effectiveness simulation Autor 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…”
Získat plný text

Optimal and suboptimal resource allocation techniques in cloud computing data centers Autor 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…”
Získat plný text

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

“…Context Machine learning (ML) software systems are permeating many aspects of our life, such as healthcare, transportation, banking, and recruitment…”
Získat plný text

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

“…Context Real-world software systems are often tested in multiple operating systems (OSs…”
Získat plný text

Ellipsoidal and Interval Estimation of State Vectors for Families of Linear and Nonlinear Discrete-Time Dynamic Systems1 Autor 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…”
Získat plný text

Usability Evaluation of Artificial Intelligence-Based Voice Assistants: The Case of Amazon Alexa Autor 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…”
Získat plný text

The broken windows theory applies to technical debt Autor 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…”
Získat plný text

Ability and knowledge: from epistemic transition systems to labelled stit models Autor 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…”
Získat plný text

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.

“…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

Compositional verification of concurrent systems by combining bisimulations Autor 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…”
Získat plný text

The landing gear case study: challenges and experiments Autor 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…”
Získat plný text

Beginning Scala 3 - A Functional and Object-Oriented Java Language (3rd Edition) Autor 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…”
Získat plný text

A Comprehensive Review on Deep Learning Techniques on Cyber Attacks on Cyber Physical Systems Autor 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…”
Získat plný text

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

“… 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

Energy-Efficient Median Filter Core Architecture for Impulse Noise Removal in Smart Measurement Systems Autor 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…”
Získat plný text

Retailer’s Dual Role in Digital Marketplaces: Reference Architectures for Retail Information Systems Autor 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…”
Získat plný text

Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols Autor Méry, Dominique, Poppleton, Michael

“…State-based formal methods [e.g. Event-B/RODIN (Abrial in Modeling in Event-B—system and software engineering…”
Získat plný text

Adapting transformations to metamodel changes via external transformation composition Autor Garcés, Kelly, Vara, Juan M., Jouault, Frédéric, Marcos, Esperanza

“…Evolution is inherent to software systemsbecause of the rapid improvement of technologies and business logic…”
Získat plný text