Lecture Notes in Computer Science 4263

Transcription

1 Lecture Notes in Computer Science 4263 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany

2 Albert Levi Erkay Savaş Hüsnü Yenigün Selim Balcısoy Yücel Saygın (Eds.) Computer and Information Sciences ISCIS th International Symposium Istanbul, Turkey, November 1-3, 2006 Proceedings 13

3 Volume Editors Albert Levi Sabancı University, Istanbul, Turkey Erkay Savaş Sabancı University, Istanbul, Turkey Hüsnü Yenigün Sabancı University, Istanbul, Turkey Selim Balcısoy Sabancı University, Istanbul, Turkey Yücel Saygın Sabancı University, Istanbul, Turkey Library of Congress Control Number: CR Subject Classification (1998): H, C, B, D, F, I LNCS Sublibrary: SL 1 Theoretical Computer Science and General Issues ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2006 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /

4 Preface These are the proceedings of the 21st International Symposium on Computer and Information Sciences (ISCIS 2006) held in İstanbul, Turkey, November 1 3, ISCIS 2006 was organized by the Faculty of Engineering and Natural Sciences of Sabancı University. These proceedings include updated versions of 106 papers selected by the program committee for presentation at the symposium. The increasing competition for presenting at the symposium, which relies on the success of previous ISCIS symposia, has led to many excellent papers and a higher standard overall. From a record-breaking 606 submissions, scheduling constraints dictated that only 106 papers could be accepted, resulting in a 17.5% acceptance rate. The program committee and external reviewers worked very hard and went through all submissions meticulously to select the best in a limited time frame. The selection process was especially hard when some of the good submissions could not be selected for publication due to space and time limitations. Another interesting fact about the submissions is that they were by authors from 41 countries covering all habitable continents (excluding Antarctica). This is a clear indication of the ever-increasing popularity of ISCIS symposia among researchers all around the world as a medium to share and disseminate the results of their research activities. In addition to the accepted papers, there were five invited presentations by leading researchers in their fields, three of which also appear as invited papers in this volume. The talk by Manfred Broy of the Technische Universität München, Germany, was titled Requirements Engineering as a Key to Holistic Software Quality. The honorary chair of ISCIS 2006, Erol Gelenbe of Imperial College, London, gave a talk on Analysis of Automated Auctions. Daniel Thalmann of the Ecole Polytechnique Fédérale de Lausanne, Switzerland delivered a talk titled Advanced Mixed Reality Technologies for Surveillance and Risk Prevention Applications. These invited talks also appear as papers in this volume. Eric Badiqué of the European Commission, Belgium gave an informative speech on the European Union s Seventh Framework Programme. His speech was titled Information and Communication Technologies in the EU s Seventh Framework Programme. Finally, Jacques G. Verly from the Université deliège, Belgium, delivered a talk titled Problems and Challenges of Image-Guided Neurosurgical Navigation and Intervention. As always, ISCIS 2006 attracted submissions reporting on diverse aspects of computer and information sciences such as algorithms and theory, bioinformatics, computational intelligence, computer architecture, computer graphics, computer networks, computer vision, data mining, databases, embedded systems, information retrieval, mobile computing, parallel and distributed computing, performance evaluation, security and cryptography, and software engineering.

5 VI Preface Many individuals and organizations contributed to making ISCIS 2006 a stimulating technical event. First and foremost, we would like to thank all authors who submitted papers, making the symposium possible, and the authors of accepted papers for their cooperation. The program committee and external reviewers deserve heartfelt thanks for their hard work and for sharing their expertise in the selection process. We are indebted to the invited speakers for their interesting and stimulating talks, which were the highlights of the symposium. Special compliments go to the faculty members and graduate students at the Faculty of Engineering and Natural Sciences, the staff at the Research and Graduate Policies of Sabancı University, and Dekon Congress & Tourism. We would like to thank the Scientific and Technological Research Council of Turkey (TÜBİTAK), the Turkey Section of the Institute of Electrical and Electronics Engineers (IEEE), and Sabancı University for their financial support. Last but not least, we would like to express our gratitude to Erol Gelenbe for his support, guidance and inspiration. November 2006 Albert Levi Erkay Savaş Hüsnü Yenigün Selim Balcısoy Yücel Saygın

