Search results for " Soft"
showing 10 items of 1710 documents
About Graph Mappings
2019
Summary In this articles adjacency-preserving mappings from a graph to another are formalized in the Mizar system [7], [2]. The generality of the approach seems to be largely unpreceeded in the literature to the best of the author’s knowledge. However, the most important property defined in the article is that of two graphs being isomorphic, which has been extensively studied. Another graph decorator is introduced as well.
About Graph Unions and Intersections
2020
Summary In this article the union and intersection of a set of graphs are formalized in the Mizar system [5], based on the formalization of graphs in [7].
A Coupled Fixed Point Theorem in Fuzzy Metric Space Satisfying ϕ-Contractive Condition
2013
The intent of this paper is to prove a coupled fixed point theorem for two pairs of compatible and subsequentially continuous (alternately subcompatible and reciprocally continuous) mappings, satisfyingϕ-contractive conditions in a fuzzy metric space. We also furnish some illustrative examples to support our results.
Distributed Learning Automata-based S-learning scheme for classification
2019
This paper proposes a novel classifier based on the theory of Learning Automata (LA), reckoned to as PolyLA. The essence of our scheme is to search for a separator in the feature space by imposing an LA-based random walk in a grid system. To each node in the grid, we attach an LA whose actions are the choices of the edges forming a separator. The walk is self-enclosing, and a new random walk is started whenever the walker returns to the starting node forming a closed classification path yielding a many-edged polygon. In our approach, the different LA attached to the different nodes search for a polygon that best encircles and separates each class. Based on the obtained polygons, we perform …
Memory Resource Management for Real-Time Systems
2007
Dynamic memory storage has been widely used for years in computer science. However, its use in real-time systems has not been considered as an important issue, and memory management has not receive much consideration, whereas today's real-time applications are often characterized by highly fluctuating memory requirements. In this paper we present an approach to dynamic memory management for real-time systems. In response to application behavior and requests, the underlying memory management system adjusts resources to meet changing demands and user needs. The architectural framework that realizes this approach allows adaptive allocation of memory resources to applications involving both per…
Socio-technical Congruence Sabotaged by a Hidden Onshore Outsourcing Relationship: Lessons Learned from an Empirical Study
2012
Despite the popularity of outsourcing arrangements, distributed software development is still regarded as a complex endeavor. Complexity primarily comes from the challenges in communication and coordination among participating organizations. In this paper we discuss lessons learned from participatory research carried out in a highly distributed onshore outsourcing project. Previous research established that socio-technical congruence principles alleviate distributed work. In practice we have found that alignment between the systems structure and organizational structure can be studied from different abstraction levels and also during different phases of project lifecycle. We have found that…
Theory of heterogeneous viscoelasticity
2015
We review a new theory of viscoelasticity of a glass-forming viscous liquid near and below the glass transition. In our model we assume that each point in the material has a specific viscosity, which varies randomly in space according to a fluctuating activation free energy. We include a Maxwellian elastic term and assume that the corresponding shear modulus fluctuates as well with the same distribution as that of the activation barriers. The model is solved in coherent-potential approximation (CPA), for which a derivation is given. The theory predicts an Arrhenius-type temperature dependence of the viscosity in the vanishing-frequency limit, independent of the distribution of the activatio…
Models of Event Driven Systems
2016
This paper provides the business process modeling approach based on usage of Domain Specific Languages (DSL). The proposed approach allows us to create executable information systems’ models and extends the concept of Event Driven Architecture (EDA) with the business process execution description. It lets us apply principles of the Model Driven Development (MDD) in order to create the information system which complies with the model. The proposed approach provides a set of advantages in information systems development, use and maintenance: bridges the gap between business and IT, an exact specification, which is easily to implement into information system, up-to-date documentation etc. The …
Metamodel specialization for graphical modeling language support
2016
Most of current modeling languages are based on graphical diagrams. The concrete graphical syntax of these languages typically is defined informally -- by text and diagram examples. Only recently, starting from UML 2.5, a formalism is offered for defining the graphical syntax of UML. This formalism is based on Diagram Definition standard by OMG, where the main emphasis is on enabling diagram interchange between different tools implementing the given language. While this is crucial for standardized languages such as UML, this aspect is not so important for domain specific languages. In this paper an approach is offered for simple direct definition of concrete graphical syntax by means of met…
Tree Based Domain-Specific Mapping Languages
2012
Model transformation languages have been mainly used by researchers --- the software engineering industry has not yet widely accepted the model driven software development (MDSD). One of the main reasons is the complexity of metamodelling principles the developers are required to know to actually use model transformations in the way the OMG has stated. We offer the basic principles how to create domain-specific model transformation languages which can be used by developers relying only on familiar modelling concepts. We propose to use simple graphical mappings to specify the correspondence between source and target models which are represented using trees based on the concrete syntax of und…