Search
Search Results
-
Moving a Derivation Along a Derivation Preserves the Spine
In this paper, we investigate the relationship between two elementary operations on graph-transformational derivations: moving a derivation along a... -
Constrained Derivation in Assumption-Based Argumentation
Structured argumentation formalisms provide a rich framework to formalise and reason over situations where contradicting information is present.... -
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
This paper establishes alternative characterizations of very expressive classes of existential rule sets with decidable query entailment. We consider... -
Validating Enterprise Architecture Principles Using Derivation Rules and Domain Knowledge
In Enterprise Architecture Management (EAM), rules, constraints, and principles guide and govern the Enterprise Architecture (EA). These can be... -
Generalization of Derivation Rules for Join Dependencies in Database
AbstractIn this paper, we consider a generalization of the derivation rules for join dependencies, which are used in designing a database scheme that...
-
Lightweight Aspect-Oriented Software Product Lines with Automated Product Derivation
Aspect-oriented software product lines are not a new idea, but their application is facing two obstacles: establishing software product lines is... -
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph
Graph structure is widely used in network design, path planning, relational processing, electronic circuit design, and power grid tide management.... -
Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete
Catalytic P systems are among the first variants of membrane systems ever considered in this area. This variant of systems also features some...
-
On the Security of ECDSA with Additive Key Derivation and Presignatures
Two common variations of ECDSA signatures are additive key derivation and presignatures. Additive key derivation is a simple mechanism for deriving... -
Comparing the Derivation of Modal Domains and Strengthened Meanings
The derivation of strengthened meanings as proposed by Bar-Lev and Fox (2017, 2020) and the derivation of modal domains as proposed by Kratzer (1977,... -
Derivation of Evacuation Routes to Avoid Narrow Road Adopting Physarum Solver
Japan is a country where disasters occur frequently. When disasters occur, people need to escape from their homes to shelters immediately. Thus, it... -
The Need for a Novel Approach to Design Derivation Lexicon for Semitic Languages
Morphology knowledge is relevant in language learning, information retrieval and natural language processing. Derivation lexicons are comprehensive... -
Guided Derivation of Conceptual Models from User Stories: A Controlled Experiment
[Context and Motivation] User stories are a popular notation for representing requirements, especially in agile development. Although they represent... -
Transient Session Key Derivation Protocol for Key Escrow Prevention in Public Key Infrastructure
The Internet of Things (IoT) devices have been deployed to realize smart environments such as smart cities, smart homes, smart health and smart... -
Human-Like Rule Learning from Images Using One-Shot Hypothesis Derivation
Unlike most computer vision approaches, which depend on hundreds or thousands of training images, humans can typically learn from a single visual... -
Derivation of the Data Attributes for Identification of Incorrect Events in Supply Chain Event Management
Based on the increasingly complex value creation networks, more and more event-based systems are being used for decision support. One example of a... -
On the automation-supported derivation of domain-specific UML profiles considering static semantics
In the light of standardization, the model-driven engineering (MDE) is becoming increasingly important for the development of DSLs, in addition to...
-
Derivation of Evolutionary Equations in the Many-Body Problem with Isotropically Varying Masses Using Computer Algebra
AbstractThe influence of the variability of the masses of celestial bodies on the dynamic evolution of planetary systems is investigated in the case...
-
Step 2: Analysis of the Corporate Strategy and Derivation of Challenges for IT
After an overview of the current maturity of the IT organization and IT processes has been created in the first step, the derivation of concrete... -
Derivation of the multi-model generalized labeled multi-Bernoulli filter: a solution to multi-target hybrid systems
In this study, we extend traditional (single-target) hybrid systems to multi-target hybrid systems with a focus on the multi-maneuvering-target...