Results 51 to 60 of about 100,374 (308)
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 Rules with Well-Founded Semantics [PDF]
, 2009 A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic
A Levy +21 more
core +2 more sources
Operational semantics of rewriting with priorities [PDF]
Theoretical Computer Science, 1998 AbstractWe study the semantics of term rewriting systems with rule priorities (PRS), as introduced in Baeten et al. (1989). Three open problems posed in that paper are solved, by giving counter examples. Moreover, a class of executable PRSs is identified. A translation of PRSs into transition system specifications (TSS) is given.
openaire +2 more sources
Lightweight Time Modeling in Timed Creol [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Creol is an object-oriented modeling language in which inherently concurrent objects exchange asynchronous method calls. The operational semantics of Creol is written in an actor-based style, formulated in rewriting logic.
Olaf Owe +3 more
doaj +1 more source
Enriched Lawvere Theories for Operational Semantics
, 2019 Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of each arity ...
Baez, John C., Williams, Christian
core +1 more source
Semantics of OCL Operation Specifications
Electronic Notes in Theoretical Computer Science, 2004 The semantics of OCL operation specifications is discussed from a model theoretic perspective. It is argued that the semantics of operation specifications as defined in the OCL 2.0 proposal is not compatible with the view of operation specifications as contracts between a client and a supplier. As a solution, a semantics of OCL operation specifications
Hennicker, Rolf +2 more
openaire +3 more sources
Remote Sensing, 2022 The Nadir Mapper (NM) and Nadir Profiler (NP) within the Ozone Mapping and Profiler Suites (OMPS) are ultraviolet spectrometers to measure Earth radiance and Solar irradiance spectra from 300–380 nm and 250–310 nm, respectively.
Banghua Yan +15 more
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective People with HIV (PWH) on antiretroviral therapy (ART) still experience neurocognitive dysfunction and accelerated brain volume loss. To assess whether the serotonergic and dopaminergic systems are affected, we used [11C]DASB positron emission tomography (PET) to assess presynaptic serotonergic function and [18F]FDOPA PET to measure ...
Chuen‐Yen Lau +12 more
wiley +1 more source
A Formal Framework for Integrated Environment Modeling Systems
ISPRS International Journal of Geo-Information, 2017 Integrated Environment Modeling (IEM) has become more and more important for environmental studies and applications. IEM systems have also been extended from scientific studies to much wider practical application situations.
Gaofeng Zhang +5 more
doaj +1 more source
Precision‐Optimised Post‐Stroke Prognoses
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Current medicine cannot confidently predict who will recover from post‐stroke impairments. Researchers have sought to bridge this gap by treating the post‐stroke prognostic problem as a machine learning problem, reporting prediction error metrics across samples of patients whose outcomes are known.
Thomas M. H. Hope +4 more
wiley +1 more source