Results 181 to 190 of about 150,251 (227)
Some of the next articles are maybe not open access.
Specifying reversibility with TLA+
Journal of Logical and Algebraic Methods in Programming, 2020Abstract In the past, action-based, process-algebraic formalisms for the description and analysis of concurrent reversible computations were mainly developed. In this paper, we present a state-based approach to the specification of concurrent systems in which forward-executed actions may either be executed in reverse in a causal-consistent ...
openaire +1 more source
2019
Da bi se na nekoj podlozi nešto sagradilo potrebno je da podloga ima određena svojstva primjerena gradnji. Danas se za pripremu neadekvatne podloge za gradnju koriste dva načina. Jedan podrazumijeva da se podloga za izgradnju u potpunosti promjeni, a drugi je da se postojećoj podlozi poboljšaju svojstva.
openaire +3 more sources
Da bi se na nekoj podlozi nešto sagradilo potrebno je da podloga ima određena svojstva primjerena gradnji. Danas se za pripremu neadekvatne podloge za gradnju koriste dva načina. Jedan podrazumijeva da se podloga za izgradnju u potpunosti promjeni, a drugi je da se postojećoj podlozi poboljšaju svojstva.
openaire +3 more sources
1999
TLA (the Temporal Logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. We define a subset of TLA whose formulas are amenable to validation by animation, with the intent to facilitate the communication between domain and solution experts in the design of reactive systems.
Mokhtari, Yassine, Merz, Stephan
openaire +2 more sources
TLA (the Temporal Logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. We define a subset of TLA whose formulas are amenable to validation by animation, with the intent to facilitate the communication between domain and solution experts in the design of reactive systems.
Mokhtari, Yassine, Merz, Stephan
openaire +2 more sources
1993
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for specifying real-time properties. Here, we use TLA+ to define operators for specifying the temporal behavior of physical components obeying integral equations of evolution.
openaire +1 more source
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for specifying real-time properties. Here, we use TLA+ to define operators for specifying the temporal behavior of physical components obeying integral equations of evolution.
openaire +1 more source
A formulation of TLA in Isabelle
1995The Temporal Logic of Actions is a formalism for reasoning about concurrent and reactive systems. In this paper I present a formulation of TLA in the Isabelle theorem prover, in which I make extensive use of facilities in the Isabelle system for embedding different logics, particularly the syntax for easy axiomatisation of logics and the existence of ...
openaire +1 more source
Mehanički postupak čišćenja tla - pranje tla
2009Čišćenje tla dobiva sve veći značaj u industrijaliziranim zemljama. Pranje tla odnosno fizikalna separacija omogućava da se tlo očisti do stupnja da se može ponovno koristiti na istoj lokaciji ili na nekoj drugoj bez opasnosti po okoliš. Izdvojene nečistoće (metali, ugljikovodici) zbrinjavaju se kao poseban otpad bilo da se dalje obrađuju i/ili odlažu ...
Salopek, Branko +3 more
openaire +1 more source
Distributed algorithms in TLA (abstract)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, 2000TLA (the temporal logic of actions) is a simple logic for describing and reasoning about concurrent systems. It provides a uniform way of specifying algorithms and their correctness properties, as well as rules for proving that one specification satisfies another. TLA+ is a formal specification language based on TLA, and TLC is a model checker for TLA+
openaire +1 more source
2021
Zdravlje tla se definira kao sposobnost funkcioniranja tla kao vitalnog živog sustava unutar ekosustava i pod antropogenim utjecajem. Zdravlje tla održava zdravlje biljnih, životinjskih i ljudskih zajednica kao i kvalitetu vode i zraka. Plodnost je mogućnost tla da zadovolji potrebe biljaka za mineralnim tvarima i vodom.
Andrea, Makjanić, Diana, Mance
openaire +1 more source
Zdravlje tla se definira kao sposobnost funkcioniranja tla kao vitalnog živog sustava unutar ekosustava i pod antropogenim utjecajem. Zdravlje tla održava zdravlje biljnih, životinjskih i ljudskih zajednica kao i kvalitetu vode i zraka. Plodnost je mogućnost tla da zadovolji potrebe biljaka za mineralnim tvarima i vodom.
Andrea, Makjanić, Diana, Mance
openaire +1 more source
2020
Između čvrstih čestica tla nalaze se pore (šupljine). Te šupljine omogućavaju prolazak vode kroz tlo. Sposobnost propusnog medija (tla) da omogućuje tečenje (propuštanje) vode definira se preko koeficijenta propusnosti. Znači propusnost možemo okarakterizirati kao lakoću kojom se voda kreće kroz određene slojeve tla.
openaire +1 more source
Između čvrstih čestica tla nalaze se pore (šupljine). Te šupljine omogućavaju prolazak vode kroz tlo. Sposobnost propusnog medija (tla) da omogućuje tečenje (propuštanje) vode definira se preko koeficijenta propusnosti. Znači propusnost možemo okarakterizirati kao lakoću kojom se voda kreće kroz određene slojeve tla.
openaire +1 more source