6 Organization ISCIS 2006 was organized by the Faculty of Engineering and Natural Sciences, Sabancı University. Honorary Chair Erol Gelenbe Imperial College, UK Conference and Program Committee Chairs Albert Levi Erkay Savaş Hüsnü Yenigün Selim Balcısoy Yücel Saygın Program Committee Abdullah Uz Tansel Adnan Yazıcı Alain Jean-Marie Alex Orailoğlu Ali Aydın Selçuk Andrea D Ambrogio Athena Vakali Attila Gürsoy Bakhadyr Khoussainov Berç Rustem Berk Sunar Berrin Yanıkoğlu Bülent Örencik Carlos Juiz Cem Say Cevdet Aykanat Çağatay Tekmen Damla Turgut Daniel Thalmann Danny Soroker City University of New York, USA Middle East Technical University, Turkey LIRMM/INRIA/CNRS, France University of California, USA Bilkent University, Turkey University of Rome Tor Vergata, Italy Aristotle University of Thessaloniki, Greece Koç University, Turkey University of Auckland, New Zealand Imperial College, UK Worcester Polytechnic Institute, USA İstanbul Technical University, Turkey University of the Balearic Islands, Spain Boğaziçi University, Turkey Bilkent University, Turkey Qualcomm, USA University of Central Florida, USA EPFL, Switzerland IBM T.J. Watson Research Center, USA

7 VIII Organization Doron Peled University of Warwick, UK Ethem Alpaydın Boğaziçi University, Turkey Eylem Ekici Ohio State University, USA Fatih Alagöz Boğaziçi University, Turkey Fatoş Yarman-Vural Middle East Technical University, Turkey Fevzi Belli University of Paderborn, Germany Francisco Rodriguez CINVESTAV, Mexico Gabriel Ciobanu Romanian Academy, Romania Giuseppe Iazeolla University of Rome Tor Vergata, Italy Guy Vincent Jourdan University of Ottawa, Canada Gültekin Özsoyoğlu Case Western Reserve University, USA Hakan Erdoğan Iain Duff CCLRC Rutherford Appleton Laboratory, UK Igor S. Pandzic University of Zagreb, Croatia İ. Budak Arpınar University of Georgia, USA İbrahim Körpeoğlu Bilkent University, Turkey Javier Barria Imperial College, UK Javier Garcia Villalba Complutense University of Madrid, Spain Jean-Michel Fourneau Versailles Saint-Quentin-en-Yvelines University, France Jeremy Pitt Imperial College, UK Johann Großschädl IAIK TU Graz, Austria Kainam Tom Wong University of Waterloo, Canada Kanchana Kanchanasut Asian Institute of Technology, Thailand Kemal Oflazer Khaldoun El Agha LRI, Paris-Sud University, France Lale Akarun Boğaziçi University, Turkey Mariacarla Calzarossa University of Pavia, Italy Mehmet Keskinöz Mehmet Orgun Macquarie University, Australia Mohamed Elfeky Google, USA Mohand Said Hacid University of Lyon, France Mustafa Ünel Müjdat Çetin Nahid Shahmehri Linköping University, Sweden Nassir Navab Technical University of Munich, Germany Onn Shehory IBM Research Labs, Israel Özgür B. Akan Middle East Technical University, Turkey Özgür Erçetin Peter Harrison Imperial College, UK Philippe Jacquet INRIA, France Philippe Nain INRIA, France Pınar Yolum Boğaziçi University, Turkey Pierre Flener Uppsala University, Sweden Robert P. Kurshan Cadence, USA

