Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Clinical Decision Support (CDS) can be regarded as an information retrieval (IR) task, where medical records are used to retrieve the full-text biomedical articles to satisfy the information needs from physicians, aiming at better medical solutions. Recent attempts have introduced the advances of deep learning by employing neural IR methods for CDS, where, however, only the document-query relationship...
The maintenance of complex systems is the most expensive and difficult phase of the software development process life cycle due to the significant amount of time spent by developers trying to comprehend the structure and mainly the system behavior. Therefore, this paper aims to present an approach to support the understanding of the dynamic behavior of complex software systems through Virtual Reality...
While several benefits of using models in software engineering have been observed in practice, the adoption of modeling remains low. Multiple challenges of using models, especially related to tools, have been reported both for industrial use and for education. However, there is a lack of systematic, empirical investigations of the challenges in modeling education and their relation to industrial challenges...
Unified Modeling Language (UML) is a modeling standard that has been commonly used in the software industry. However, students face difficulties while learning how to model complete and correct UML diagrams. One of the reasons is the way UML has been taught. In order to improve the effectiveness of learning it is necessary to employ methods in which the students actively take part in the learning...
Educational approaches for computer science proposing the use of complete online courses or traditional courses employing some kind of online material have received much attention recently. The integration of online materials into traditional courses or the replacement of entire courses offer huge possibilities, including increased teaching quality and better study and work alignment. However, researchers...
In the recent few years, neural-network-based word embeddings have been widely used in text mining. However, the dense representations of word embeddings act as a black box and lack interpretability. Even though word embeddings are able to capture semantic regularities in free text documents, it is not clear what kinds of semantic relations can be represented by word embeddings and how semantically-related...
A cloud platform records a wealth of information regarding program execution. Most cloud service providers offer dashboard monitoring tools that visualize resource usage and billing information, and support debugging. In this paper, we present a tool that visualizes cloud execution logs for a different goal — to facilitate program understanding and generate documentations for an application using...
In this paper we propose a method for planning military scenarios in the Military Scenario Definition Language (MSDL) which is based on the concepts of grammatical engineering, abstract and concrete syntax and semantics and language processors.
The increasing complexity of modern Large-Scale systems and System-of-Systems (SoSs) makes their design and development extremely challenging. To face this difficulty new Modeling and Simulation techniques, methods, and tools are emerging and some of them take advantage of distributed simulation environments. In this context, the IEEE 1516-2010 - High Level Architecture (HLA) is a well-known and accepted...
We focus on dynamic model usability and utility, performed throughout system engineering. The dynamic model is designed in relation to the system use scenarios. We generate then automatically the static models (data model, component model) from the dynamic one. A dynamic functional modeling based method is proposed to generate automatically the static and the dynamic organic architecture of a system...
NoSQL databases have been emerged in order to handle very huge amount of data granting fault tolerance availability and scalability. In these contexts Relational databases are usually unsuitable to store data for this reason the adaptation and migration from a relational database to a NoSQL database could be favorable. In this paper we proposes a migration system of data from Relational to a NoSQL...
E-learning is a modality of education that has been growing all over the world. However, in computing and engineering education programs, the frequent use of graphical representations creates obstacles to the inclusion of visually impaired learners. Besides, many of the strategies and tools used in traditional lectures are not appropriated in e-learning lectures because of the distance among participants...
Model slicers are tools which provide two services: (a) finding parts of interest in a model and (b) displaying these parts somehow or extract these parts as a new, autonomous model, which is referred to as slice or sub-model. This paper focuses on the creation of editable slices, which can be processed by model editors, analysis tools, model management tools etc. Slices are useful if, e.g., only...
Industrial use of Model Driven Engineering techniques has emphasized the need for efficiently store, access, and transform very large models. While scalable persistence frameworks, typically based on some kind of NoSQL database, have been proposed to solve the model storage issue, the same level of performance improvement has not been achieved for the model transformation problem. Existing model transformation...
Ensuring the correctness of industrial smart displays applications is fundamental given the requisites concerning reliability and safety demanded by their deployment in industrial plants. However, verification of Human-Machine Interaction applications usually requires an operator using them. This paper presents an approach to automatically verify a set of properties on HMI applications for industrial...
Defense modeling and simulation (DM&S) offers insights into the efficient operations of combat entities, e.g., soldiers and weapon systems. Most DM&S aim at exact description of military doctrines, but often the doctrines fails to provide detail action procedures about how the combat entities conduct military operations. Such unspecified descriptions are filled with the rational behaviors...
In recent years, there has been a growing interest in the use of ontologica! theories in the philosophical sense (Foundational Ontologies) to analyze and (re)design conceptual modeling languages. This paper is about an ontologically well-founded conceptual modeling language in this tradition, termed OntoUML. This language embeds a number of ontological patterns that reflect the micro-theories comprising...
System specifications can be modeled using various types of notations and diagrams regarding applications of the particular model. In this paper, we present an overview of the existing solutions, focusing on UML, BPMN and DMN models and the diagrams provided by these notations. We perform a comparison of these approaches and provide examples of representing system requirements in these notations.
This paper presents a new approach for identifying unknown and/or unwanted states within a system of systems (SoS) architecture using a graphical representation of the event-based modeling language, Monterey Phoenix. The paper demonstrates how the graphical modeling tool can create a single model that contains a mix of human, system, and environmental events, all of which contain event attributes...
Model transformations are central to Model-Driven Engineering (MDE), where they are used to transform models between different languages; to refactor and simulate models; or to generate code from models. Thus, given their prominent role in MDE, practical methods helping in detecting errors in transformations and automate their verification are needed. In this paper, we present a method for the static...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.