The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Soft targets and crowded places are closely related with a risk of attacks or negative incidents, which can cause the loss of human live or interests protected by law. Soft targets are specified as the objects (building or event) with a large number of visitors in a closed place at the same time and simultaneously without integrated the special security and safety measures into the management processes...
We propose Candoia, a novel platform and ecosystemfor building and sharing Mining Software Repositories(MSR) tools. Using Candoia, MSR tools are built as apps, and Candoia ecosystem, acting as an appstore, allows effective sharing. Candoia platform provides, data extraction tools for curating custom datasets for user projects, and data abstractions for enabling uniform access to MSR artifacts from...
It is common practice to discretize continuous defect counts into defective and non-defective classes and use them as a target variable when building defect classifiers (discretized classifiers). However, this discretization of continuous defect counts leads to information loss that might affect the performance and interpretation of defect classifiers. Another possible approach to build defect classifiers...
Integrating code from different sources can be an error-prone and effort-intensive process. While an integration may appear statically sound, unexpected errors may still surface at run time. The industry practice of continuous integration aims to detect these and other run-time errors through an extensive pipeline of successive tests. Using data from a continuous integration service, Travis CI, we...
the aims of this study is to analyze staff scheduling in the Hotel X in Kuwait, as well as, reducing waiting time in queue and developing effective customer service through finding the optimal employees schedule without hiring new staff. The study will be approached by building a simulation model using Arena in order to optimize employees scheduling within reception and housekeeping department during...
Community research has been one of the classical and recent hot fields in sociology. With the increasing research findings, the themes and results of community and related branches have changed. This paper used China CNKI database as the data source, and 5856 articles of community research from Chinese Social Science Citation Index (CSSCI) which published between 2006 and 2015 years as data source...
Enterprise information systems are being widely and extensively used in many business domains. In fact, some of these domains cannot survive in operations without depending heavily on such systems. Although several research studies have been performed that explored the importance of enterprise information systems, only a few have been focusing on an effective and efficient end-to-end method to design...
Traditional lighting is focused on the prevention of hardware failures. With the trend towards controlled and connected systems, other components will start playing an equal role in the reliability of it. Here reliability need to be replaced by availability and other modelling approaches are to be taken into account. System prognostics and health management is the next step to service the connected...
Our community constantly pushes the state-of-the-art by introducing “new” techniques. These techniques often build on top of, and are compared against, existing systems that realize previously published techniques. The underlying assumption is that existing systems correctly represent the techniques they implement. This pa- per examines that assumption through a study of KLEE, a popular and well-cited...
In 2025 semantic tools for software engineering will be mature, and their frequency of use in software development will still be disappointing.This proposal explains how research directed at building theories of everything (or, at least, important software domains) can consolidate progress and bring semantic tools into the mainstream of software practice.
Software artifacts, such as requirements, design, source code, documentation, and safety-related artifacts are typically expressed using domain-specific terminology. Automated tools which attempt to analyze software artifacts in order to perform tasks such as trace retrieval and maintenance, domain analysis, program comprehension, or to service natural language queries, need to understand the vocabulary...
Like most conventional software, spreadsheets are subject to software evolution. However, spreadsheet evolution is rarely assisted by version management tools. As a result, the version information across evolved spreadsheets is often missing or highly fragmented. This makes it difficult for users to notice the evolution issues arising from their spreadsheets. In this paper, we propose a semi-automated...
This award prompts me to reflect on how my team at Microsoft Research was able to bring research in formal methods and empirical software engineering into practice. How did I select the topics for my teams and my research? How did we conduct the research and which methods did we choose? How did we show progress, and equally important when did we decide to stop? I will also discuss the importance of...
We introduce Candoia, a platform and ecosystem for building Mining Software Repositories (MSR) tools. The platform is designed to support building of MSR tools by providing necessary tools and abstractions that hide the complex details of version control, bug databases, source code programming languages and forges. The ecosystem allows easy sharing and accessing of MSR apps for researchers and practitioners...
The pressing demand to deploy software updates without stopping running programs has fostered much research on live update systems in the past decades. Prior solutions, however, either make strong assumptions on the nature of the update or require extensive and error-prone manual effort, factors which discourage the adoption of live update. This paper presents Mutable Checkpoint-Restart (MCR), a new...
Combinatorial Testing is a test design methodology that aims to detect the interaction failures existing in the software under test. The combinatorial input space model comprises of the parameters and the values it can take. Building this input space model is a domain knowledge and experience intensive task. The objective of the paper is to assist test designer in building this test model. A rule...
In communication networks such as ISPs, telcos, and mobile network operators (MNOs), determining a correct unit cost for a service with QoS is a crucial task for the future of companies. A well-defined and efficient cost model is an essential tool to analyze network dynamics and in decision-making processes in a network. Also, knowing the real unit cost for a service helps network administrators/operators...
Search interfaces have for a long time been targeted at the resource-rich languages such as English. However, due to the increase in use of mobile phones in developing countries, these interfaces can now be adapted to languages in these settings to support information access on the Web. In this study, we propose two mobile search interfaces — text and voice — to support isiXhosa speakers to search...
This paper examines if the phrase "software test architecture" is universally defined and understood. While there may be some agreement on the phrase within select software communities, there is a lack of world standards on the topic. A lack of common definition and practice should be addressed with the maturing of industry segments. This paper considers the lack of a current world industrial...
In academic courses of computer science and engineering, software project development holds maximum credits for students. Through these projects student learn various aspects of software development such as on hand practical exposure, time, effort as well as project management and corporate ethics. But the most important criteria or factor or parameter is that they learn how to work as well as coordinate...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.