ICECCS
2006
IEEE
14 years 9 months ago
2006
IEEE
We explore various definitions and characteristics of emergence, how we might recognise and measure emergence, and how we might engineer emergent systems. We discuss the TUNA (�...
ICECCS
2006
IEEE
14 years 9 months ago
2006
IEEE
ICECCS
2006
IEEE
14 years 9 months ago
2006
IEEE
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 ...
ICECCS
2006
IEEE
14 years 9 months ago
2006
IEEE
ICECCS
2006
IEEE
14 years 9 months ago
2006
IEEE
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...
ICECCS
2006
IEEE
14 years 9 months ago
2006
IEEE
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...
ICECCS
2006
IEEE
14 years 9 months ago
2006
IEEE
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...