17 resultados para Reactive Probabilistic Automata

em Department of Computer Science E-Repository - King's College London, Strand, London

Verification and Prediction of Timed Probabilistic Properties over the Distributed Management Taskforce Common Information Model

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Verification and Prediction of Timed Probabilistic Properties over the Distributed Management Taskforce Common Information Model

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Runtime Verification of Timing and Probabilistic Properties using WMI and .NET.

Relevância:

20.00% 20.00%

Publicador:

Veja mais

From implicit specifications to explicit designs in reactive system development

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Probabilistic Abductive Computation of Evidence Collection Strategies in Crime Investigation

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Coping with Inaccurate Reputation Sources: Experimental Analysis of a Probabilistic Trust Model

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Waiting time and complexity for matching patterns with automata

Relevância:

20.00% 20.00%

Publicador:

Veja mais

A trie-based approach for compacting automata

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Bit-parallel (delta,gamma)-matching and suffix automata

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Minimizing local automata

Relevância:

20.00% 20.00%

Publicador:

Veja mais

A Probabilistic Trust Model for Handling Inaccurate Reputation Sources

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Combining Probabilistic and Labelled Reasoning

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Reactive Kripke Semantics and Arc Accessibility

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Distributed pattern matching using finite Automata

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Computing Constrained Longest Common Subsequence for Degenerate Strings using Finite Automata

Relevância:

20.00% 20.00%

Publicador:

Veja mais