|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Web Services & Semantic Web Services 』 (http://bbs.xml.org.cn/list.asp?boardid=10) ---- [讨论]采用linear logic做Web服务组合 (http://bbs.xml.org.cn/dispbbs.asp?boardid=10&rootid=&id=26432) |
|
-- 作者：jackyc3w -- 发布时间：1/14/2006 3:12:00 PM -- [讨论]采用linear logic做Web服务组合 欢迎看过JinHai Rao 博士论文的哥们讨论。 先发个问：大家决不觉得他把DL融入LL的三条推理规则有牵强？ |
|
-- 作者：jackyc3w -- 发布时间：1/16/2006 5:05:00 PM -- 怎么没人会应阿，那是篇很好的论文，应该都看过吧 |
|
-- 作者：enginewang -- 发布时间：1/18/2006 12:43:00 PM -- 我刚开始看这方面的东西，希望一起探讨，engine_wang@163.com |
|
-- 作者：mbxian -- 发布时间：1/18/2006 4:28:00 PM -- 他就是拿过来用的 |
|
-- 作者：tegry -- 发布时间：1/23/2006 9:44:00 PM -- Jinhai Rao凭这篇文章还拿了那个会议的最佳论文奖。 这片文章利用构造的方法得到服务组合，同时这种构造的方法就提供了验证的能力，也就说在构造的同时能够保证得到的组合是符合用户的需求的。这种方法应该是定理证明的方法在服务组合上的应用吧，个人理解，欢迎讨论 |
|
-- 作者：window_tiger -- 发布时间：3/6/2006 1:15:00 AM -- 请问：我正在看那篇文章，对LINEAR LOGIC完全不了解， 请问有无合适的书籍或文章？ 若中文，自然最好了。谢谢！ |
|
-- 作者：jackyc3w -- 发布时间：3/6/2006 12:13:00 PM -- 中文的没有，有一个日本人写的 tempral linear logic 不错 |
|
-- 作者：zhengfrance -- 发布时间：4/2/2007 9:37:00 PM -- 楼主能不能发给我一份 JinHai Rao 那篇博士论文啊，想学习下下 dolphinzheng@hotmail.com 不胜感激 |
|
-- 作者：jszfx -- 发布时间：4/5/2007 2:06:00 AM -- 我也正处于阅读中，但想知道有没有他做的那个系统可以看看 |
|
-- 作者：jszfx -- 发布时间：4/5/2007 2:07:00 AM -- 我在做硕士论文，也是着方面的，realizing automaticaly semantic web service compositon via agent |
|
-- 作者：jszfx -- 发布时间：4/5/2007 2:08:00 AM -- 88分了，哈哈，努力中，想下文章去ftp |
|
-- 作者：jszfx -- 发布时间：4/5/2007 2:09:00 AM -- 继续挣分 |
|
-- 作者：jszfx -- 发布时间：4/5/2007 2:09:00 AM -- 这就可以去下了，呵呵8 |
|
-- 作者：xqxrr -- 发布时间：5/18/2007 11:13:00 AM -- 关注中 |
|
-- 作者：lxk_cool -- 发布时间：5/19/2007 8:16:00 PM -- 继续挣分,楼主也给我发一份吧，lxk_cool@163.com |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
78.125ms |