7 search results - page 1 / 2 » iceccs 2006 |
ICECCS
2006
IEEE
14 years 1 months ago
2006
IEEE
ICECCS
2006
IEEE
14 years 1 months ago
2006
IEEE
ICECCS
2006
IEEE
14 years 1 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 1 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 1 months ago
2006
IEEE
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 (ā...