8 Organization IX Robert Wrembel Sibel Adalı Şahin Albayrak Şule Gündüz Öğüdücü Tamer Özsu Thomas Pedersen Thomas Strang Tolga Çapın Tonguç Ünlüyurt Tuna Tuğcu Ufuk Çağlayan Uğur Çetintemel Uğur Güdükbay Uğur Sezerman Ümit Uyar Vedat Coşkun Yusuf Pisan Poznan University of Technology, Poland Rensselaer Polytechnic Institute, USA Technical University of Berlin, Germany İstanbul Technical University, Turkey University of Waterloo, Canada DLR, Germany and University of Innsbruck, Austria Nokia, USA Boğaziçi University, Turkey Boğaziçi University, Turkey Brown University, USA Bilkent University, Turkey City University of New York, USA Işık University, Turkey University of Technology Sydney, Australia Local Organizing Committee Alisher Kholmatov Başak Alper C. Emre Sayın İlknur Durgar El-Kahlout Özlem Çetinoğlu Selim Volkan Kaya Yılmaz Can Özmen Congress Secretariat Dekon Congress & Tourism İstanbul, Turkey Additional Referees A. Esat Hızır Abdül Halim Zaim Abdülhakim Ünlü Achille Peternier Adnan Burak Gürdağ Adrian Tanasescu Afshin Akhsahni Ahmet Koltuksuz Ahmet Murat Özdemiray Ahmet Onat Albert Özkohen Ahmet Şen

9 X Organization Alejandra Garcia Rojas Aleks Trifunovic Ali Cevahir Ali Doğru Ali Vahit Şahiner AliY.Duale Alisher Kholmatov Alper Küçükural Alper Rıfat Uluçınar Ana Belen Petro Balaguer Andreas Keil Apinun Tunpan Ashok Argent-Katwala Ashutosh Saxena Ata Türk Attila Yavuz Ayhan Aydın Ayhan Bozkurt Ayhan Demiriz Aylin Kantarcı Aziz Sözer Bahar Kaynar Benhimane Selim Berkant Barla Cambazoğlu Boanerges Aleman-Meza Bülent Çatay Burçin Bozkaya Burçin Körpeoğlu Can Özturan Carlos Guerrero Cemalettin Çiftçi Cemil Ulu Chanathip Namprepre Christopher Sentelle Claudiu Duma Colette Johnen Damien Maupu Daniel Raunhardt Daniele Gianni Daniele Tessera David Coudert David McBride David Thornley Deniz Tunçalp Deniz Yüret Derya Özkan Devrim Ünal Dipnarayan Guha Dumitru Roman Ediz Saykol Ehsan Arbabi Ekrem Serin Elif Ayiter Emin Anarım Emin Murat Esin Emre Özer Ender Özcan Enes Eryarsoy Engin Demir Ergun Akleman Erhan Budak Erhan İnce Erol Özgür Ertuğrul Kartal Tabak Evimaria Terzi Evren Karaca Evren Önem Eyüphan Bulut Fabrice Huet Fangguo Zhang Fatma Arpınar Fazlı Can Fehmi Chebil Fikret Gürgen Francisco Perales Franck Quessette Frederic Vexo George Pallis Glocker Ben Gökçe Görbil Grigorios Zachariadis Gürdal Ertek Gürhan Küçük Gürkan Gür Gürkan Yardımcı Hakan Tora Hakim Badis Hakim Hacid Halil İbrahim Cüce Halit Oğuztüzün

