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.
A developer of mobile or desktop applications is responsible for implementing the network logic of his software. Nonetheless: i) Developers are not network specialists, while pressure for emphasis on the visible application parts places the network logic out of the coding focus. Moreover, computer networks undergo evolution at paces that developers may not follow. ii) From the network resource provider...
Despite all the efforts of the research community, buffer overflows remain one of the most dangerous bugs for modern IT systems. The problem is compounded by the fact that there are many developers who do not follow the basic rules of a secure software development lifecycle, supplying proprietary vulnerable products. To address this problem, the industry has proposed a number of techniques that perform...
An important step toward adoption of formal methods in software development is support for mainstream programming languages. Unfortunately, these languages are often rather complex and come with substantial standard libraries. However, by choosing a suitable intermediate language, most of the complexity can be delegated to existing execution-oriented (as opposed to verification-oriented) compiler...
Pidgin communicator is a multiprotocol instant messenger client, developed by open source community. It was originally a third party client of AIM (AOL Instant Messenger) protocol for Linux operating system founded in 1998. At present, its main goal is to provide common interface for every protocol it supports, so the user does not need care about protocol to use or peer's IM identifier, while he...
In this project, we developed a chess play system based on Kinect vision sensor, which recognizes different hand gestures as a command and sends these commands to V-REP robotic simulation tool. Delta type robot will play chess according to the commands sent via vision software. In our system, we have tested for 2 different chess opening scenarios and DOF checking mode scenario, then we obtained results...
Time and budget constraints in developing a software create an adverse effect in terms of the adequacy of maintenance and test processes. This case can be considered as a burden for persons who account for test processes. In order to alleviate this burden, test case prioritization is one of the solutions. A nature-inspired method namely BITCP, which was developed based on bat algorithm, produced promising...
Network Function Virtualization (NFV) architectures are emerging to increase networks flexibility. However, this renewed scenario poses new challenges, because virtualized networks, need to be carefully verified before being actually deployed in production environments in order to preserve network coherency (e.g., absence of forwarding loops, preservation of security on network traffic, etc.). Nowadays,...
A new generation of medical devices emerges to supportincreasingly more complex medical decisions and procedures.These Medical Devices (MD) combine data fromnovel sensors and existing modalities like scanners withelaborate software processing to assist caregivers in the sameway Flight Management Systems help a pilot flying planes.For instance, Blue Ortho’s MD allows performing TotalKnee Arthroplasty...
In a training process for DSP software developers' major schools and scientific societies see an actual problem for a kind of transformation from a traditional form of training into different remote forms, using one-to-many online training courses and interactive case study. We have analyzed many different examples of such a new forms of trainings that have been used or trialed by major technical...
As the most active project in the Hadoop ecosystem these days (Zaharia, 2014), Spark is a fast and general purpose engine for large-scale data processing. Thanks to its advanced Directed Acyclic Graph (DAG) execution engine and in-memory computing mechanism, Spark runs programs up to 100x faster than Hadoop MapReduce in memory, or 10x faster on disk (Apache, 2016). However, Spark performance is impacted...
This paper introduces TestMEReq, an automated tool for early validation of requirements. TestMEReq supports requirements engineers (REs) in the validation of the correctness, completeness and consistency of elicited requirements with minimum effort and time through generated abstract tests components: test requirements and test cases, and a mock-up prototype of the user interface (UI). Abstract tests...
Automatically generating content for videogames has long been a staple of game development and the focus of much successful research. Such forays into content generation usually concern themselves with producing a specific game component, such as a level design. This has proven a rich and challenging area of research, but in focusing on creating separate parts of a larger game, we miss out on the...
.NET platform is increasingly being used in software development industry. Many data access technologies have been developed on this platform, thus choosing a suitable technology has become a difficult task. In this paper, an empirical study on fetch performance comparison by conducting experiments on common test data set of selected data access libraries; ADO.NET, Dapper and Entity Framework Core...
The paper presents an approach to estimate the optimal number of vehicles on public transport line; this approach is based on a simulation model of the process of servicing the bus line passengers. A problem of determining such a number of buses, that provides the minimum cost of transport at the maximum level of passenger service, is quite a complex issue due to the stochastic nature of the transport...
Code portability is a desirable non-functional requirement. The most established metric evaluating it consists of counting the number of instructions that use platform specific APIs. Generally, instructions using APIs are preceded or followed by related code that e.g. prepares some input for a call or analyses the return value. This paper proposes a taint analysis approach to identify code portions...
The work of this p aper is done within the context of European Project E! 8949 PrEmISES 1. One of the central pieces of PrEmISES[16] is the use of automatic tool generation algorithms for the creation of ontologies. The objective of this work is to extend the work from PrEmISES for raising the medical literacy of empowered patients by creating a digital library that contains relevant articles from...
Improving the quality in organizations is carried out through improving their processes. So, it is of vital importance to maintain the knowledge of these processes (assets). One way of doing it is using a process asset library (PAL), although there are some problems when defining effective PALs. In this paper, a new practical approach and a brief case study (focused on IT capacity management) are...
The growing demand for software brings companies in this sector the need to constantly improve their processes. However, not all companies obtained the expected return from Process Improvement, and one of the causes of this problem is the diagnosis that precedes the implementations of reference models. This article presents the Sarasvati method of diagnosis, whose objective is to provide information...
The Digital Public Library of America (DPLA) provides access to over 15 million objects from libraries, museums, and archives. In addition to serving as an open portal for cultural heritage, literature, art, and scientific materials, the DPLA provides access to extensive metadata related to these materials via an openly available, RESTful application programming interface (API). The open API enables...
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.