位置：成果数据库 > 会议 > 会议详情页
Reason on UML Diagrams with Answer Set Programming
  • 所属机构名称：武汉大学
  • 成果类型：会议
  • 相关项目：基于文件视图和数字DNA的安全文件系统理论与模型
同会议论文项目
基于文件视图和数字DNA的安全文件系统理论与模型
期刊论文 12 会议论文 12
同项目会议论文
Discover Inconsistencies between Firewall Policies
An Integrated Artificial Immune Systems Model Based On Ontology
Verify Consistency between Firewall Rule Set and Firewall Policy with Answer Set Programming
Transition System Semantics of DFL as a Scientific Workflow Language
A Novel Immune Detector Model of Linux Process Anomaly Detection
File View: Secure Model in Intranet
Genetic Algorithms for Large Join Query Optimization
Electronic Document Security Sharing System Based On Lineage Mechanism
Workflow Design Based on Data-Flow Skeletons
Embracing Scientific Workflow Knowledge into IDE
Definition of Danger Signal in Artificial Immune System with Cloud Method