Page 25 of 320
Abstract: Several programming and formal modeling languages are designed based on actors. Each language has certain policies for message delivery between actors and for handling the messages in the buffers. These policies are implicit in the semantics of each language. One can infer interesting properties of actor languages related to communication and coordination based on different policies and their inte...
Abstract: Diversity-based techniques (DBT) have been cost-effective by prioritizing the most dissimilar test cases to detect faults at earlier stages of test execution. Diversity is measured on test specifications to convey how different test cases are from one another. However, there is little research on the trade-off of diversity measures based on different types of text-based specification (lexicographi...
Abstract: Probabilistic approaches have gained attention over the past decade, providing a modeling framework that enables less pessimistic analysis of real-time systems. Among the different proposed approaches, Markov chains have been shown effective for analyzing real-time systems, particularly in estimating the pending workload distribution and deadline miss probability. However, the state-of-the-art mai...
Abstract: The edge computing paradigm brings the capabilities of the cloud such as on-demand resource availability to the edge for applications with low-latency and real-time requirements. While cloud-native load balancing and scheduling algorithms strive to improve performance metrics like mean response times, real-time systems, that govern physical systems, must satisfy deadline requirements. This paper e...
Abstract: Traditional automation technologies alone are not sufficient to enable the fully automated operation of trains. However, Artificial Intelligence (AI) and Machine Learning (ML) offers great potential to realize the mandatory novel functions to replace the tasks of a human train driver, such as obstacle detection on the tracks. The problem, which still remains unresolved, is to find a practical way ...
Abstract: A/B tests are the gold standard for evaluating product changes. At Microsoft, for example, we run tens of thousands of A/B tests every year to understand how users respond to new designs, new features, bug fixes, or any other ideas we might have on what will deliver value to users. In addition to testing product changes, however, A/B testing is starting to gain momentum as a differentiating featur...
Abstract: Technical debt (TD) requires the management of several technical and nontechnical aspects. Based on 10 years of research and practice, we have created an effective approach, TD Pulse, to assess TD management in large software companies and find critical improvement areas....
Abstract: This edition of the “Practitioner’s Digest” features recent papers on artificial intelligence (AI) and machine learning (ML), along with papers on tech debt, energy consumption, and collaboration between industry and academia....
Abstract: Serious games have become more common as learning tools in recent years. Like other learning materials, it is important that these games be accessible to learners with disabilities. The focus of our recent research was to look at the feasibility of using 3D games, or 3D worlds more specifically, as learning content, and whether they could be made accessible, thus complying with accessibility laws ...
Page 25 of 320