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.
The Wireless Sensor Networks (WSN) have distributed and embedded nature and they are characterized by strong interactions between their hardware and software parts, therefore, their specification is a complex task. Formal methods need strong skills in mathematics in order to model and analyze WSN applications. However, semi-formal methods are simple and easy to understand. Hence, most of approaches...
Multi-Protocol Label Switching (MPLS), which was introduced by Internet Engineering Task Force (IETF), is widely used in communication networks to provide QoS guaranties to traffic. In this connection-oriented protocol, network failures can cause a serious disruption to critical data traffic which is unacceptable for customers who require highly reliable services. To guarantee high QoS and enhance...
In this paper we introduce and verify our Automated Covert Channel Modeling (ACCM) framework for evaluating and modeling covert channel algorithms. This work continues our efforts we reported at MILCOM 2013. Our ACCM framework is defined based on two different use cases: ACCM-Sim is designed to model covert channel algorithms in a simulation environment, whereas our ACCM-Net can be utilized to evaluate...
Using design models instead of executable code has shown itself to be an efficient way of increasing abstraction level of software development. However, applying established code-based software engineering methods to design models can be a challenge - due to different abstraction levels, the same metrics as for code are not applicable for the design models. One of practical challenges in using metrics...
Smart distribution networks shall improve the efficiency and reliability of power distribution by intelligently managing the available power and requested load. Such intelligent power networks pose challenges for information and communication technology (ICT). Their design requires a holistic assessment of traditional power system topology and ICT architecture. Existing analysis approaches focus on...
This paper introduces the concept and classification of virtual laboratory, and expounds the basic way and process of the construction of it on the base of the examples of computer-principle virtual laboratory. And at the same time, the fundamental use of UML Modeling method in the construction of virtual laboratory is analyzed; furthermore, the author analyzed the experimental teaching and the developmental...
As enterprises learn of the emerging discipline of Prognostics and Health Management (PHM) they often desire a basic understanding of the key parameters that influence the competitive advantage to be gained over more basic application of the tenants of reliability centered maintenance. This paper introduces a model-based systems engineering model that extends a classic expression used for determining...
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.