Results 41 to 50 of about 133,366 (251)
Efficient online monitoring of web-service SLAs [PDF]
, 2008 If an organization depends on the service quality provided by another organization it often enters into a bilateral service level agreement (SLA), which mitigates outsourcing risks by associating penalty payments with poor service quality.
Skene, J +5 more
core +1 more source
History-deterministic Timed Automata [PDF]
Logical Methods in Computer ScienceWe explore the notion of history-determinism in the context of timed automata (TA) over infinite timed words. History-deterministic (HD) automata are those in which nondeterminism can be resolved on the fly, based on the run constructed thus far. History-
Sougata Bose +4 more
doaj +1 more source
Timed Automata Semantics for Analyzing Creol [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We give a real-time semantics for the concurrent, object-oriented modeling language Creol, by mapping Creol processes to a network of timed automata. We can use our semantics to verify real time properties of Creol objects, in particular to see whether ...
Mohammad Mahdi Jaghoori, Tom Chothia
doaj +1 more source
How to stop time stopping [PDF]
, 2006 Zeno-timelocks constitute a challenge for the formal verification of timed automata: they are difficult to detect, and the verification of most properties (e.g., safety) is only correct for timelock-free models.
Gomez, Rodolfo, Bowman, Howard
core +1 more source
Latency Evaluation of SDFGs on Heterogeneous Processors Using Timed Automata
IEEE Access, 2020 Synchronous Data Flow (SDF) is a graphical computation model used for analyzing digital signal processing and real time multimedia applications. In general, these applications have two primary performance metrics - throughput and latency.
Sivashankari Rajadurai +3 more
doaj +1 more source
Re-verification of a Lip Synchronization Protocol using Robust Reachability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clocks or imprecision in testing guards.
Piotr Kordy +2 more
doaj +1 more source
Dynamic Timed Automata for Reconfigurable System Modeling and Verification
Axioms, 2023 Modern discrete-event systems (DESs) are often characterized by their dynamic structures enabling highly flexible behaviors that can respond in real time to volatile environments.
Samir Tigane +5 more
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Japan has one of the highest dialysis prevalence rates worldwide and a shrinking, aging population. Whether dialysis burden has entered a sustained post‐peak phase or whether recent declines partly reflect pandemic‐related disruptions remains uncertain.
Hatice Şahin +2 more
wiley +1 more source
Model Checking One-clock Priced Timed Automata [PDF]
Logical Methods in Computer Science, 2008 We consider the model of priced (a.k.a. weighted) timed automata, an extension of timed automata with cost information on both locations and transitions, and we study various model-checking problems for that model based on extensions of classical ...
Patricia Bouyer +2 more
doaj +1 more source
FEBS Letters, EarlyView.Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai +4 more
wiley +1 more source