10 Organization XI Haluk Bingöl Haluk Gümüşkaya Handan Gül Çalıklı Harini Kulatunga Hasan Ateş Hasan Demirel Hassan Abou Rajab Hatice Tekiner Hayretdin Bahşi Hazem Elmeleegy Hervé Rivano Hidayet Aksu Hitay Özbay Hofhauser Andreas Huaxin Zhang Hüseyin Aygün Hüseyin Özgür Tan Hüsnü Türker Şahin Ioan Toma Işık Aybay İbrahim Tekin İlker Oyman İmran Ergüler Jacek Kopecky Jean-Marc Desharnais Jens-Peter Kaps Jeong-Woo Lee Jonathan Maïm JongMin Jeong Joonsang Baek Jose-Luis Sanchez-Romero Justin Pearson Kaan Bür Kamer Kaya Kasım Sinan Yıldırım Kayhan Erciyes Kemal Bıçakçı Kemal Kılıç Kemalettin Erbatur Kenneth Dockser Kerem Bülbül Kerim Yıldırım Krzysztof Walkowiak Kutluk Özgüven Laurent Marsan Levent Kandiller Li Wei Luisa Massari M. Şükrü Kuran Magnus Ågren Marcin Paprzycki Mahmut Şamil Sağıroğlu Malik Magdon-Ismail Manfred Aigner Manuel González Hidalgo María José Abásolo Marius Minea Martin Feldhofer Martin Groher Martin Karresand Melek Diker Yücel Melike Erol Meltem Turhan Mert Akdere Metin Koç Metin Tekkalmaz Michael Stollberg Michel Dayde Milagros Garcia Mithat Dağlar Mohamed Eltabakh Mohamed Shehab Mohammad Zubair Ahmad Murat Ak Murat Göksedef Murat Şensoy Mustafa Gök Mustafa Kıraç Mustafa Sert Nesime Tatbul Nusrettin Güleç Oğuz Ergin Oğuz Dönmez Oliver Kutter Orcun Mayuk Osman Ünsal Özgün Babür Özgür Gürbüz Özgür Kafalı Özlem Keskin

11 XII Organization Öznur Özkasap Patrick Salamin Peter McBrien Pınar Şenkul Poompat Saengudomlert Prasun Choudhury Renaud Ott Reto Krummenacher Reyhan Aydoğan Ricardo Lent Ronan Boulic Rongquan You Roy Küçükateş Said Kalkan Samir Tartir Samira Hammiche Samrat S. Batth Sandrine Vial Sayir Jossy Sebastien Schertenleib Selçuk Baktır Selçuk Sümengen Selim Çıracı Selim Volkan Kaya Sema Oktuğ Semih Bilgen Serdar Ayaz Serdar Taşıran Serhat Yeşilyurt Shameem Shah Nawaz Soraya Zertal Stefan Tillich Stephen Jarvis Steven Martin Süleyman Tosun Suresh Chitturi Syed Amjad Ali Ş. İlker Birbil Taneli Mielikäinen Tayfun Küçükyılmaz Theodosios Theodosiou Tina Lindgren Tolga Can Tuğkan Tuğlular Turgay Karlıdere Türker Yılmaz Uğur Ayan Uli Harder Veysi İşler Viiveke Fåk Vladimir Levin Wei Jiang William Knottenbelt Xavier Carcelle Y. İlker Topçu Yagoubi Belabbas Yakup Yıldırım Yiğithan Dedeoğlu Ying Xing Young Ik Eom Yusuf Sinan Akgül Zehra Çataltepe Sponsoring Institutions The Scientific and Technological Research Council of Turkey (TÜBİTAK) Sabancı University Institute of Electrical and Electronics Engineers (IEEE), Turkey Section International Federation for Information Processing (IFIP)

