位置：成果数据库 > 会议 > 会议详情页
Probabilistic alternating-time temporal logic and model checking algorithm
  • 所属机构名称：南京大学
  • 会议名称：4th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007
  • 成果类型：会议
  • 会场：Haikou, China
  • 相关项目：面向网构软件体系结构的可信管理模型与技术研究
作者： Lu, Jian|Chen, Taolue|
同会议论文项目
面向网构软件体系结构的可信管理模型与技术研究
期刊论文 17 会议论文 12
同项目会议论文
A trust evolution model for P2P networks
On behavioral metric for probabilistic systems: Definition and approximation algorithm
A transaction model for context-aware applications
Application based distance measurement for context retrieval in ubiquitous computing
Service discovery and substitution according to inheritance of behavior with invariant analysis
A semantic and time related recommendation-feedback trust model
An approach to model cross-organizational processes using object petri net
Cluster filtered KNN: A WLAN-based indoor positioning scheme
Order constraints for multi-view software process model
Variability model and management for web service: a petri net based approach
A personalized trust-based approach for service selection in internetwares