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.
This paper presents a tool to visualize a cognitive model of human discourse processing known as Text World Theory (TWT) which is used to facilitate forensic discourse analysis. XML files are designed based on a linguistic annotation scheme. It encompasses the range of descriptive categories defined in TWT. Epicurus is a tool that can parse and visualize those XML files into HTML. The tool is designed...
The demands placed on hydrologic analyses have increased considerably in recent years. Hydrologic analyses involve numerous methods and are useful in many fields, such as agriculture, forestry and grassland farming. In order to catch information and knowledge from Digital Elevation Models (DEM), processing data step by step in software is available, which needs many manual workloads and is not convenient...
Process of development complex electronic control units (ECUs) is usually complex and requires several iterations (releases). After each iteration, it is necessary to perform detailed testing and verification of all components in a testing environment that is as similar as possible to the real system. For this kind of testing it is recommended to use the automated testing environment that generates...
Priority management is crucial to the development of correct real-time systems. Applications of formal methods in the development process require to choose a suitable formalism that is capable of dealing with different priority management algorithms. The paper deals with priority management in the Alvis modelling language. One of the advantages of Alvis is its Haskell middle-stage representation that...
Heterogeneous rectangular dissections are frequently used in information processing such as multiple paged books in spread sheet languages and multi-layer image data. In previous studies, a hexadecimal grid graph model was proposed for multilayer rectangular dissections and certain algorithms were provided. In this paper, we propose a 16-ary list structure to implement their algorithms for the hexadecimal...
Simulation models are becoming an increasingly popular tool for the analysis and optimization of complex real systems in different fields. Finding an optimal system design requires performing a large parameter sweep. In this paper, we present the design of SOF (Simulation Optimization and exploration Framework on the cloud), a framework which exploits the computing power of a cloud computational environment...
Simulation models are becoming an increasingly popular tool for the analysis and optimization of complex real systems in different fields. Finding an optimal system design requires performing a large parameter sweep. In this paper, we present the design of SOF (Simulation Optimization and exploration Framework on the cloud), a framework which exploits the computing power of a cloud computational environment...
To identify crosscutting concerns in the requirement phase, this paper proposes a method for discovering crosscutting concerns based on goal model and two-state algorithm. We analyze each phenomena of goal model and summarize the identification rules. Crosscutting concerns are identified by calculating the scatter and centralization values of goals. The method includes four steps: building the goal...
The objective of feature modeling is to foster software reuse by enabling to explicitly and abstractly express commonality and variability in the domain. Feature modeling alone is not sufficient to express all the aspects of the software being developed. Other models and, eventually, code is necessary. These software assets are being configured by the feature model based on the selection of variable...
Generating and managing input data for large-scale scientific computations has, for many classes of application, always been a challenging process. The emergence of new hardware platforms and increasingly complex scientific models compounds this problem as configuration data can change depending on the underlying hardware and properties of the computation. In this paper we present TemPSS (Templates...
In object-oriented software modeling using the Unified Modeling Language, different aspects of a system are represented by various types of diagrams. UML diagrams represent two different views of a system model. They are static and dynamic views. In this paper we study the dynamic view of Class Diagrams and static view of Sequence Diagrams for checking consistency among them. We assume that the system...
We introduce the web-based simulation and visualization tool Webdemo, designed for supplementing science, technology, engineering and mathematics (STEM) courses in higher education with interactive examples. The flexible simulation system supports a great variety of visualizations and mathematical operations. To ensure open access, the web front end does neither require additional software nor user...
This paper presents an approach for modeling component based flight software systems that can be deployed to a wide variety of hardware and operating system configurations. Our focus is deployment to multiple ARINC653 partitions, however, the technique is effective across multiple processors as well. The modeling technique presented is two tiered: first software components are represented in System...
The UML Sequence Diagram along with Model Driven Architecture in software development helps to model the time constraint behavior that enhances the legibility of the structure and behavior of a system. The Object Constraint Language (OCL) helps to convey additional constraints and invariants required, but OCL confines into an expression language. The lack of program logic and flow of control limit...
Indirect metrics in quality models define weighted integrations of direct metrics to provide higher-level quality indicators. This paper presents a case study that investigates to what degree quality models depend on statistical assumptions about the distribution of direct metrics values when these are integrated and aggregated. We vary the normalization used by the quality assessment efforts of three...
In this paper, we propose a new autonomic model and framework that automatically self-customize computer applications. It predominantly features four aspects; GUI self-customization, events handlers' self-customization; self-optimizing and security policies self-customization. The whole mechanism is geared by an XML language that provides the actual customizing instructions. Formally, the model is...
Model Driven Architecture (MDA) defines a software building process based on the production and transformation of models. In this context, QVT-Relations is a declarative language designed to permit both unidirectional and bidirectional model transformations. QVT Relations is a standard defined by the Object Management Group(OMG). On the other hand, the code optimization is the process of modifying...
Educational games are essential in the next generation of e-learning tools because games stress visual and experiential learning; they require active involvement by student players while providing almost instantaneous feedback. The long term goal of this research project is to define a model-driven game engineering approach, SimSYS, that supports the rapid development of serious educational games...
Educational Modeling Languages (EMLs) provide the framework to represent learning processes in a formal fashion. The IMS-LD is a widely used EML and there have been created several tools to facilitate the authoring process of a course for that specification. However, since most of these tools are meant to be IMS-LD complaint they are also restricted by its level of expressiveness. To solve this issue,...
This paper suggests a model for translation management systems meant to overcome the problems faced by companies at a global level. Large international organizations do not have to overcome only the problem created by large amounts of data but also by multilingual documents used across the organization. Until now the research related to translation management systems was focused on in-text matching...
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.