Computation tree measurement language (CTML)
Y Jing, AS Miner - Formal Aspects of Computing, 2018 - Springer
… Computation tree measurement language In this section, we present a real valued formal
language, called Computation Tree Measurement Language [MJ10], or (CTML) for short, …
language, called Computation Tree Measurement Language [MJ10], or (CTML) for short, …
Action and state based computation tree measurement language and algorithms
Y Jing, AS Miner - International Conference on Quantitative Evaluation of …, 2018 - Springer
… Previously, we introduced the computation tree measurement language (CTML) [1] that is
designed to express performance measures and dependability properties in a single …
designed to express performance measures and dependability properties in a single …
Formalizing performance evaluation of mobile manipulator robots using CTML
O Aboul-Enein, Y Jing… - ASME …, 2020 - asmedigitalcollection.asme.org
… “Action and state based computation tree measurement language and algorithms”. In
15th International Conference on Quantitative Evaluation of Systems, A. McIver and A. …
15th International Conference on Quantitative Evaluation of Systems, A. McIver and A. …
A formal language toward the unification of model checking and performance evaluation
AS Miner, Y Jing - Analytical and Stochastic Modeling Techniques and …, 2010 - Springer
… language. The main contribution is the definition of Computation Tree Measurement Language
(CTML) and the mathematical derivations of efficient algorithms for evaluation of CTML …
(CTML) and the mathematical derivations of efficient algorithms for evaluation of CTML …
Taxonomy of XML schema languages using formal language theory
… That is, whenever we determine Xi, we compute a state set Qi … The document size does not
affect the time required by this … by HTML can also be captured by single-type or regular tree …
affect the time required by this … by HTML can also be captured by single-type or regular tree …
[PDF][PDF] The complexity of tree automata and logics of programs
EA Emerson, CS Jutla - FoCS, 1988 - academia.edu
… candidate formula and then tests nonemptiness of the tree … (Lµ) (a language for characterizing
temporal correctness … We first note, however, that the size of an automaton has two …
temporal correctness … We first note, however, that the size of an automaton has two …
A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm
F Wang, Z Cao, S Wang, H Zong… - 2021 16th International …, 2021 - ieeexplore.ieee.org
… languages like Computation Tree Measurement Language (CTML) [3], Hybrid Automata
Stochastic Language … , even CTML, HASL and CTRML, the novel language can measure the …
Stochastic Language … , even CTML, HASL and CTRML, the novel language can measure the …
Efficient structural joins on indexed XML documents
SY Chien, Z Vagena, D Zhang, VJ Tsotras… - VLDB'02: Proceedings of …, 2002 - Elsevier
… This tree-centric representation is apparent in XML languages like … element set many times
during the join computation. The Stack-… For the experiments we used a page size of 8K. The …
during the join computation. The Stack-… For the experiments we used a page size of 8K. The …
A specification with performance evaluation for probabilistic timed automata
Y Ma, Z Cao, Y Liu - 2017 12th International Conference on …, 2017 - ieeexplore.ieee.org
… The operators used in this formal language is similar with the … of timed computation tree
measurement language (TCTML) … so this is a different language from CTML. TCTML syntax and …
measurement language (TCTML) … so this is a different language from CTML. TCTML syntax and …
[PDF][PDF] Indexing and querying XML data for regular path expressions
Q Li, B Moon - VLDB, 2001 - vldb.org
… The use of name index minimizes storage and computational … We have not measured the
performance of Ã-Join algorithm, … graph, where nodes denote HTML pages and edges denote …
performance of Ã-Join algorithm, … graph, where nodes denote HTML pages and edges denote …