行为时态逻辑相关论文
针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式......
自20世纪80年代以来，在哲学、计算机科学、人工智能、语言学等诸多领域的推动下，时态逻辑取得了新的发展。主要表现为区间时态逻辑、......
使用控制模型可以解决普适计算环境中访问控制的动态授权问题,但该模型没有考虑上下文信息。为此,提出一种普适计算环境中基于上下......
