Results 41 to 50 of about 5,309 (287)
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
Operational Semantics for SPARQL Update [PDF]
, 2012 Concurrent fine grained updates are essential for using RDF stores in dynamic modern Web applications, where users increasingly contribute content as often as they read content. SPARQL Update is a language proposed by the W3C for fine grained updates for RDF stores.
Horne, Ross +2 more
openaire +4 more sources
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
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
Operational Semantics of Security Protocols [PDF]
, 2005 Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e.g. the intruder model. Further characteristics of the model are a straightforward handling of parallel execution of multiple protocols, locality of security claims, the ...
Sjouke Mauw, Cas Cremers
openaire +3 more sources
LIN28B Promotes Cancer Cell Dissemination and Angiogenesis
Advanced Biology, EarlyView.Children diagnosed with high‐risk neuroblastoma have a 5‐year event‐free survival rate of less than 50% and poor outcomes after recurrence. Deregulation of the LIN28B oncogene can be addressed in these patients. Upregulation of LIN28B is shown to support the metastatic cascade.
Diana Corallo +8 more
wiley +1 more source
Structural Operational Semantics with transitivity rules and execution time
CLEI Electronic Journal, 2009 We de¯ne an structural operational semantics of the core of an imperative language. It has a measure in the transitions corresponding to the number of steps of evaluation that takes place in the transition (from the point of view of usual ...
Patricia Peratto
doaj +1 more source
Advanced Functional Materials, EarlyView.AI is transforming the research paradigm of battery materials and reshaping the entire landscape of battery technology. This comprehensive review summarizes the cutting‐edge applications of AI in the advancement of battery materials, underscores the critical challenges faced in harnessing the full potential of AI, and proposes strategic guidance for ...
Qingyun Hu +5 more
wiley +1 more source
An operational semantics for JavaScript [PDF]
, 2008 We de ne a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and mashups. The semantics is based on the language standard and a number of experiments with di erent implementations and browsers.
Maffeis, S, Mitchell, JC, Taly, A
openaire +5 more sources
Causality in the Semantics of Esterel: Revisited [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We re-examine the challenges concerning causality in the semantics of Esterel and show that they pertain to the known issues in the semantics of Structured Operational Semantics with negative premises. We show that the solutions offered for the semantics
MohammadReza Mousavi
doaj +1 more source