12 Table of Contents Invited Papers and Talks Analysis of Automated Auctions... 1 Erol Gelenbe Advanced Mixed Reality Technologies for Surveillance and Risk Prevention Applications Daniel Thalmann, Patrick Salamin, Renaud Ott, Mario Gutiérrez, Frédéric Vexo Requirements Engineering as a Key to Holistic Software Quality Manfred Broy Invited Talks Problems and Challenges of Image-Guided Neurosurgical Navigation and Intervention Jacques G. Verly, Martin Kavec, Lara M. Vigneron, Christophe Phillips, Romain Boman, Vincent Libertiaux, Jean-Philippe Ponthot, Serge Cescotto, Pierre Robe, Didier Martin, David Wikler, Marc Levivier, Jacques Brotchi Information and Communication Technologies in the EU s Seventh Framework Programme Eric Badiqué Algorithms and Theory The Greedy Prepend Algorithm for Decision List Induction Deniz Yuret, Michael de la Maza Heuristics for Minimum Brauer Chain Problem Fatih Gelgi, Melih Onus Dispatching Rules for Allocation of Component Types to Machines in the Automated Assembly of Printed Circuit Boards Mehmet Bayram Yildirim, Ekrem Duman, Dilek Duman

13 XIV Table of Contents Heuristic Approach to Schedule Crew for a Regional Airline Byung Tech Kim, Young Hoon Lee Automatic Segmentation of the Liver in CT Images Using a Model of Approximate Contour Marcin Ciecholewski, Krzysztof Dȩbski Unambiguous 3D Measurements by a Multi-period Phase Shift Method E. Lilienblum, B. Michaelis Hybrid Techniques for Dynamic Optimization Problems Demet Ayvaz, Haluk Topcuoglu, Fikret Gurgen Minimizing the Search Space for Shape Retrieval Algorithms M. Abdullah-Al-Wadud, Oksam Chae Decision Support for Packing in Warehouses Gürdal Ertek, Kemal Kilic A Fast Partial Distortion Elimination Algorithm Using Selective Matching Scan Jong-Nam Kim, Tae-Kyung Ryu, Yongjae Jeong Variable Neighborhood Search for the Orienteering Problem Zülal Sevkli, F. Erdoğan Sevilgen Bioinformatics Extracting Gene Regulation Information from Microarray Time-Series Data Using Hidden Markov Models Osman N. Yoğurtçu, Engin Erzin, Attila Gürsoy Asymptotical Lower Limits on Required Number of Examples for Learning Boolean Networks Osman Abul, Reda Alhajj, Faruk Polat Modified Association Rule Mining Approach for the MHC-Peptide Binding Problem Galip Gürkan Yardımcı, Alper Küçükural, Yücel Saygın, Uğur Sezerman Prediction and Classification for GPCR Sequences Based on Ligand Specific Features Bekir Ergüner, Özgün Erdoğan, Uğur Sezerman

14 Table of Contents XV An Efficient Algorithm for the Identification of Repetitive Variable Motifs in the Regulatory Sequences of Co-expressed Genes Abanish Singh, Nikola Stojanovic Computational Intelligence An Intelligent Shopping Agent for Optimal Purchasing Decision on the Semantic Web Hak-Jin Kim, Wooju Kim, Jungmyong Kim Adapting the Pyramid Technique for Indexing Ontological Data Övünç Öztürk, Tuğba Özacar, Murat Osman Ünalır, Ata Önal Comparison of Different Neural Networks Performances on Motorboat Datasets M. Fatih Amasyalı, Mert Bal, Uğur B. Çelebi, Serkan Ekinci, U. Kaşif Boyacı Dynamic Role Assignment for Multi-agent Cooperation In-Cheol Kim Lexical Ambiguity Resolution for Turkish in Direct Transfer Machine Translation Models A. Cüneyd Tantuğ, Eşref Adalı, Kemal Oflazer Design of a Feature Set for Face Recognition Problem Emre Akbaş, Fatoş T.Yarman-Vural Computer Architecture Low-Cost Microarchitectural Techniques for Enhancing the Prediction of Return Addresses on High-Performance Trace Cache Processors Yunhe Shi, Emre Özer, David Gregg Recovery Logics for Speculative Update Global and Local Branch History Jong Wook Kwak, Chu Shik Jhon An ILP Formulation for Task Scheduling on Heterogeneous Chip Multiprocessors Suleyman Tosun, Nazanin Mansouri, Mahmut Kandemir, Ozcan Ozturk

