Search results for "computer.software_genre"

Computer graphics applications in the education process of people with learning difficulties

2007

This paper describes the use of Real Time graphic applications as educational tools, specifically oriented to working with people who have certain learning difficulties. We first focus on identifying the most relevant traits (from a psychological point of view) of those disorders, then we continue by analysing the advantages of graphics in Real Time in this context, and how they can be used to complement the conventional teaching methods. Finally, we review the main characteristics of two applications belonging to this category, which serve as a practical example of this encounter between education and technology.

“Vendor-Affected” WLAN experimental results: A Pandora’s Box?

2008

Experimental results are typically envisioned as the ultimate validation reference for any theoretical and/or simulation modelling assumptions. However, in the case of Wireless LANs, the situation is not nearly as straightforward as it might seem. In this paper, we discuss to what (large) extent measurement results may depend on proprietary undocumented algorithms implemented in the vendor-specific card/driver employed. Specifically, we focus on the experimental study of IEEE 802.11 b/g outdoor links based on the widely used Atheros/MADWiFi card/driver pair. We show that unexpected performance divergences do emerge in two classes of comparative experiments run on a same outdoor link: broadc…

Survey: Intrusion Detection Systems in Encrypted Traffic

2016

Intrusion detection system, IDS, traditionally inspects the payload information of packets. This approach is not valid in encrypted traffic as the payload information is not available. There are two approaches, with different detection capabilities, to overcome the challenges of encryption: traffic decryption or traffic analysis. This paper presents a comprehensive survey of the research related to the IDSs in encrypted traffic. The focus is on traffic analysis, which does not need traffic decryption. One of the major limitations of the surveyed researches is that most of them are concentrating in detecting the same limited type of attacks, such as brute force or scanning attacks. Both the …

The Role of Log Entries in the Quality Control of Video Distribution

2012

Diversification of university teaching with the help of video lectures has become much more common during the past few years. Once videos have become an essential part of teaching arrangements, whoever organizes the teaching must also pay attention to factors related to videos in quality system work for teaching. In the video production process it is the factors related to video transmission that exert influence on the usability of videos and set limitations for their production. A lot of information about those factors can be obtained from the media server log files. The particular focus of this paper is on the functionality of the connection between a server and a client and its effect on…

Special Section on ITS Services to Smart City Context [Guest Editorial]

2018

The seven articles in this special section focus on new trends and developments in the intelligent transportation markets. Since the earliest of times, transportation has changed and revolutionized society and industry. Many of technology advances were focused on transportation and their means (road, rail, air, water, etc.) even, today there exist several areas of the knowledge that are focused on it. As time goes by, new terms have been established where technology is present as well, for instance, Intelligent Transportation Systems (ITS), Smart Cities, Smart Territory, Blockchain, Internet of Things, virtualization, Cloud computing, Intelligent Vehicles, embedded computing, Deep learning,…

Prediction of defects using machine learning techniques in order to improve quality management system – A case study

2021

According to ISO 9000, a quality management system is part of a set of related or interacting elements of an organization that sets policies and objectives, as well as the processes necessary to achieve the quality objectives. Quality is the extent to which a set of intrinsic characteristics of an object meets the requirements. Based on these definitions, the factory, considered in this paper, S.C. APULUM S.A.,decided to implement a quality management system since 1998. Subsequently, the organization’s attention is focus on the continuous improvement of the implemented quality management system. The purpose of this paper is to study the percent of specified defects specific to ceramic produ…

A syntax controlled generator of formal language processors

1963

CTR: A calculus of timed refinement

1995

This paper presents CTR — a process algebraic framework for loose specification of time quantity sensitive operational behaviour of reactive systems. CTR terms are provided both with operational and specification semantics (via the notion of specification refinement). Besides the intuitive justification of appropriateness of the refinement notion, a preservation theorem is proved for a timed variant of Hennessy-Milner logic. A comparison of CTR with the related formalism of Timed Modal Specifications, and with the timed process calculi TCCS due to Wang is given. Some pragmatics of the application of CTR is sketched on a critical resource access example.

Discovering temporal relationships in databases of newspapers

1998

This paper is mainly dedicated to analyse the problem of discovering frequent temporal patterns in event sequences extracted from a large repository of newspapers. The proposed formalism and algorithms rely on Toodor, which is a document retrieval system that allows users to specify conditions over the structure, contents and temporal features of the stored documents. We develop in this work several algorithms for recognising frequent temporal patterns in terms of arc-consistency, which consist of discarding temporal occurrences that do not satisfy a temporal structure.

The Educational Multimedia Clip as a Tool for Students’ Self-learning on Concept Mapping

2016

It has been already justified that concept mapping is an exceptionally suitable tool for formative assessment of structural knowledge. However, before the implementation of such type of assessment, the teacher should decide on a reasonable students’ training strategy, its implementation way, and content to be delivered. The paper focuses especially on the last mentioned issue - the selection of the content and its representational forms for an educational multimedia clip that has been developed as a main tool for students’ self-learning on concept mapping before the regular concept map based formative assessment of structural knowledge in one of the author’s taught study courses. Content re…