Items where Author is Urbanski, Mariusz
Jump to: 2006 Number of items: 3.
2006Basso, 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 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. Technical Report. CoreGRID. |