15 XVI Table of Contents Hardware Designs for Local Alignment of Protein Sequences Mustafa Gök, Çağlar Yılmaz A New Model of BAM: Alpha-Beta Bidirectional Associative Memories María Elena Acevedo-Mosqueda, Cornelio Yáñez-Márquez, Itzamá López-Yáñez Computer Graphics PARM: Data Structure for Efficient Volume Ray Casting Sukhyun Lim, Byeong-Seok Shin Triangle Propagation for Mass-Spring Chain Algorithm Alpaslan Duysak Hardware Acceleration of Terrain Visualization Using ef-buffers Hyun-Duk Chang, Byeong-Seok Shin Computer Simulation of Woven Fabric Defects Based on Faulty Yarn Photographs Hakan Özdemir, Güngör Başer Bidirectional Distancemap for Efficient Volume Ray Casting Sukhyun Lim, Byeong-Seok Shin Segmenting Free-Form 3D Objects by a Function Representation in Spherical Coordinates Olcay Sertel, Cem Ünsalan Applying Natural Neighbor Coordinates for Electromagnetic Tracker Calibration Yi Li, Weidong Chen, Dongming Lu, Lei Zhao Minkowski Sum Based Octree Generation for Triangular Meshes Engin Deniz Diktaṣ, Ali Vahit Ṣahiner Hardware-Oriented Visualisation of Trees C. Rebollo, I. Remolar, M. Chover, J. Gumbau A Multi-resolution Technique for Real-time Animation of Large Crowds Ingu Kang, Young Ik Eom, JungHyun Han A Framework for Working with Digitized Cultural Heritage Artifacts Can Ozmen, Selim Balcisoy

16 Table of Contents XVII Computer Networks On the Stability of Application-Layer Multicast Tree Ke Xu, Jiangchuan Liu, Lizheng Fu, Chunyu Liu Extended Authentication Integrating Scheme for Beyond 3G Wireless Networks JongMin Jeong, GooYeon Lee, SangJae Moon A New Function for Optimization of Working Paths in Survivable MPLS Networks Krzysztof Walkowiak HIMUTSIS: Hierarchical Multi-tier Adaptive Ad-Hoc Network Security Protocol Based on Signcryption Type Key Exchange Schemes Attila Altay Yavuz, Fatih Alagoz, Emin Anarim Dual-Level Traffic Smoothing Technique over Switched Ethernet for Hard Real-Time Communication Hai Jin, Minghu Zhang, Pengliu Tan A Model of a Packet Aggregation System Jung Ha Hong, Oleg Gusak, Neal Oliver, Khosrow Sohraby On the Use of Principle Component Analysis for the Hurst Parameter Estimation of Long-Range Dependent Network Traffic Melike Erol, Tayfun Akgul, Sema Oktug, Suleyman Baykut Throughput Analysis of UDP and VPN Traffic in g Networks Süheyla Ikiz, Y.M. Erten Path Loss Rate Driven Burst Assembly in OBS Networks Burak Kantarci, Sema Oktug Computer Vision Pixel Domain Spatio-temporal Denoising for Archive Videos M. Kemal Güllü, Oğuzhan Urhan, Sarp Ertürk Fast Sub-pixel Motion Estimation by Means of One-Bit Transform Orhan Akbulut, Oğuzhan Urhan, Sarp Ertürk Neighborhood Decomposition of Convex Structuring Elements for Mathematical Morphology on Hexagonal Grid Syng-Yup Ohn

