Proceedings of the 9^th Conference of Open Innovations Community FRUCT

Petrozavodsk, Russia, 25-29 April 2011

Publisher: State University of Aerospace Instrumentation (SUAI)

ISBN 978-5-8088-0606-1. 266 p.

Editors: Sergey Balandin and Andrei Ovchinnikov

List of Full Papers

Authors	Title	Pages
Alekseeva Marina, Dashkova Ekaterina	Model Checking Approach to the Correctness Proof of Complex Systems	3-6
Andreeva Stanislava, Koblyakova Ludmila, Stepanov Victor	The Testing of SpaceWire Network Switching Devices	7-12
Anisimov Alexey, Gonchukov Pavel, Turlikov Andrey, Andreev Sergey	Energy Ef_cient Operation of a Wireless Communication System	13-22
Bazanov Peter, Jarvenpaa Tony, Schrader Martin	Adaptive Gaze Estimation Based on Fusion of Starburst Algorithm with Object Detection and Natural Features Tracking	23-27
Bespalov Denis, Serebryakov Gregory	Location-based Services in Public Buildings: LIST for N900	28-33
Borodinsky Alexey	Wireless IPTV over WiMAX	34-40
Gavrin Eugene	Investigation of Flow Graphs Optimization Methods Used in Optimizing Compilers	41-44
Koblyakova Ludmila, Khramenkova Ksenia	Administration and Con_guration of Communication SpaceWire Network	45-50
Korobkov Ilya	Embedded Systems' Transport Protocol Choosing for Modelling over the SpaceWire Model	51-62
Korzun Dmitry, Galov Ivan, Kashevnik Alexey, Shilov Nikolay, Krinkin Kirill, Korolev Yury	Blogging in the Smart Conference System	63-73
Korzhuk Victoria, Lebedev Ilya	The Patterns of Formalization of Nature-language Messages in IT Security Monitoring Systems in Open Computer Networks	74-81
Lomov Alexandr, Vanag Pavel, Korzun Dmitry	Multilingual Ontology Library Generator for Smart-M3 Application Development	82-91
Malichenko Dmitry	Optimization of Network Overhead for Transport Layer Coding	92-95
Marchenko Svetlana	SVG Player Project	96-100
Martynov Nikita	RMAP Protocol SystemC Model: Detailed Description and Modelling Features	101-112
Pyattaev Alexander, Andreev Sergey, Koucheryavy Yevgeni	Design and Development of a Client Relay System Level Simulator	113-119
Pyattaev Alexander, Sadovnikov Vladimir	A Solver-Resistant Challenge Response Spam Protection System	120-126
Ronzhin Alexander	An Audiovisual System of Monitoring of Participants in the Smart Meeting Room	127-132
Setkov Alexander	Matching Quality Investigation of Motion Estimation Algorithms	133-140
Smirnov Pavel Katkov Yuri, Pochinok Irina, Muromtsev Dmitry,	Poster Presentations Management System	141-144
Smirnov Michail, Ilina Diana, Lysenkov Iliya	Algorithms for Determining the Centre of the Pupil for the Detection of Eye Movements for Work with Mobile Devices	145-148
Vasilev Boris	Usableness Improving for the Nonlocal Means Image De-noising Algorithm to Use Them on Low-powered Embedded Computing Units	149-153
Zaiceva Diana, Galov Ivan, Korzun Dmitry	A Blogging Application for Smart Spaces	154-163
Kachur Oleksandr, Sayenko Vladimir	Differences in Automated Testing on MeeGo and Android Mobile Platforms	193-194
Mironov Iliya, Ilina Diana	Text Recognition Using OpenCV Libraries for Devices Based on MeeGo	195-198
Petrov Vitaly, Linsky Evgeny	SketchIt: Simple Vector Scheme Editor for Mobile Devices with Touch Screen	199-204
Samoryadova Anna, Bogachev Andrew, Shiryaev Pavel, Kulakov Kirill	MySocials Gallery: Application for Browsing Galleries of Images from Social Networks	205-212
Ivanov Sergey, Smirnov Michail, Tarasov Petr	Video Capturing Service with Social Networks Functionality for MeeGo	213-216
Paramonov Ilya, Vasilev Andrew, Kandaurov Oleg, Kulikov Alexander	HiveMind Collaborative Mind Map Editor: Architecture and Implementation of Network Subsystem	217-222
Zaharov Sergey, Shiryaev Pavel, Samoryadova Anna, Kulakov Kirill	MySocials Libraries: Uni_ed Access to Services of Social Networks	223-230