Results 31 to 40 of about 1,341,656 (346)
Information, 2020 Today, Android accounts for more than 80% of the global market share. Such a high rate makes Android applications an important topic that raises serious questions about its security, privacy, misbehavior and correctness.
Marwa Ziadia +3 more
doaj +1 more source
Enhanced Operational Semantics in Systems Biology [PDF]
, 2003 We are faced with a great challenge: the cross-fertilization between the fields of formal methods for concurrency, in the computer science domain, and systems biology in the biological ...
A. Dovier +11 more
core +1 more source
Operational Semantics of Annotated Reflex Programs
Моделирование и анализ информационных систем, 2019 Reflex is a process-oriented language that provides a design of easy-to-maintain control software for programmable logic controllers. The language has been successfully used in a several reliability critical control systems, e. g.
Igor S. Anureev
doaj +1 more source
Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
Axioms, 2021 Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together ...
Eunsuk Yang
doaj +1 more source
A Coupled Operational Semantics for Goals and Commitments
Journal of Artificial Intelligence Research, 2019 Commitments capture how an agent relates to another agent, whereas goals describe states of the world that an agent is motivated to bring about. Commitments are elements of the social state of a set of agents whereas goals are elements of the private ...
Pankaj R. Telang +2 more
semanticscholar +1 more source
A process algebra for synchronous concurrent constraint programming [PDF]
, 1996 Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new version of the ask and tell primitives which features synchronicity.
Brim, L +3 more
core +4 more sources
Semantics for Algebraic Operations
Electronic Notes in Theoretical Computer Science, 2001 AbstractGiven a category C with finite products and a strong monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form αx:(Tx)n → Tx provides a definitive semantics for algebraic operations added to the computational λ-calculus.
Plotkin, Gordon, Power, John
openaire +2 more sources
Automatic C Program Verification Based on Mixed Axiomatic Semantics
Моделирование и анализ информационных систем, 2013 The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process.
I. V. Maryasov +3 more
doaj +1 more source
Operational semantics of proto
Science of Computer Programming, 2013 The Proto spatial computing language in Beal and Bachrach (2006) [1] simplifies the creation of scalable, robust, distributed programs by abstracting a network of locally communicating devices as a continuous geometric manifold. However, Proto's successful application in a number of domains is challenging its coherence across different platforms and ...
VIROLI, MIRKO, J. Beal, K. Usbeck
openaire +2 more sources
Applied Sciences, 2023 Aviation significantly contributes to anthropogenic radiative forcing with both CO2 and non-CO2 emissions. In contrast to technical advancements to mitigate the climate impact, operational measures can benefit from short implementation times and thus are
Zarah Lea Zengerling +14 more
doaj +1 more source