ICECCS
2006
IEEE
13 years 11 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
13 years 11 months ago
2006
IEEE
ICECCS
2006
IEEE
13 years 11 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
13 years 11 months ago
2006
IEEE
ICECCS
2006
IEEE
13 years 11 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
13 years 11 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
13 years 11 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...