Rigorous Development of Ambient Campus Applications that can Recover from Errors Budi Arief, Alexei Iliasov, and Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE

First Page		Document Content
Date: 2007-07-13 11:23:26 Computing Systems science Engineering Multi-agent systems Artificial intelligence Complex systems theory Simulation Ambient calculus Process calculi Agent-based model Ambient intelligence Software agent		Rigorous Development of Ambient Campus Applications that can Recover from Errors Budi Arief, Alexei Iliasov, and Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE Add to Reading List Source URL: rodin.cs.ncl.ac.uk Download Document from Source Website File Size: 93,61 KB Share Document on Facebook

	LECTURE 2 Information theory for complex systems Stefan Thurner www.complex-systems.meduniwien.ac.at DocID: 1xVpK - View Document
	Title: Formal Synthesis of Control Strategies for Dynamical Systems Abstract: In control theory, complex models of physical processes, such as systems of differential equations, are analyzed or controlled from simple s DocID: 1tHpi - View Document
	J ournal of Statistical Mechanics: Theory and Experiment Thomas Gilbert Center for Nonlinear Phenomena and Complex Systems, Universit´e Libre de DocID: 1sst5 - View Document
	Social and Economic Computing Stealing Reality: When Criminals Become Data Scientists (or Vice Versa) DocID: 1ru8y - View Document
	A Python-Based Simulation Code Repository for Complex Systems Education Hiroki Sayama http://pycx.sf.net/ DocID: 1rtNK - View Document