Browse by People

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [feed] RSSPD
Group by: Item Type | No Grouping
Number of items: 3.

Book Section

Bolotov, Alexander and Lupkowski, P. and Urbanski, Mariusz (2006) Search and Check: problem solving by problem reduction. In: Artificial Intelligence and Soft Computing ICAISC 2006: 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings. Polish Neural Networks Society.

Basso, Alessandro and Bolotov, Alexander and Basukoski, Artie and Getov, Vladimir and Henrio, Ludovic and Urbanski, Mariusz (2006) Specification and verification of reconfiguration protocols in grid component systems. In: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006). IEEE, Los Alamitos, USA, pp. 450-455. ISBN 1424401968

Monograph

Basso, Alessandro and Bolotov, Alexander and Basukoski, Artie and Getov, Vladimir and Henrio, Ludovic and Urbanski, Mariusz (2006) Specification and verification of reconfiguration protocols in grid component systems. Technical Report. CoreGRID.

This list was generated on Tue Apr 21 10:53:51 2015 BST.