Results 31 to 40 of about 103,776 (269)
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supported by
Lorenzo Capra
doaj +1 more source
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
Probabilistic Operational Semantics for the Lambda Calculus
, 2011 Probabilistic operational semantics for a nondeterministic extension of pure lambda calculus is studied. In this semantics, a term evaluates to a (finite or infinite) distribution of values.
Lago, Ugo Dal, Zorzi, Margherita
core +3 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
Higher Amyloid and Tau Burden Is Associated With Faster Decline on a Digital Cognitive Test
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective A 2‐min digital clock‐drawing test (DCTclock) captures more granular features of the clock‐drawing process than the pencil‐and‐paper clock‐drawing test, revealing more subtle deficits at the preclinical stage of Alzheimer's disease (AD). A previous cross‐sectional study demonstrated that worse DCTclock performance was associated with
Jessie Fanglu Fu +16 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
Correctness of an STM Haskell implementation [PDF]
, 2012 A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given.
Bieniusa A. +7 more
core +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
Deductive Verification of Telecommunication Systems Written in C
Моделирование и анализ информационных систем, 2015 A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to ...
I. S. Anureev
doaj +1 more source