Engineering emergence

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2006, Pages 89-97

  Stepney, Susan ^a   Polack, Fiona A C ^a   Turner, Heather R ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; LARGE SCALE SYSTEMS; MOLECULAR DYNAMICS; NANOTECHNOLOGY; PROJECT MANAGEMENT;

EMERGENCE; EMERGENT COMPLEX SYSTEMS; EMERGENT SYSTEMS; TUNA (THEORY UNDERPINNING NANOTECH ASSEMBLERS);

COMPUTER SYSTEMS;

EID: 34948896357     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (50)

1. R. Abbott. Open at the top; open at the bottom; and continually (but slowly) evolving. In IEEE International Conference on System of Systems Engineering, Los Angeles, USA, Apr. 2005.
2. R. Abbott. Emergence explained: getting epiphenomena to do real work. Feb. 2006. arXiv:cs/0602045.
3. R. H. Abraham. Dynamics and self-organization. In F. E. Yates, A. Garfinkel, D. Walter, and G. Yates, editors, Self-organizing Systems: The Emergence of Order, pages 599-613. Plenum, 1987.
4. R. Alexander, M. Hall-May, and T. Kelly. Characterisation of systems of systems failures. In 22nd Int. Systems Safety Conference, Aug. 2004.
5. P. W. Anderson. More is different. Science, 177(4047):393-396, 1972.
6. Aristotle. Metaphysics, volume book H (VIII). 350 BC.
7. Translation from W. D. Ross, Aristotle's metaphysics, 2 vols, Oxford University Press, 1924.
8. N. A. Baas and C. Emmeche. On emergence and explanation. Intellectica, 25(2):67-83, 1997.
9. Also published as SFI Working Paper 97-02-008.
10. R. Banach, C. Jeske, S. Fraser, R. Cross, M. Poppleton, S. Stepney, and S. King. Approaching the formal design and development of complex systems: The retrenchment position. In Workshop on Software and Complex Systems, 9th IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy, 2004.
11. R. Banach and M. Poppleton. Retrenchment: An engineering variation on refinement. In D. Bert, editor, 2nd International B Conference, Montpellier, France, April 1998, volume 1393 of LNCS, pages 129-147. Springer, 1998.
12. M. A. Bedau. Weak emergence. In J. Tomberlin, editor, Philosophical Perspectives 11: Mind, Causation, and World, pages 375-399. Blackwell, 1997.
13. R. D. Beer. A dynamical systems perspective on agent-environment interaction. Artificial Intelligence, 72:173-215, 1995.
14. E. R. Berlekamp, J. H. Conway, and R. K. Guy. Winning Ways for Your Mathematical Plays Volume 2: games in particular. Academic Press, 1982.
15. M. H. Bickhard and D. T. Campbell. Emergence. In P. B. Andersen, C. Emmeche, N. O. Finnemann, and P. V. Christiansen, editors, Downward Causation, pages 322-348. Aarhus University Press, 2000.
16. A. Burns, I. J. Hayes, G. Baxter, and C. J. Fidge. Modelling temporal behaviour in complex socio-technical systems. Technical Report YCS-2005-390, Department of Computer Science, University of York, 2005.
17. D. T. Campbell. 'Downward Causation' in hierarchically organised biological systems. In F. J. Ayala and T. Dobzhansky, editors, Studies in the Philosophy of Biology: reduction and related problems, chapter 11, pages 179-186. Macmillan, 1974.
18. R. J. Campbell and M. H. Bickhard. Physicalism, emergence and downward causation. 2001. www.lehigh.edu/~mhb0/physicalemergence.pdf.
19. A. Clark. Being There: putting brain, body and world together again. Oxford University Press, 1997.
20. J. P. Crutchfield. The calculi of emergence: Computation, dynamics, and induction. In Physica D special issue on the Proceedings of the Oji International Seminar, 1994.
21. G. Despotou and T. Kelly. Extending the safety case concept to address dependability. In 22nd Int. Systems Safety Conference, Aug. 2004.
22. K. E. Drexler. Engines of Creation. Anchor Books, 1986.
23. K. E. Drexler. Nanosystems: Molecular Machinery, Manufacturing, and Computation. Wiley, 1992.
24. C. Emmeche, S. Køppe, and F. Stjernfelt. Explaining emergence: towards an ontology of levels. Journal for General Philosophy of Science, 28:83-119, 1997.
25. J. Faith. Why gliders don't exist: Anti-reductionism and emergence. In C. Adami, R. Belew, H. Kitano, and C. Taylor, editors, Artificial Life VI: Proceedings of the Sixth International Conference on Artificial Life, pages 389-392, 1998.
26. R. P. Feynman. There's plenty of room at the bottom. In A. Hey, editor, Feynman and Computation: exploring the limits of computers, pages 63-76. Perseus Books, 1999.
27. R. A. Freitas Jr. Some limits to global ecophagy by biovorous nanoreplicators, with public policy recommendations. Foresight Institute, Apr. 2000.
28. M. Gardner. Mathematical games: The fantastic combinations of John Conway's new solitaire game "Life". Scientific American, 223(4):120-123, October 1970.
29. J. Goldstein. Emergence as a construct: History and issues. Emergence, 1(1):49-72, 1999.
30. J. Goldstein. Emergence: A construct amid a thicket of conceptual snares. Emergence, 2(1):5-22, 2000.
31. J. H. Holland. Emergence: from chaos to order. Oxford University Press, 1998.
32. W. Hordijk, J. P. Crutchfield, and M. Mitchell. Mechanisms of emergent computation in cellular automata. In A. E. Eiben, T. Back, M. Schoenauer, and H.-P. Schwefel, editors, Parallel Problem Solving from Nature V, pages 613-622. Springer, 1998.
33. S. A. Kauffman. The Origins of Order: self-organization and selection in evolution. Oxford University Press, 1993.
34. D. V. Newman. Emergence and strange attractors. Philosophy of Science, 63(2):245-261, 1996.
35. T. O'Conner. Emergent properties. Americal Philosophical Quarterly, 31:91-104, 1994.
36. F. Polack and S. Stepney. Emergent properties do not refine. In REFINE 2005 Workshop, Guildford, UK, April 2005, volume 137 of ENTCS, pages 163-181. Elsevier, 2005.
37. F. Polack, S. Stepney, H. Turner, P. Welch, and F. Barnes. An architecture for modelling emergence in CA-like systems. In M. S. Capcarrere, A. A. Freitas, P. J. Bentley, C. G. Johnson, and J. Timmis, editors, Advances in Artificial Life: ECAL 2005, Canterbury, UK, September 2005, volume 3630 of LNAI, pages 433-442. Springer, 2005.
38. P. Prusinkiewicz and A. Lindenmayer. The Algorithmic Beauty of Plants. Springer, 1990.
39. P. Rendell. Turing Universality of the Game of Life. In A. Adamatzky, editor, Collision-Based Computing. Springer, 2002.
40. C. W. Reynolds. Flocks, herds, and schools: A distributed behavioral model. Computer Graphics (SIGGRAPH '87 Conference Proceedings), 21(4):25-34, 1987.
41. E. M. A. Ronald, M. Sipper, and M. S. Capcarrère. Testing for emergence in artificial life. In D. Floreano, N. J.-D., and F. Mondada, editors, Advances in Artificial Life: 5th European Conference, volume 1674 of LNCS, pages 13-20. Springer, 1999.
42. S. Schneider, A. Cavalcanti, H. Treharne, and J. Woodcock. Bloody CSP: a layered behavioural model of platelets. In ICECCS 2006. IEEE, 2006. (these proceedings).
43. S. Stepney, D. Cooper, and J. Woodcock. More powerful Z data refinement: pushing the state of the art in industrial refinement. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 1998, volume 1493 of LNCS, pages 284-307. Springer, 1998.
44. S. Stepney, D. Cooper, and J. Woodcock. An electronic purse: Specification, refinement, and proof. Technical monograph PRG-126, Oxford University Computing Laboratory, July 2000.
45. H. Turner and S. Stepney. Rule migration: Exploring a design framework for modelling emergence in CA-like systems. In ECAL Workshop on Unconventional Computing, 2005.
46. H. Turner, S. Stepney, and F. Polack. A simulation environment for emergent properties (extended abstract). In ECCS 2005: European Conference on Complex Systems, Paris, France, 2005.
47. H. Turner, S. Stepney, and F. Polack. Rule migration: A design framework for emergence. International Journal of Unconventional Computing, 2(4), 2006.
48. R. Weaver, G. Despotou, T. Kelly, and J. McDermid. Combining software evidence - arguments and assurance. In REBSE05, St Louis, USA. ACM, 2005.
49. P. Welch and F. Barnes. Mobile Barriers for occam-pi: Semantics, Implementation and Application. In J. Broenink, H. Roebbers, J. Sunter, P. Welch, and D. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 289-316. IOS Press, Sept. 2005.
50. P. H. Welch, F. R. M. Barnes, and F. A. C. Polack. Communicating complex systems. In ICECCS 2006. IEEE, 2006. (these proceedings).