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-based approach for the synthesis of software to firmware adapters for use with automatically generated components by 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…”
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

Two-level fuzzy-neural load distribution strategy in cloud-based web system by 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…”
Get full text

Highly secure edge-intelligent electric motorcycle management system for elevators by 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…”
Get full text

Smart mobility of the future – a challenge for embedded automotive systems by Baunach, Marcel, Martins Gomes, Renata, Malenko, Maja, Mauroner, Fabian, Batista Ribeiro, Leandro, Scheipel, Tobias

“… While classic automotive hardware and software are mainly designed statically and with just safety and real-time capability in mind, future systems also have to consider security and flexible maintenance aspects…”
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

A simple approach for adapting continuous load balancing processes to discrete settings by 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…”
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

Flexibility of thermal power generation for RES supply in Germany until 2020 by Brauner, Günther, Bofinger, Stefan, Glaunsinger, Wolfgang, Pyc, Ireneusz, Steinke, Florian, Schwing, Ulrich, Magin, Wendelin

“…EC Directives (EC in SEC 85/3, 2008 ; EP, EC in COM 19, 2008 ) give individual targets in emission reduction and renewable energy share to the member states of…”
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

Multilateral remedial actions and the proposal for the cost sharing among European transmission system operators (TSOs): lessons learnt from 25.03.2013 (case study) by Vukasovic, Milan, Vujasinovic, Zoran

“…The most important task for the European transmission system network operations (TSOs) is to ensure the grid security and the non-interruptible electricity…”
Get full text

Der Einfluss des Schneidens von Elektroblechlamellen und die geeignete numerische Modellierung by Leuning, Nora, Elfgen, Silas, Weiss, Hannes A., Volk, Wolfram, Hameyer, Kay

“…Zusammenfassung Das Schneiden von Elektroblech hat einen signifikanten Einfluss auf zentrale Betriebseigenschaften elektrischer Maschinen. Durch die Schädigung…”
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