当前位置：
数字出版物超市 >> 
用于目标机描述的元对象Petri网模型
用于目标机描述的元对象Petri网模型
【项目名称】 用于目标机描述的元对象Petri网模型
【项目编号】 60573017
【项目目标】
【项目关键词】 元对象 目标机 移动代码 Petri网模型 代码 确认式 编译技术 安全性问题 关键资源 匿名 消费 内核 类方法 身份 代码产生 内核进程 访问权 访问监控 认证 直接访问 系统内核 公开密钥 执行期间 系统切换 Agents 工作设想 焦点 负担过重 关键操作 互联网技术 Mobile 并发性 ?
【项目承办单位】 清华大学;
【项目负责人】 王生原;
【项目来源】 国家自然科学基金项目
【涉及学科】 计算机软件及计算机应用
【科研经费】 24万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2004-12-07
    【申请截止时间】 2005-03-31
    【立项时间】 2006-01
    【完成时间】 2008-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....