ISCIS'04 PROGRAM
-------------------------------------------------------------------------------
27 October 2004 (Wednesday, day 1)
-------------------------------------------------------------------------------
Room A
8:30 Opening Remarks
Ali Doğramacı (Bilkent University)
Plenary Talk
9:00 An Approach to
Quality of Service
Erol Gelenbe (Imperial College)
10:00
Coffee Break
Morning Session
(Computer Networks)
Chair: Cem Ersoy
10:30
Bandwidth-Aware Scaling for Internet Video Streaming
Turhan Tunalı, Nükhet Özbek, Koray Anar, Aylin Kantarcı
(Ege University)
10:55
The Abnormal Traffic Control Framework Based on QoS Mechanisms
Kwangsun Ko, Eun-kyung Cho, Taekeun Lee (Sungkyunkwan University)
Yong-hyeog Kang (Far East University)
Young Ik Eom (Sungkyunkwan University)
11:20
Proximity-Based Overlay Routing for Service Discovery
in Mobile Ad Hoc Networks
Hyeon-Ju Yoon (Korea Advanced Institute of Science and Technology)
Eun-Ju Lee (Samsung Electronics Co. Ltd.)
Hyunku Jeong, Jin-Soo Kim
(Korea Advanced Institute of Science and Technology)
11:45
Multicast Routing for Ad Hoc Networks with a Multiclass Scheme
for Quality of Service
Kaan Bür, Cem Ersoy (Boğaziçi University)
12:10
Lunch Break
Afternoon Session 1
(Mobile Agents: Mechanisms and Modelling)
Chair: Jane Hillston
14:00
Modelling Mobility with PEPA Nets
Jane Hillston (The University of Edinburgh)
Marina Ribaudo (Università di Genova)
14:25
Modelling Role-Playing Games Using PEPA Nets
Stephen Gilmore, Leila Kloul (The University of Edinburgh)
Davide Piazza (OMNYS Wireless Technology)
14:50
Fault-Tolerant and Scalable Communication Mechanism for Mobile Agents
JinHo Ahn (Kyonggi University)
15:15
Coffee Break
Afternoon Session 2
(Performance Evaluation of Complex Systems)
Chair: Maria Carla Calzarossa
15:45
CSL Model Checking for the GreatSPN Tool
Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
(Università di Torino)
16:10
Performance and Dependability Analysis
of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets
Paolo Ballarini (University of Liverpool)
Lorenzo Capra (Università di Milano)
Guiliana Franceschinis (Università del Piemonte Orientale)
16:35
UML Design and Software Performance Modeling
Salvatore Distefano, Daniele Paci, Antonio Puliafito, Marco Scarpa
(Università di Messina)
17:00
Stubborn Sets for Priority Nets
Kimmo Varpaaniemi (Helsinki University of Technology)
-------------------------------------------------------------------------------
27 October 2004
(Wednesday, day 1)
-------------------------------------------------------------------------------
Room B
Morning Session
(Computer Vision)
Chair: Fatoş Yarman-Vural
10:30
Moving Region Detection in Compressed Video
B. Uğur Töreyin, A. Enis Cetin, Anil Aksay, M. Bilgay Akhan
(Bilkent University)
10:55
Shape Recognition with Generalized Beam Angle Statistics
Ömer Önder Tola, Nafiz Arıca, Fatoş Yarman-Vural
(Middle East Technical University)
11:20
3D Cognitive Map Construction by Active Stereo Vision in a Virtual World
Ilkay Ulusoy, Ugur Halici, Kemal Leblebicioglu
(Middle East Technical University)
11:45
3D Real Object Recognition
on the Basis of Moment Invariants and Neural Networks
Muharrem Mercimek, Kayhan Gulez (Yildiz Technical University)
12:10
Lunch Break
Afternoon Session 1
(User Interfaces and Computer Graphics)
Chair: Bülent Özgüç
14:00
Interactive Mouse Systems Providing Haptic Feedback
During the Exploration in Virtual Environment
Ki-Uk Kyung (KAIST),
Heejin Choi (MIT), Dong-Soo Kwon (KAIST)
Seung-Woo Son
(KAIST)
14:25
Developing Finite State NLP Systems with a Graphical Environment
Kemal Oflazer, Yasin Yılmaz (Sabancı University)
14:50
Hair Motion Simulation
Yusuf Sahillioğlu, Bülent Özgüç (Bilkent University)
15:15
Coffee Break
Afternoon Session 2
(Computer Graphics)
Chair: Bülent Özgüç
15:45
Flexible and Interactive Crack-Like Patterns Presentation on 3D Objects
Hsien-Hsi Hsieh,
Wen-Kai Tai, Cheng-Chin Chiang, Mau-Tsuen Yang
(National Dong Hwa University)
16:10
An Occlusion Culling Approach
Based on Exploiting Multiple Hardware-Accelerated Occlusion Queries
for Dynamical Scenes
Wen-Kai Tai, Chih-Kang Hsu,
Hsien-Hsi Hsieh
(National Dong
Hwa University)
16:35
Acceleration of Perspective Volume Rendering Using Depth-Subsampling
Byeong-Seok Shin, Yu Sik Chae (Inha University)
17:00
An Efficient Camera Path Computation Using Image-Space Information
in Virtual Endoscopy
Koo-Joo Kwon, Byeong-Seok Shin (Inha University)
-------------------------------------------------------------------------------
27 October 2004 (Wednesday, day 1)
-------------------------------------------------------------------------------
Room C
Morning Session
(Machine Learning)
Chair: Adnan Yazici
10:30
The Effects of Data Properties on Local, Piecewise, Global, Mixture
of Experts and Boundary-Optimized Classifiers for Medical Decision
Making
Nilgün Güler (Yıldız Technical University)
Fikret S. Gürgen
(Boğaziçi University)
10:55
Learning Interestingness of Streaming Classification Rules
Tolga Aydın, Halil Altay Güvenir (Bilkent University)
11:20
Using Fuzzy Petri Nets for Static Analysis of Rule-Bases
Burcin Bostan-Korpeoglu, Adnan
Yazici
(Middle East
Technical University)
11:45
Protein Structural Class Determination Using Support Vector Machines
Zerrin Isik, Berrin Yanikoglu, Ugur
Sezerman (Sabanci University)
12:10
Lunch Break
Afternoon Session 1
(Security)
Chair: İbrahim Körpeoğlu
14:00
An Approach for Spam E-mail Detection
with Support Vector Machine and n-Gram Indexing
Jongsub Moon, Taeshik Shon (Korea University)
Jungtaek Seo (National Security Research Institute)
Jongho Kim (Korea University), Jungwoo Seo (Samsung Electronics Co.)
14:25
Finding Breach Paths Using the Watershed Segmentation Algorithm
in Surveillance Wireless Sensor Networks
Ertan Onur (ARGELA
Technologies)
Cem Ersoy, Hakan
Deliç, Lale Akarun (Boğaziçi University)
14:50
Biometric Authentication Using Online Signatures
Alisher Kholmatov, Berrin Yanikoglu (Sabanci University)
15:15
Coffee Break
Afternoon Session 2
(Database Management Systems)
Chair: Abdullah Uz Tansel
15:45
Temporal Data Modeling and Integrity Constraints
in Relational Databases
Abdullah Uz Tansel (CUNY)
16:10
Query Builder: A Natural Language Interface for Structured Databases
Jim Little, Michael
de Ga, Tansel Özyer, Reda Alhajj
(University of
Calgary)
16:35
Situation-Aware Coordination in Multi Agent Filtering Framework
Sahin Albayrak, Dragan Milosevic (Technical University Berlin)
17:00
A Study on Answering a Data Mining Query Using a Materialized View
Maciej Zakrzewicz, Mikolaj Morzy, Marek Wojciechowski
(Poznan University of Technology)
17:25
Efficient Methods for Database Storage and Retrieval
Using Space-Filling Curves
Srinivas Aluru (Iowa State University)
Fatih Erdogan Sevilgen (Gebze Institute of Technology
19:00
Symposium dinner
-------------------------------------------------------------------------------
28 October 2004 (Thursday, day 2)
-------------------------------------------------------------------------------
Room A
Invited Talk
9:00 Modeling Assumptions
in Mobile Networks
Satish Tripathi (State University of New York at Buffalo)
10:00
Coffee Break
Morning Session
(Wireless Networks)
Chair: Cem Ersoy
10:30
A Fast Hardware-Oriented Algorithm for Cellular Mobiles Positioning
Muhammed Salamah, Evgueni Doukhnitch, Deniz Devrim
(Eastern Mediterranean University)
10:55
Relay Attacks on Bluetooth Authentication and Solutions
Albert Levi (Sabanci University)
Erhan Çetintaş (TUBITAK-UEKAE)
Murat Aydos (Pamukkale University)
Cetin Kaya Koç (Oregon State University)
M. Ufuk Cağlayan (Boğaziçi University)
11:20
Reliable Delivery of Popular Data Services in WIDE
Sinan Isik, Mehmet
Yunus Donmez, Cem Ersoy (Boğaziçi University)
11:45
Wireless Interworking Independent CAN Segments
Cuneyt Bayilmis, Ismail Erturk, Celal Ceken (Kocaeli University)
12:10
Lunch Break
Afternoon Session 1
(All Optical Networks)
Chair: Jean-Michel Fourneau
14:00
Fixed Size and Variable Size Packet Models in an Optical Ring Network:
Complexity and Simulations
Dominique Barth (UVSQ), Johanne Cohen (LORIA)
Lynda Gastal (Université Paris Sud)
Thierry Mautor, Stéphane Rousseau (UVSQ)
14:25
A Tabu Search Algorithm for Sparse Placement of Wavelength Converters
in Optical Networks
Namik Sengezer, Ezhan Karasan (Bilkent University)
14:50
Mixed Routing for ROMEO Optical Burst
Jean-Michel Fourneau, David Nott
(Université de Versailles Saint-Quentin)
15:15
Coffee Break
Afternoon Session 2
(Performance Evaluation
of Complex Systems)
Chair: Maria Carla Calzarossa
15:45
ARTÌS: A Parallel and Distributed Simulation Middleware
for Performance Evaluation
Luciano Bononi, Michele Bracuto, Gabriele D'Angelo, Lorenzo Donatiello
(Università degli Studi di Bologna)
16:10
Comparison of Web Server Architectures: A Measurement Study
Davide Pagnin (SSSA)
Marina Buzzi, Marco Conti, Enrico Gregori (CNR-IIT)
16:35
Modelling Dynamic Web Content
Antonio Barili, Maria Carla Calzarossa (Università di Pavia)
Daniele Tessera (Università Cattolica del Sacro Cuore)
17:00
Behavioral Intrusion Detection
Stefano Zanero (Politecnico di Milano)
-------------------------------------------------------------------------------
28 October 2004 (Thursday, day 2)
-------------------------------------------------------------------------------
Room B
Morning
Session
(Advanced Real-Time Control Applications)
Chair: Ivo De Lotto
10:30
Energy-Aware Strategies in Real-Time Systems for Autonomous Robots
Giorgio Buttazzo, Mauro Marinoni, Giacomo Guidi (University of Pavia)
10:55
Multirate Feedback Control Using the TINYREALTIME
Kernel
Dan Henriksson, Anton Cervin (Lund Institute of Technology)
11:20
An Educational Open Source Real-Time Kernel
for Small Embedded Control Systems
Michele Cirinei, Antonio Mancina, Davide Cantini, Paolo Gai
Luigi Palopoli (Scuola Superiore S. Anna)
11:45
Coordinating Distributed Autonomous Agents with a Real-Time Database:
The CAMBADA Project
Luis Almeida (University of Aveiro)
Frederico Santos (Polytechnic Institute of Coimbra)
Tullio Facchinetti (University of Pavia)
Paulo Pedreiras, Valter Silva, L. Seabra Lopes (University of Aveiro)
12:10
Lunch Break
Afternoon Session 1
(Web Performance)
Chair: Tuğrul Dayar
14:00
Biological Metaphors for Agent Behavior
Erol Gelenbe, Varol Kaptan, Yu Wang (Imperial College)
14:25
The Effects of Web Logs and the Semantic Web on Autonomous Web Agents
Michael P. Evans, Richard Newman, Timothy A. Millea, Timothy Putnam
(University of Reading)
Andrew Walker (Kingston University)
14:50
Social Network of Co-occurrence in News Articles
Arzucan Özgür, Haluk Bingol (Boğaziçi Univerity)
15:15
Coffee Break
Afternoon Session 2
(Computer Networks)
Chair: İbrahim Körpeoğlu
15:45
HVIA-GE: A Hardware Implementation of Virtual Interface Architecture
Based on Gigabit Ethernet
Sejin Park, Sang-Hwa Chung, In-Su Yoon, In-Hyung Jung, So
Myeong Lee
(Pusan National
University)
Ben Lee (Oregon State University)
16:10
Modeling TCP Loss Recovery Latency with the Number of Retransmissions
Beomjoon Kim, Jaesung Park, Yong-Hoon Choi (LG Electronics Inc.)
16:35
A Two-Step EM Algorithm for MAP Fitting
Peter Buchholz (Universität
Dortmund), Andriy Panchenko (TU Dresden)
17:00
Performance Evaluation of the 802.16 Medium Access Control Layer
Oleg Gusak (University of Missouri-Kansas City)
Neal Oliver (Intel Europe)
Khosrow Sohraby (University of Missouri-Kansas City)
-------------------------------------------------------------------------------
28 October 2004
(Thursday, day 2)
-------------------------------------------------------------------------------
Room C
Morning Session
(Natural Language Processing)
Chair: Kemal Oflazer
10:30
A Linguistically Motivated Information Retrieval System for Turkish
F. Canan Pembe, A. C. Cem Say (Boğaziçi University)
10:55
SmartReader: An NLP-Based Interactive Reading Application
for Language Learning
Kemal Oflazer (Sabancı University)
Meryem Pınar Dönmez (Carnegie Mellon University)
11:20
A Preprocessor for Turkish Text Analysis
Kemal Oflazer, Özlem Çetinoğlu, Orhan Bilgin (Sabancı University)
Bilge Say (Middle East Technical University)
11:45
The Effect of Part-of-Speech Tagging on IR Performance for Turkish
B. Taner Dinçer,
Bahar Karaoğlan (Ege Üniversitesi)
12:10
Lunch Break
Afternoon Session 1
(Java Programmed Systems)
Chair: İbrahim Körpeoğlu
14:00
JAWIRO: Enhancing Java with Roles
Yunus Emre Selçuk, Nadia Erdoğan (Istanbul Technical University)
14:25
A Survey of Public-Key Cryptography on J2ME-Enabled Mobile Devices
Stefan Tillich, Johann Großschädl (Graz University of Technology)
14:50
Thread-Sensitive Points-to Analysis for Multithreaded Java Programs
Byeong-Mo Chang (Sookmyung Women's University)
Jong-Deok Choi (IBM T. J. Watson Research Center)
15:15
Coffee Break
Afternoon Session 2
(Software Engineering)
Chair: Avelino F. Zorzo
15:45
A Static Approach to Automated Test Data Generation
in the Presence of Pointers
Insang Chung (Hansung
University)
16:10
A Use-Case Based Component Identification Approach
for Migrating Legacy Code into Distributed Environment
Hyeon Soo Kim (Chungnam National University)
Heung Seok Chae (Pusan National University)
Chul Hong Kim (Electronics and Telecommunications Research Institute)
16:35
Software Testing via Model Checking
Fevzi Belli, Barış Güldalı (University of Paderborn)
17:00
Mutation-Like Oriented Diversity for Dependability Improvement:
A Distributed System Case Study
Daniel O. Bortolas (Hewlett-Packard/PUCRS)
Avelino F. Zorzo (Pontificia Universidade Catolica do Rio Grande do Sul)
Eduardo A. Bezerra, Flavio M. de Oliveira (Hewlett-Packard/PUCRS)
-------------------------------------------------------------------------------
29 October 2004 (Friday, day 3)
-------------------------------------------------------------------------------
Room A
Invited Talk
9:00 Combinatorial
Scientific Computing:
The Role of Computer Science Algorithms in Scientific Simulation
Bruce Hendrickson (Sandia National Laboratories)
10:00
Coffee Break
Morning Session
(Performance Evaluation of Complex Systems)
Chair: Maria Carla Calzarossa
10:30
Model-Driven Maintenance of QoS Characteristics in Heterogeneous
Networks
Andrea D'Ambrogio, Vitto de Nitto Personé, Giuseppe Iazeolla
(University of Roma TorVergata)
10:55
A Performance Study of Context Transfer Protocol for QoS Support
Novella Bartolini (Università di Roma "La Sapienza")
Paolo Campegiani, Emiliano Casalicchio, Salvatore Tucci
(Università di Roma "Tor Vergata")
11:20
A Methodology for Deriving Per-flow End-to-End Delay Bounds
in Sink-Tree DiffServ Domains with FIFO Multiplexing
Luciano Lenzini, Linda Martorini, Enzo Mingozzi, Giovanni Stea
(University of Pisa)
11:45
Performance Analysis of a Predictive and Adaptive Algorithm
in Cluster-Based Network Servers with Resource Allocation
Katja Gilly (Universidad Miguel Hernández)
Carlos Juiz, Ramon Puigjaner (Universitat de les Illes Balears)
Salvador Alcaraz (Universidad Miguel Hernández)
12:10
Lunch Break
Afternoon Session 1
(Component Based Distributed Simulation)
Chair: Giuseppe Iazeolla
14:00
Using CORBA to Enhance HLA Interoperability
in Distributed and Web-Based Simulation
Andrea D'Ambrogio, Daniele Gianni (University of Rome TorVergata)
14:25
Designing and Enacting Simulations Using Distributed Components
Alberto Coen-Porisini, Ignazio Gallo, Antonella Zanzi
(Università degli Studi dell'Insubria)
14:50
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Andrea Matta, Carlo A. Furia, Matteo Rossi (Politecnico di Milano)
15:15
Coffee Break
Afternoon Session 2
(Wireless Networks)
Chair: İbrahim Körpeoğlu
15:45
Real-Time Admission Control Supporting Prioritized Soft Handoff Calls
in Cellular DS-CDMA Systems
Kuo-Chung Chu (National Taiwan
University,
Jin-Wen Institute of Technology)
Frank Yeong-Sung Lin (Jin-Wen Institute of Technology)
16:10
Voice Traffic Integration in Wireless Data Networks
with Channel State Information
Jin-Ghoo Choi, Saewoong Bahk (Seoul National University)
16:35
Blind Collision Resolution Using Retransmission Diversity
under Quasi-Static Fading Channels
Barış Özgül, Hakan Deliç (Boğaziçi University)
17:00
CRAM: An Energy Efficient Routing Algorithm for Wireless Sensor Networks
Zeng-wei Zheng,
Zhao-hui Wu, Huai-zhong Lin, Kou-gen Zheng
(Zhejiang
University)
-------------------------------------------------------------------------------
29 October 2004 (Friday, day 3)
-------------------------------------------------------------------------------
Room B
Morning Session
(Parallel Computing)
Chair: Füsun Özgüner
10:30
A New Pareto-Based Algorithm for Multi-objective Graph Partitioning
Raul Baños,
Concolación Gil, Maria Gil Montoya (Universidad de Almería)
Julio Ortega (Universidad de Granada)
10:55
Parkway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool
Aleksander Trifunovic, William J. Knottenbelt (Imperial College)
11:20
Data-Parallel Web Crawling Models
B. Barla Cambazoglu, Ata Turk, Cevdet Aykanat (Bilkent University)
11:45
Parallel Implementation
of the Wave-Equation Finite-Difference Time-Domain Method
Using the Message Passing Interface
Omar Ramadan, Oyku Akaydin, Muhammed Salamah, Abdullah Y. Oztoprak
(Eastern Mediterranean University)
12:10
Lunch Break
Afternoon Session 1
(Parallel and Distributed Computing)
Chair: Cevdet Aykanat
14:00
A Parallel Genetic Algorithm/Heuristic Based Hybrid Technique
for Routing and Wavelength Assignment in WDM Networks
A. Cagatay Talay (Istanbul Technical University)
14:25
Static Mapping Heuristics for Tasks with Hard Deadlines
in Real-Time Heterogeneous Systems
Kavitha S. Golconda (The Ohio State University)
Atakan Doğan (Anadolu University)
Füsun Özgüner (The Ohio State University)
14:50
An Advanced Server Ranking Algorithm for Distributed Retrieval Systems
on the Internet
Byurhan Hyusein, Joe Carthy (University College Dublin)
15:15
Coffee Break
Afternoon Session 2
(Image Processing)
Chair: Lale Akarun
15:45
A Novel Watermarking for Image Security
Jun Zhang, Feng Xiong (Guangdong Commerical College)
16:10
Boosting Face Recognition Speed with a Novel Divide-and-Conquer Approach
Önsen Toygar, Adnan Acan (Eastern Mediterrgnean University)
16:35
A New Document Watermarking Algorithm
Based on Hybrid Multi-scale Ant Colony System
Shiyan Hu (Polytechnic University)
17:00
An Image Retrieval System Based on Region Classification
Özge Can Özcanli,
Fatoş Yarman-Vural
(Middle East Technical University)
-------------------------------------------------------------------------------
29 October 2004 (Friday, day 3)
-------------------------------------------------------------------------------
Room C
Morning Session
(Theory of Computing)
Chair: A. C. Cem Say
10:30
Correctness Requirements for Multiagent Commitment Protocols
Pınar Yolum (Vrije
Universiteit Amsterdam)
10:55
Generating Equiprobable Superpositions of Arbitrary Sets
for a New Generalization of the Deutsch-Jozsa Algorithm
Elton Ballhysa, A. C. Cem Say (Boğaziçi University)
11:20
Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL
Barış Sertkaya (Dresden University of Technology)
Halit Oğuztüzün (Middle East Technical University)
11:45
System BV without the Equalities for Unit
Ozan Kahramanoğulları (University of Leipzig)
12:10
Lunch Break
Afternoon Session 1
(Modeling and Optimization)
Chair: Tuğrul Dayar
14:00
New Computer Model of a Dipolar System with Hexagonal Geometry
in Presence of an External Electric Field
M. Buscaglia, Giovanni Danese, Ivo De Lotto, Francesco Leporati
Rafaella Turri (Università di Pavia)
14:25
Comparison of Different Variable and Value Order Strategies
for the Optimum Solution of a Single Machine Scheduling Problem
with Sequence-Dependent Setups
Seyda Topaloglu and Irem Ozkarahan (Dokuz Eylul University)
15:15
Coffee Break
Afternoon Session 2
(Artificial Intelligence)
Chair: Halil Altay Güvenir
15:45
A New Classifier Based on Attribute Weighted Artificial Immune System
(AWAIS)
Seral Şahan, Halife Kodaz, Salih Güneş, Kemal Polat
(Selcuk University)
16:10
Investigating the Effects of Recency and Size of Training Text
on Author Recognition Problem
Ebru Celikel, Mehmet Emin Dalkılıç (Ege University)
16:35
Model Based Intelligent Control of a 3-Joint Robotic Manipulator:
A Simulation Study Using Artificial Neural Networks
Rasit Koker, Abdullah Ferikoglu
(Sakarya University)
17:00
Knowledge Incorporation into ACO-Based Autonomous Mobile Robot
Navigation
Mehtap Kose, Adnan Acan (Eastern Mediterranean University)