XML; authorisation; meta data; query processing; temporal logic; SPIN model checker; access control; branching structures; information relevance; intermediate nodes; linear temporal logic; positive core XPath; query engine; trace semantics;
机译:使用语义进行XPath查询转换
机译:利用XPath查询/视图可回答性的有效语义缓存
机译:正核心XPath的跟踪语义
机译:湖和海洋环境中沉积物中的汞和其他微量元素:环境因素和早期成岩作用。
机译:语义存储损耗分数:由于神经变性疾病中颞叶损伤测量单个语义存储损失水平的算法
机译:Positive Core XPath的跟踪语义