位置：成果数据库 > 会议 > 会议详情页
基于单子技术的服务计算形式化方法研究
  • 所属机构名称：南京邮电大学
  • 会议名称：CCF NCSC2010 第一届全国服务计算学术会议
  • 成果类型：会议
  • 会场：哈尔滨
  • 相关项目：基于模块单子语义的程序切片及其关键技术研究
作者： 陈蕾|郭铭铭| 符炜|张卫丰|张迎周|杨庚|
同会议论文项目
基于模块单子语义的程序切片及其关键技术研究
期刊论文 44 会议论文 15
同项目会议论文
Web Services Clustering Using SOM based on Kernel Cosine Similarity Measure
Slicing Concurrent Programs Based on ProgramReachability Graphs
Feature Distribution Based Quick Image Retrieval
Program Slicing Based Web Service Publishing and Discovery
基于Haskell和CHR的智能Agent的实现
Modular Monadic Slicing of Concurrent Programs
Modular Monadic Program Slicing
A Formal Method for Program Slicing
A Slice Monad Transformer and Its Applications in Program Slicing
Program Slicing Based Web-Service Generation and Composition
WordNet-powered Web Services Discovery Using Kernel-based Similarity Matching Mechanism
Modular Monadic Slicing in the Presence of Pointers
Contribution-Based Call Stack Abstraction and Its Application in Pointer Analysis of AspectJ Program
The Feasibility of Launching Reduction of Quality(RoQ) Attacks in 802.11 Wireless Networks