17 XVIII Table of Contents Block Motion Estimation Using Modified Two-Bit Transform Begüm Demir, Sarp Ertürk 3D Face Tracking Using Appearance Registration and Robust Iterative Closest Point Algorithm Fadi Dornaika, Angel D. Sappa Video as Input: Spiral Search with the Sparse Angular Sampling Tatiana V. Evreinova, Grigori Evreinov, Roope Raisamo An Adept Segmentation Algorithm and Its Application to the Extraction of Local Regions Containing Fiducial Points Erhan AliRiza İnce, Syed Amjad Ali Lossless Compression of Volumetric Medical Data Samy Ait-Aoudia, Fatma-Zohra Benhamida, Mohamed-Azzeddine Yousfi Identification of Luminal and Medial Adventitial Borders in Intravascular Ultrasound Images Using Level Sets Ali Iskurt, Sema Candemir, Yusuf Sinan Akgul Data Mining Prediction of Moving Object Location Based on Frequent Trajectories Miko laj Morzy A Framework for Visualizing Association Mining Results Gürdal Ertek, Ayhan Demiriz Databases Credential-Based Policies Management in an Access Control Framework Protecting XML Resources Konstantina Stoupa, Zisis Simeoforidis, Athena Vakali Evaluating Proposals in Web Services Negotiation Yonglei Yao, Fangchun Yang, Sen Su Nested Bitemporal Relational Algebra Abdullah Uz Tansel, Canan Eren Atay

18 Table of Contents XIX A Protocol for Reconciling Recovery and High-Availability in Replicated Databases J.E. Armendáriz-Iñigo, F.D. Muñoz-Escoí, H. Decker, J.R. Juárez-Rodríguez, J.R. González de Mendívil Migrating a Hierarchical Legacy Database Application onto an XML-Based Service-Oriented Web Platform Özgür Yürekten, Kıvanç Dinçer, Berk Akar, Müberra Sungur, Elif Kurtaran Özbudak Embedded Systems Power-Aware Processors for Wireless Sensor Networks Gürhan Küçük, Can Başaran Effects of Asynchronism and Neighborhood Size on Clustering in Self-propelled Particle Systems Andaç T. Şamiloğlu, Veysel Gazi, A. Buğra Koku Virtual-ROM: A New Demand Paging Component for RTOS and NAND Flash Memory Based Mobile Devices Hyojun Kim, Jihyun In, DongHoon Ham, SongHo Yoon, Dongkun Shin Model-Driven Development of RTOS-Based Embedded Software Ji Chan Maeng, Dongjin Na, Yongsoon Lee, Minsoo Ryu Information Retrieval A Target Oriented Agent to Collect Specific Information in a Chat Medium Cemal Köse, Özcan Özyurt Algorithms for Within-Cluster Searches Using Inverted Files Ismail Sengor Altingovde, Fazli Can, Özgür Ulusoy Effect of Inverted Index Partitioning Schemes on Performance of Query Processing in Parallel Text Retrieval Systems B. Barla Cambazoglu, Aytul Catal, Cevdet Aykanat Exploiting Social Networks Dynamics for P2P Resource Organisation Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia

19 XX Table of Contents Security Considerations in e-cognocracy Joan Josep Piles, José Luis Salazar, José Ruíz, José María Moreno-Jiménez Mobile Computing A Dynamic Service Range Management Strategy for Improving Mobile Multicast Protocol Performance Ping Wang, Yunze Cai, Jinjie Huang, Xiaoming Xu A Survey of Major Challenges and Future Directions for Next Generation Pervasive Computing Yong-Bin Kang, Yusuf Pisan Camera-Based Virtual Environment Interaction on Mobile Devices Tolga Çapın, Antonio Haro, Vidya Setlur, Stephen Wilkinson A Cost Model for an Adaptive Cell-Based Index Structure Wonik Choi, Jinseok Chae, Nam-Joong Kim, Mee Young Sung Positioning Method for Outdoor Systems in Wireless Sensor Networks Namkoo Ha, Kijun Han Parallel and Distributed Computing Formal Description of a Runtime Infrastructure for Automatic Distribution of Programs Omid Bushehrian, Saeed Parsa Super-Peer Selection Based Framework Using Dynamic Capacity and Similarity Suhong Min, Dongsub Cho A General Graph Model for Representing Exact Communication Volume in Parallel Sparse Matrix Vector Multiplication Aleksandar Trifunović, William Knottenbelt Safety of Rollback-Recovery Protocol Maintaining WFR Session Guarantee Jerzy Brzeziński, Anna Kobusińska, Jacek Kobusiński 3-D Parallel Implementation of the Wave-Equation PML Algorithm Using Distributed System Oyku Akaydin, Omar Ramadan

