Model checking strategy-controlled systems in rewriting logic
Rewriting logic and its implementation Maude are an expressive framework for the formal
specification and verification of software and other kinds of systems. Concurrency is …
specification and verification of software and other kinds of systems. Concurrency is …
Strategies, model checking and branching-time properties in Maude
Rewriting logic and its implementation Maude are a natural and expressive framework for
the specification of concurrent systems and logics. Its nondeterministic local transformations …
the specification of concurrent systems and logics. Its nondeterministic local transformations …
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies
ME Cambronero, MA Martínez, L Llana… - PeerJ Computer …, 2024 - peerj.com
Data privacy is one of the biggest challenges facing system architects at the system design
stage. Especially when certain laws, such as the General Data Protection Regulation …
stage. Especially when certain laws, such as the General Data Protection Regulation …
Strategies, model checking and branching-time properties in Maude
Maude 3 includes as a new feature an object-level strategy language. Rewriting strategies
can now be used to easily control how rules are applied, restricting the rewriting systems …
can now be used to easily control how rules are applied, restricting the rewriting systems …
Hybrid approach on cache aware real-time scheduling for multi-core systems
T Huybrechts, Y De Bock, H Li, P Hellinckx - Advances on P2P, Parallel …, 2017 - Springer
Abstract The Worst-Case Execution Time of a task is important in real-time systems. This
metric is used by the scheduler in order to schedule all tasks before their deadlines …
metric is used by the scheduler in order to schedule all tasks before their deadlines …
[图书][B] A computational model of human blood clottings: Simulation, analysis, control, and validation
JG Makin - 2008 - search.proquest.com
Complex biological systems pose many challenges to researchers, including, inter alia,
choice of computational model, with its consequences for simulation and analysis; methods …
choice of computational model, with its consequences for simulation and analysis; methods …
[PDF][PDF] Hybrid System Modeling of Human Blood Clotting
J Makin, S Narayanan, R Ramamoorthi - … Computer Science Institute …, 2008 - academia.edu
The process of human blood clotting involves a com-plex interaction of continuous-
time/continuous-state processes and discrete-event/discrete-state phenomena, where the …
time/continuous-state processes and discrete-event/discrete-state phenomena, where the …
Strategies, model checking and branching-time properties in Maude
RR Rubio Cuéllar, N Martí Oliet, MI Pita Andreu… - 2021 - docta.ucm.es
Rewriting logic and its implementation Maude are a natural and expressive framework for
the specification of concurrent systems and logics. Its nondeterministic local transformations …
the specification of concurrent systems and logics. Its nondeterministic local transformations …