review: New software composition concepts

江东明 2013-6-3 08:05

Preface New software composition concepts Science of Computer Programming 56 (2005) 1–4 EU funded project EASYCOMP The goal of EASYCOMP： to provide composition technology to support the enduser on all levels easing the task of constructing systems f ...

个人分类: Software|2632 次阅读|没有评论

review: Temporal constraint networks

江东明 2013-5-28 12:05

Temporal constraint networks ​ Rina Dechter Israel Institute of Technology, Haifa, Israel Itay Meiri Univ. of California, Los Angeles Judea Pearl Journal Artificial Intelligence - Special issue on knowledge representation archive ...

个人分类: Formal method|2448 次阅读|没有评论

review: Branching Time and Abstraction in Bisimulation Seman

江东明 2013-5-28 10:30

Branching Time and Abstraction in Bisimulation Semantics ROB J. VAN GLABBEEK AND W. PETER WEIJLAND Centturn (war Wiskunde en Informatica, Amsterdam, The Netherlands JACM 1996 Branching time and abstraction in bisimulation semantics.pdf Abstract. In comparativ ...

个人分类: Formal method|2836 次阅读|没有评论

本页有 7 篇博文因作者的隐私设置或未通过审核而隐藏