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 paper outlines directions for further development of global IoT. In particular, it discusses steps supposed to unlock IoT potential to assist consumers in their day-to-day routines. For these purposes requirements for scalable model of interactions between IoT entities formulated and a particular model satisfying these requirements proposed, alternatives for distribution of intelligence across...
“Binary Model of Knowledge” (BMK) is the system of concept-oriented languages intended for specifying and interpreting ontologies with their fact bases (instances). BMK is under development at National Research University “MPEI” (Moscow, Russia) and at Institute of Informational and Computational Technologies (Almaty, Kazakhstan). The BMK languages combine the advantages of frame-based object-oriented...
Environmental research infrastructures (RIs) support data-intensive research by integrating large-scale sensor/observer networks with dedicated data curation services and analytical tools. However the diversity of scientific disciplines coupled with the lack of an accepted methodology for constructing new RIs inevitably leads to incompatibilities between the data models, metadata standards and service...
In the contemporary cloud computing environment, the various cloud providers adopt different architectures for their systems and usually these are not compatible. The scalable exchange of information about these heterogeneous resources is often not addressed; still this represents an interesting challenge, since different Cloud systems and vendors have different ways to describe and invoke their services,...
Particular domain expertise in engineering and scientific fields has emerged demanding more advanced skills and deeper domain knowledge than just a few years ago. That is why computer supported cooperative work is the challenging discipline that drives the development process of contemporary and future engineering methods, standards and tools. The essential role of Architectural Design (AD) and Urban...
In highly dynamic environments it is not enough to model the user in order to provide proactive and personalized services. User features, preferences and needs change depending on different contextual aspects such as physical, social and computational conditions. Taking context into account in these environments implies coping with high openness and dynamicity of users and devices. Moreover, context...
This paper focuses on two aspects related to the widespread of cloud computing: first, the definition of a common formalism, based on a unique and shared model, which could be used to completely describe Cloud patterns, second, the investigation of a methodology to automatize the recognition of similar elements in Design and Cloud patterns, thus defining an automatic mapping among representations...
The purpose of the following report is to introduce a model that makes it possible to efficiently search data by using keyword-based concept network for reliable access of information which is rapidly increasing in the mobile cloud. A keyword-based concept network is a method with the application of ontology. However, the proposed model is added by association information between keyword concepts...
Simulation modeling of population health is being used increasingly for epidemiology research and public health policy-making. However, the impact of population health simulation models is inhibited by their complexity and the lack of established standards to describe these models. To address this issue, we are developing the Ontology for Simulation Modeling of Population Health (SimPHO) — a formal,...
We present a semantic interoperability framework to represent Clinical Pathways (CP) as business process workflows represented using Business Process Modeling Notation (BPMN). We take a knowledge management approach whereby we represent CP as a CP ontology. To represent a CP as a process workflow we have developed a high-level semantic mapping between the CP ontology and the BPMN ontology. The ontology...
Web Simulation Science may be viewed as part of the emerging discipline of Web Science. Essentially combining the Semantic Web and Hypermodeling with Modeling & Simulation, this area presents the opportunity for M&S to fully exploit the advantages of model ontologies, discovery, composition, interoperability and reuse in a revolutionary way. However, was this not also the promise of Web-based...
Effective chronic disease management ensures better treatment and reduces medical costs. Representing knowledge through building an ontology for Electronic Medical Records (EMRs) is important to achieve semantic interoperability among healthcare information systems and to better execute decision support systems. In this paper, an ontology-based EMR focusing on Chronic Disease Management is proposed...
We present the development of a bidding game application designed to improve the decision making skills of students in estimating classes by allowing them to compete both against each other and against a virtual player developed using fuzzy logic concepts. The High Level Architecture (HLA) was used to develop a distributed model of the bidding process using different components (federates) that can...
Ambassador agents represent simulation services that are candidates to contribute to the solution of a problem. They need to know and express enough about the simulations to negotiate with other ambassador agents if the represented simulation systems can be composed to contribute to the solution. A formal approach to simulation interoperability based on set theory and date modeling theory was developed...
Knowledge representation is a multidisciplinary subject that needs to apply theories and techniques from logic, ontology and computation. There are a great number of languages able to represent knowledge, among them UML can be considered a suitable language for modelling knowledge. It could be included within the category of visual languages for knowledge representation. On the other hand, numerous...
Like RM-ODP [1], enterprise architecture (or EA for short) has its own perspectives as a basic construct for its architecture definition to represent areas of concern. In this paper, difference between RM-ODP and one concrete example EA, and applicability of Use of UML for ODP system specifications [2] (or UML4ODP in short) standard to the example EA, are discussed. Several additional diagrams that...
SBVR is a new standard that defines a metamodel for business-layer vocabularies and rules. This paper summarizes SBVR features and argues that the SBVR enables definition of true ontologies. The paper also summarizes experience with a partial SBVR implementation in the context of an existing technique for modeling businesses and transforming the models into implementations. The work contributes to...
In the current globalized world, characterized by strong Web based interactions, relationships between people and organizations are subject to fast changes. This situation justifies the need for an approach that can capture business changes and quickly implement them into computational systems. Considering that some business logic portions are quite volatile and susceptible to changes and other portions...
Compliance management (CM) is the management process that an organization implements to ensure organizational compliance with relevant requirements and expectations. Compliance auditing (CA) is a child-process of CM where compliance rules and policies are individually checked against the organization to determine the level of compliance achieved by the organization. In this paper, we arrange organizational...
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.