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