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.
Recent years recommender systems have been used in the public cultural services to provide personalized services. The single recommendation methods only cover the limited areas of interest of users. To address this issue, this paper proposes an integrated recommender system for cross-domain heterogeneous recommendations of the public cultural resources. The proposed system works on the recommendations...
Many performance engineering tasks, from long-term performance monitoring to post-mortem analysis and online tuning, require efficient runtime methods for introspection and performance data collection. To understand interactions between components in increasingly modular HPC software, performance introspection hooks must be integrated into runtime systems, libraries, and application codes across the...
In situ processing is a promising solution to the problem of imbalance between computational capabilities and I/O bandwidth in current and future supercomputers. Initially designed for staging I/O, in situ middleware now can support a wide range of domains such as visualization, machine learning, filtering, and feature tracking. Doing so requires in situ middleware to manage complex heterogeneous...
The integration of engineering tools within engineering chains is an essential need of current engineering process optimization. For example, in case of production system engineering the tools for mechanical and electrical engineering and control programming shall exchange all relevant information automatically. Within this paper a methodology and an example for AutomationML based lossless data exchange...
Misuse or loss of web application data can have catastrophic consequences in today's Internet oriented world. Hence, verification of web application data models is of paramount importance. We have developed a framework for verification of web application data models via translation to First Order Logic (FOL), followed by automated theorem proving. Due to the undecidability of FOL, this automated approach...
In this paper we propose an extensible framework over Jena and OWL API that maps complex Java data models onto semantic models based on some custom annotations in order to benefit from the advantages of ontologies in software engineering. Furthermore, it facilitates the implementation of basic CRUD operations for the domain classes and objects, also allowing the definition of new custom operations...
Most academic paper management systems take papers as the basic units instead of the thoughts in papers. And papers are organised in terms of research areas, not scientists, which may fall to satisfy the need of learning a scientist's thoughts. This paper proposes a dynamic system to display a scientist's thoughts. A novel way, which is subway map, is applied to display the change of the concepts...
Data-intensive applications have become increasingly important in recent years, yet traditional data movement approaches for scientific computation are not well suited for such applications. The Active Message (AM) model is an alternative communication paradigm that is better suited for such applications by allowing computation to be dynamically moved closer to data. Given the wide usage of MPI in...
Following the increasing complexity of production systems and increasing consideration of engineering costs engineering processes have to be efficient and should generate fault free results. As different engineering disciplines, engineering tools and humans are involved in the engineering process information exchange is a crucial factor calling for standardized and lossless technological solutions...
There exist an abundant number of tools for aiding developers and penetration testers to spot common software security vulnerabilities. However, testers are often confronted with situations where existing tools are of little help because a) they do not account for a particular configuration of the SUT and b) they do not include tests for certain vulnerabilities. To cope with this we propose a tool...
The lasting memory-wall problem combined with the newly emerged big-data problem makes data access delay the first citizen of performance optimizations of cluster computing. Reduction of data access delay, however, is application dependent. It depends on the data access behaviors of the underlying applications. Therefore, leaning and understanding data access behaviors is a must for effective data...
In distributed environment, in order to manage and share data resources better, tracking the origin and evolution of the data is needed to obtain the data provenance information, used to judge the quality and credibility of the data. In order to provide the framework basis which is used to analyze the dependent relationships of data provenance, a tracking framework for distributed environment based...
A novel data exchange method based on neutral semantic feature conversion was proposed in this paper. A neutral semantic feature converter was used as transfer station, and modeling information of different systems would be transformed into a kind of unified data message format, and feature dependency graph was used to represent feature modeling information. Mapping relations between heterogeneous...
Hadoop has become the de facto platform for large-scale data analysis in commercial applications, and increasingly so in scientific applications. However, Hadoop's byte stream data model causes inefficiencies when used to process scientific data that is commonly stored in highly-structured, array-based binary file formats resulting in limited scalability of Hadoop applications in science. We introduce...
This paper presents a new approach to modelling automation systems based on the combination and mutual transformation of IEC61499 Function Blocks and MATLAB Simulink. The reason for such transformation is the natural complementarity of these two models: MATLAB Simulink/Stateflow provides a nice environment for modelling and simulation of control and embedded systems, while Function Blocks are good...
The Architecture Analysis and Design Language AADL allows one to model complete systems, but also to define specific extensions through property sets and library of models. Yet, it does not define an explicit mechanism to enforce some semantics or consistency checks to ensure property sets are correctly used. In this paper, we present REAL (Requirements and Enforcements Analysis Language) as an integrated...
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.