位置：成果数据库 > 期刊 > 期刊详情页
操作语义在类型系统中的一种表示
  • 期刊名称：小型微型计算机系统, 27:7(2006),1285-1288
  • 时间：0
  • 相关项目：基于概念精化的嵌入式系统的构件开发方法
作者： 丁志义,宋国新, 邵志清
同期刊论文项目
基于概念精化的嵌入式系统的构件开发方法
期刊论文 25 会议论文 6 获奖 1
同项目期刊论文
泛型程序的多型值构造
同质TCP流的多重分形特性分析
一种杂交算法在Web文档聚类中的
对数无限可分级串框架下的异常网
Detecting?DDoS?Attacks?against
A MDA-based Approach to Automa
嵌入式系统开发中的设计模式
基于Tecton的验证系统Violet
网页文本中部分关系知识的获取与
Internet流量的多重分形分析
A Robust IP Packets Filtering
基于Java程序的功能点度量
对数无限可分级串框架下的异常网络流量分析
分布式实时嵌入式系统的能耗建模与分析
基于分形插值函数重构的网络流量多尺度结构研究
命令的操作语义在类型系统中的一种表示
嵌入式通信软件开发中的设计模式
基于组件的嵌入式软件开发中的几个关键问题
Detecting DDoS Attacks against Web Server Using Time Series Analysis
A Robust IP Packets Filtering Mechanism for Protecting Web Server from DDoS Attacks
FFT处理机的形式化模型及正确性验证
程序不动点的直观计算意义
使递归算法泛型化
网络入侵检测中的自动决定聚类数算法