Sciweavers

7 search results - page 2 / 2
» iceccs 2006
Sort
View
ICECCS
2006
IEEE
126views Hardware» more  ICECCS 2006»
13 years 11 months ago
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC
Abstract— Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to comp...
Tiziana Margaria, Christian Kubczak, Marc Njoku, B...
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
13 years 11 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu