Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ICECCS
2006
IEEE
124views Hardware» more  ICECCS 2006»
12 years 8 months ago
Engineering Emergence
We explore various deļ¬nitions and characteristics of emergence, how we might recognise and measure emergence, and how we might engineer emergent systems. We discuss the TUNA (ā€...
Susan Stepney, Fiona Polack, Heather R. Turner
ICECCS
2006
IEEE
108views Hardware» more  ICECCS 2006»
12 years 8 months ago
Communicating Complex Systems
Peter H. Welch, Fred R. M. Barnes, Fiona Polack
ICECCS
2006
IEEE
115views Hardware» more  ICECCS 2006»
12 years 8 months ago
A Layered Behavioural Model of Platelets
There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting ...
Steve Schneider, Helen Treharne, Ana Cavalcanti, J...
ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
12 years 8 months ago
Inference of Design Pattern Instances in UML models via Logic Programming
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
Dae-Kyoo Kim, Lunjin Lu
ICECCS
2006
IEEE
126views Hardware» more  ICECCS 2006»
12 years 8 months ago
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC
Abstractā€” Our approach to the model-driven collaborative design of workļ¬‚ows 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»
12 years 8 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 ļ¬elds. Among many formalisms, rCOS, a reļ¬nement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
books