Suchergebnisse - Software Engineering/Programming and Operating Systems*

Rigorous engineering of collective adaptive systems – 2nd special section von 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 …”
Volltext

Dynamic scheduling strategies for cloud-based load balancing in parallel and distributed systems von 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 …”
Volltext

A model framework-based domain-specific composable modeling method for combat system effectiveness simulation von 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 …”
Volltext

A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components von Di Natale, Marco, Perillo, David, Chirico, Francesco, Sindico, Andrea, Sangiovanni-Vincentelli, Alberto

“… This paper presents the MDE process in use at Elettronica SpA (ELT) for the development of complex embedded systems integrating software and firmware …”
Volltext

Optimal and suboptimal resource allocation techniques in cloud computing data centers von 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 …”
Volltext

Two-level fuzzy-neural load distribution strategy in cloud-based web system von Zatwarnicki, Krzysztof

“… Cloud computing Web systems are today the most important part of the Web. Many companies transfer their services to the cloud in order to avoid infrastructure …”
Volltext

Search-based fairness testing for regression-based machine learning systems von 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 …”
Volltext

Highly secure edge-intelligent electric motorcycle management system for elevators von Zhu, Zongwei, Cao, Jing, Hao, Tiancheng, Zhai, Wenjie, Sun, Bin, Jia, Gangyong, Li, Ming

“… Because of their portability, electric motorcycles are usually pushed into elevators by residents and charged in the home, which has serious safety risks …”
Volltext

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

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

Ellipsoidal and Interval Estimation of State Vectors for Families of Linear and Nonlinear Discrete-Time Dynamic Systems1 von 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 …”
Volltext

Usability Evaluation of Artificial Intelligence-Based Voice Assistants: The Case of Amazon Alexa von 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 …”
Volltext

A simple approach for adapting continuous load balancing processes to discrete settings von Akbari, Hoda, Berenbrink, Petra, Sauerwald, Thomas

“… We consider the neighbourhood load balancing problem. Given a network of processors and an arbitrary distribution of tasks over the network, the goal is to …”
Volltext

The broken windows theory applies to technical debt von 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 …”
Volltext

Ability and knowledge: from epistemic transition systems to labelled stit models von 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 …”
Volltext

Performance evaluation of publish-subscribe systems in IoT using energy-efficient and context-aware secure messages von 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 …”
Volltext

Compositional verification of concurrent systems by combining bisimulations von 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 …”
Volltext

The landing gear case study: challenges and experiments von 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 …”
Volltext

Beginning Scala 3 - A Functional and Object-Oriented Java Language (3rd Edition) von 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 …”
Volltext

A Comprehensive Review on Deep Learning Techniques on Cyber Attacks on Cyber Physical Systems von 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 …”
Volltext

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

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