dblp: Transactions on Computational Science, Volume 15

Arun Prakash, Zoltan Theisz, Ranganai Chaparadza: Formal Methods for Modeling, Refining and Verifying Autonomic Components of Computer Networks. 1-48

Cem Safak Sahin, M. Ümit Uyar, Stephen Gundry, Elkin Urrea: Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks. 49-73

Cong-Vinh Phan: Data Intensive Distributed Computing in Data Aware Self-organizing Networks. 74-107

Pruet Boonma, Junichi Suzuki: Accelerated Evolution: A Biologically-Inspired Approach for Augmenting Self-star Properties in Wireless Sensor Networks. 108-129

Emil Vassev, Serguei A. Mokhov: Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL - A Distributed MARF Case Study. 130-157

Antonio Manzalini, Nermin Brgulja, Corrado Moiso, Roberto Minerva: Autonomic Nature-Inspired Eco-systems. 158-191

Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca: A Logical Approach to Data-Aware Automated Sequence Generation. 192-216

Transactions on Computational Science, Volume 15, 2012