Results 11 to 20 of about 4,810,145 (339)
Modeling Domain-Specific Profilers. [PDF]
The Journal of Object Technology, 2012 Domain-specific languages and models are increasingly used within general-purpose host languages. While traditional profiling tools perform well on host language code itself, they often fail to provide mean- ingful results if the developers start to build and use abstractions on top of the host language. In this paper we motivate the need for dedicated
Ressia Jorge +3 more
openaire +2 more sources
First-Order Modal Semantics and Existence Predicate
Bulletin of the Section of Logic, 2022 In the article we study the existence predicate \(\varepsilon\) in the context of semantics for first-order modal logic. For a formula \(\varphi\) we define \(\varphi^{\varepsilon}\) - the so called existence relativization. We point to a gap in the work
Patryk Michalczenia
doaj +1 more source
Cross-Domain Trust Evaluation Model for IoT Based on Blockchain and Domain Trust Degree [PDF]
Jisuanji gongcheng, 2023 The trust relationships between different trust domains must be evaluated when cross-domain access occurs between them.The application of existing trust evaluation relationships is limited to terminals.However，in actual application scenarios，domain ...
PAN Xue, YUAN Lingyun, HUANG Minmin
doaj +1 more source
DoMAIns: Domain-based modeling for Ambient Intelligence [PDF]
Pervasive and Mobile Computing, 2012 Ambient Intelligence and Smart Home Automation systems are currently emerging as feasible and ready to exploit solutions to support more intelligent features inside future and current homes. Thanks to increased availability of off-the-shelf components and to relatively easy to implement solutions we are experiencing a steady evolution of households ...
BONINO, DARIO, CORNO, Fulvio
openaire +1 more source
Open Domain Answer Selection Model Fusing Double Matching-Focus [PDF]
Jisuanji gongcheng, 2023 Open-domain answer selection model is an important part of Question Answering (QA) system, which can find the answer that best matches the question by scoring different candidate answers for the same question.Current research on answer selection models ...
HE Junfei, ZHANG Huibing, HU Xiaoli
doaj +1 more source
Quantum Zakharov Model in a Bounded Domain [PDF]
, 2011 We consider an initial boundary value problem for a quantum version of the Zakharov system arising in plasma physics. We prove the global well-posedness of this problem in some Sobolev type classes and study properties of solutions.
A. Babin +23 more
core +1 more source
Anemic Domain Model vs Rich Domain Model to Improve the Two-Hemisphere Model-Driven Approach
Applied Computer Systems, 2020 Evolution of software development process and increasing complexity of software systems calls for developers to pay great attention to the evolution of CASE tools for software development.
Nikiforova Oksana, Gusarovs Konstantins
doaj +1 more source
IEEE Access, 2021 Model predictive control (MPC) has been widely adopted for cooperative adaptive cruise control (CACC) due to its superior performance in achieving fuel-efficient driving while satisfying constraints such as inter-vehicle distance.
Youngro Lee +3 more
doaj +1 more source
Analysis of Dynamic Complexity of the Cyber Security Ecosystem of Colombia
Future Internet, 2016 This paper presents two proposals for the analysis of the complexity of the Cyber security Ecosystem of Colombia (CEC). This analysis shows the available knowledge about entities engaged in cyber security in Colombia and the relationships between them ...
Angélica Flórez +5 more
doaj +1 more source
A domain-wall-brane-localized standard model [PDF]
, 2007 We sketch an SU(5) bulk model in 4+1-dimensions that plausibly produces an effective 3+1-dimensional standard model dynamically-localized on a domain wall.Comment: 4 pages, 2 figures.
Arttu Rajantie +4 more
core +2 more sources