20 Table of Contents XXI Trustworthy Distributed Algorithm Design to Defend Distance Cheating in Link-Weighted ALM Dan Li, Jianping Wu, Yong Cui, Jiangchuan Liu, Ke Xu jeqn a Java-Based Language for the Distributed Simulation of Queueing Networks Andrea D Ambrogio, Daniele Gianni, Giuseppe Iazeolla Exact Performance Measures for Peer-to-Peer Epidemic Information Diffusion Öznur Özkasap, Emine Şule Yazıcı, Selda Küçükçifçi, Mine Çağlar A Leader Election Protocol for Timed Asynchronous Distributed Systems Amirhasan Amintabar, Alexander Kostin, Ljudmila Ilushechkina Performance Evaluation Computing the Steady-State Distribution of G-networks with Synchronized Partial Flushing J.M. Fourneau, F. Quessette Worst-Case Analysis of Router Networks with Rival Queueing Models Nalan Gülpınar, Pete Harrison, Berç Rustem Security and Cryptography An Anomaly Intrusion Detection Approach Using Cellular Neural Networks Zhongxue Yang, Adem Karahoca A Lookup Table Model for Time-Memory Trade-Off Attacks on Binary Additive Stream Ciphers Imran Erguler, Emin Anarim Improved Merkle Cryptosystem (IMC) Attila Altay Yavuz, Emin Anarim, Fatih Alagoz Threshold Cryptography Based on Asmuth-Bloom Secret Sharing Kamer Kaya, Ali Aydın Selçuk, Zahir Tezcan

21 XXII Table of Contents Capture Resilient ElGamal Signature Protocols Hüseyin Acan, Kamer Kaya, Ali Aydın Selçuk A New Efficient Protocol for Authentication and Certificate Status Management in Personal Area Networks Chul Sur, Jong-Phil Yang, Kyung Hyune Rhee A New Image Encryption Algorithm Based on One-Dimensional Polynomial Chaotic Maps Amir Akhavan, Hadi Mahmodi, Afshin Akhshani A Non-committing Encryption Scheme Based on Quadratic Residue Feiyu Lei, Wen Chen, Kefei Chen Biometric Cryptosystem Using Online Signatures Alisher Kholmatov, Berrin Yanikoglu Finite Field Polynomial Multiplication in the Frequency Domain with Application to Elliptic Curve Cryptography Selçuk Baktır, Berk Sunar A Threshold Proxy Signature Scheme with Nonrepudiation and Anonymity Yuan Yumin Deterministic Analysis of Balancedness in Symmetric Cryptography Candelaria Hernández-Goya, Amparo Fúster-Sabater Software Engineering Test Suite Reduction Based on Dependence Analysis Guy-Vincent Jourdan, Panitee Ritthiruangdech, Hasan Ural Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations Pierre Flener Problems of Adiabatic Quantum Program Design Evgeniya Khusnitdinova, A.C. Cem Say Modified Cognitive Complexity Measure Sanjay Misra

22 Table of Contents XXIII Coverage-Based, Prioritized Testing Using Neural Network Clustering Nida Gökçe, Mubariz Eminov, Fevzi Belli Component Oriented Design Based on Axiomatic Design Theory and COSEML CengizTogay,AliH.Dogru Author Index