Results 21 to 30 of about 16,854 (264)
A formal dynamic semantics of Java: an essential ingredient of Java security
Journal of Telecommunications and Information Technology, 2002 Security is becoming a major issue in our highly networked and computerized era. Malicious code detection is an essential step towards securing the execution of applications in a highly inter-connected context.
Mourad Debbabi +2 more
doaj +1 more source
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We begin by reviewing a technique to approximate the dynamics of stochastic programs --written in a stochastic process algebra-- by a hybrid system, suitable to capture a mixed discrete/continuous evolution.
Alberto Policriti, Luca Bortolussi
doaj +1 more source
Order Effects in Dynamic Semantics [PDF]
Topics in Cognitive Science, 2013 AbstractIn their target article, Wang and Busemeyer (2013) discuss question order effects in terms of incompatible projectors on a Hilbert space. In a similar vein, Blutner recently presented an orthoalgebraic query language essentially relying on dynamic update semantics.
openaire +3 more sources
Context updates are hierarchical
Glossa, 2016 This squib studies the order in which elements are added to the shared context of interlocutors in a conversation. It focuses on context updates within one hierarchical structure and argues that structurally higher elements are entered into the context ...
Anton Karl Ingason
doaj +2 more sources
Biomimetics, 2023 This paper investigates the effect of the Dynamically Morphing Leading Edge (DMLE) on the flow structure and the behavior of dynamic stall vortices around a pitching UAS-S45 airfoil with the objective of controlling the dynamic stall.
Musavir Bashir +4 more
doaj +1 more source
Explaining presupposition projection with dynamic semantics
Semantics and Pragmatics, 2011 Heim's (1982, 1983b) dynamic semantics provides an attractive system for capturing the basic facts about presupposition projection. A long-standing criticism of this semantics is that it requires for each connective lexical stipulations that are not ...
Daniel Rothschild
doaj +1 more source
Dynamic structural operational semantics
Journal of Logical and Algebraic Methods in Programming, 2019 We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades, for upgrading software code during run-time. Dynamic SOS (DSOS) is built on top of the Modular SOS of P. Mosses, with an underlying category theory formalization.
Christian Johansen, Olaf Owe
openaire +5 more sources
δ-Almost Periodic Functions and Applications to Dynamic Equations
Mathematics, 2019 In this paper, by employing matched spaces for time scales, we introduce a δ -almost periodic function and obtain some related properties. Also the hull equation for homogeneous dynamic equation is introduced and results of the existence are ...
Chao Wang +2 more
doaj +1 more source
Dynamic Scene Semantics SLAM Based on Semantic Segmentation
IEEE Access, 2020 Simultaneous Localization and Mapping (SLAM) have become a new research hotspot in the field of artificial intelligence applications such as unmanned driving and mobile robots. Most of the current SLAM research is based on the assumption of static scenes,
Shuangquan Han, Zhihong Xi
doaj +1 more source
Dynamics and Elastic Properties of Glassy Metastable States
Solids, 2021 By a molecular dynamics (MD) simulation method which ensures the system will be under hydrostatic pressure, dynamic and elastic properties of glassy metatstable states are investigated.
Keiko M. Aoki
doaj +1 more source