Computer and Information Sciences - ISCIS 2005: 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings

Front Matter....Pages -
Keeping Viruses Under Control....Pages 1-1
Online Auctions: Notes on Theory, Practice, and the Role of Agents....Pages 2-2
A Unified Approach to Survivability of Connection-Oriented Networks....Pages 3-12
SCTP Based Framework for Mobile Web Agent....Pages 13-22
An Agent-Based Scheme for Efficient Multicast Application in Mobile Networks....Pages 23-32
An Enhanced One Way Function Tree Rekey Protocol Based on Chinese Remainder Theorem....Pages 33-43
Admission Control for Multicast Routing with Quality of Service in Ad Hoc Networks....Pages 44-53
An Efficient On-line Job Admission Control Scheme to Guarantee Deadlines for QoS-Demanding Applications....Pages 54-63
A Methodology of Resilient MPLS/VPN Path Management Under Multiple Link Failures....Pages 64-73
Comparison of Hyper-DAG Based Task Mapping and Scheduling Heuristics for Wireless Sensor Networks....Pages 74-83
A Markov-Based Model to Analyze the Temporal Evolution and Lifetime of a Sensor Network....Pages 84-93
Power-Efficient Seamless Publishing and Subscribing in Wireless Sensor Networks....Pages 94-102
Group-Oriented Channel Protection for Mobile Devices in Digital Multimedia Broadcasting....Pages 103-112
IP Traffic Load Distribution in NGEO Broadband Satellite Networks – (Invited Paper)....Pages 113-123
Cross-Layer Management of Radio Resources in an Interactive DVB-RCS-Based Satellite Network—(Invited Paper)....Pages 124-135
Aggressive Back off Strategy in Congestion Management Algorithm for DBS-RCS — (Invited Paper)....Pages 136-144
TCP-Peach++: Enhancement of TCP-Peach+ for Satellite IP Networks with Asymmetrical Bandwidth and Persistent Fades—(Invited Paper)....Pages 145-151
Automatic Translation of Serial to Distributed Code Using CORBA Event Channels....Pages 152-161
Fault Tolerant and Robust Mutual Exclusion Protocol for Synchronous Distributed Systems....Pages 162-172
Exact Best-Case End-to-End Response Time Analysis for Hard Real-Time Distributed Systems....Pages 173-182
A Formal Policy Specification Language for an 802.11 WLAN with Enhanced Security Network....Pages 183-192
A Generic Policy-Conflict Handling Model....Pages 193-204
A Truly Random Number Generator Based on a Continuous-Time Chaotic Oscillator for Applications in Cryptography....Pages 205-214
A New Cryptanalytic Time-Memory Trade-Off for Stream Ciphers....Pages 215-223
SVM Approach with a Genetic Algorithm for Network Intrusion Detection....Pages 224-233
Modeling Access Control Lists with Discrete-Time Quasi Birth-Death Processes....Pages 234-243
Stochastic Bounds on Partial Ordering: Application to Memory Overflows Due to Bursty Arrivals....Pages 244-253
QoS Evaluation Method in Multimedia Applications Using a Fuzzy Genetic Rule-Based System....Pages 254-263
Impact of Setup Message Processing and Optical Switch Configuration Times on the Performance of IP over Optical Burst Switching Networks....Pages 264-273
Characterizing Gnutella Network Properties for Peer-to-Peer Network Simulation....Pages 274-283
Computing Communities in Large Networks Using Random Walks....Pages 284-293
Fame as an Effect of the Memory Size....Pages 294-303
Keeping Viruses Under Control....Pages 304-311
Distributed Evaluation Using Multi-agents....Pages 312-321
Classification of Volatile Organic Compounds with Incremental SVMs and RBF Networks....Pages 322-331
Agent Based Dynamic Execution of BPEL Documents....Pages 332-341
A Fair Multimedia Exchange Protocol....Pages 342-351
A Pervasive Environment for Location-Aware and Semantic Matching Based Information Gathering....Pages 352-361
A Web Service Platform for Web-Accessible Archaeological Databases....Pages 362-370
A WSDL Extension for Performance-Enabled Description of Web Services....Pages 371-381
A Novel Authorization Mechanism for Service-Oriented Virtual Organization....Pages 382-391
Metrics, Methodology, and Tool for Performance-Considered Web Service Composition....Pages 392-401
Brazilian Software Process Reference Model and Assessment Method....Pages 402-411
A Secure Communication Framework for Mobile Agents....Pages 412-421
A Novel Algorithm for the Coordination of Multiple Mobile Robots....Pages 422-431
Multiagent Elite Search Strategy for Combinatorial Optimization Problems....Pages 432-441
Managing Theories of Trust in Agent Based Systems....Pages 442-451
Applying Semantic Capability Matching into Directory Service Structures of Multi Agent Systems....Pages 452-461
Self-organizing Distribution of Agents over Hosts....Pages 462-471
Evolutionary Design of Group Communication Schedules for Interconnection Networks....Pages 472-481
Memetic Algorithms for Nurse Rostering....Pages 482-492
Discretizing Continuous Attributes Using Information Theory....Pages 493-502
System Identification Using Genetic Programming and Gene Expression Programming....Pages 503-511
ARKAQ-Learning: Autonomous State Space Segmentation and Policy Generation....Pages 512-523
Signature Verification Using Conic Section Function Neural Network....Pages 524-532
Fusion of Rule-Based and Sample-Based Classifiers – Probabilistic Approach....Pages 533-542
Construction of a Learning Automaton for Cycle Detection in Noisy Data Sequences....Pages 543-552
A New Trend Heuristic Time-Variant Fuzzy Time Series Method for Forecasting Enrollments....Pages 553-564
Using GARCH-GRNN Model to Forecast Financial Time Series....Pages 565-574
Boosting Classifiers for Music Genre Classification....Pages 575-584
Discriminating Biased Web Manipulations in Terms of Link Oriented Measures....Pages 585-594
ORF-NT: An Object-Based Image Retrieval Framework Using Neighborhood Trees....Pages 595-605
Text Categorization with Class-Based and Corpus-Based Keyword Selection....Pages 606-615
Aligning Turkish and English Parallel Texts for Statistical Machine Translation....Pages 616-625
The Effect of Windowing in Word Sense Disambiguation....Pages 626-635
Pronunciation Disambiguation in Turkish....Pages 636-645
Acoustic Flow and Its Applications....Pages 646-655
A DCOM-Based Turkish Speech Recognition System: TREN – Turkish Recognition ENgine....Pages 656-667
Speaker Recognition in Unknown Mismatched Conditions Using Augmented PCA....Pages 668-676
Real Time Isolated Turkish Sign Language Recognition from Video Using Hidden Markov Models with Global Features....Pages 677-687
An Animation System for Fracturing of Rigid Objects....Pages 688-697
2D Shape Tracking Using Algebraic Curve Spaces....Pages 698-707
A Multi-camera Vision System for Real-Time Tracking of Parcels Moving on a Conveyor Belt....Pages 708-717
Selection and Extraction of Patch Descriptors for 3D Face Recognition....Pages 718-727
Implementation of a Video Streaming System Using Scalable Extension of H.264....Pages 728-738
Blotch Detection and Removal for Archive Video Restoration....Pages 739-747
Performance Study of an Image Restoration Algorithm for Bursty Mobile Satellite Channels....Pages 748-758
Polymorphic Compression....Pages 759-767
Efficient Adaptive Data Compression Using Fano Binary Search Trees....Pages 768-779
Word-Based Fixed and Flexible List Compression....Pages 780-790
Effective Early Termination Techniques for Text Similarity Join Operator....Pages 791-801
Multimodal Video Database Modeling, Querying and Browsing....Pages 802-812
Semantic Load Shedding for Prioritized Continuous Queries over Data Streams....Pages 813-822
Probabilistic Point Queries over Network-Based Movements....Pages 823-832
Effective Clustering by Iterative Approach....Pages 833-842
Recursive Lists of Clusters: A Dynamic Data Structure for Range Queries in Metric Spaces....Pages 843-853
Incremental Clustering Using a Core-Based Approach....Pages 854-863
Indexing of Sequences of Sets for Efficient Exact and Similar Subsequence Matching....Pages 864-873
An Investigation of the Course-Section Assignment Problem....Pages 874-883
Crympix: Cryptographic Multiprecision Library....Pages 884-893
Optimal Control for Real-Time Feedback Rate-Monotonic Schedulers....Pages 894-903
Graphical User Interface Development on the Basis of Data Flows Specification....Pages 904-914
Generalizing Redundancy Elimination in Checking Sequences....Pages 915-926
A Computable Version of Dini’s Theorem for Topological Spaces....Pages 927-936
Improved Simulation of Quantum Random Walks....Pages 937-946
An Alternative Proof That Exact Inference Problem in Bayesian Belief Networks Is NP-Hard....Pages 947-955
Recovering the Lattice of Repetitive Sub-functions....Pages 956-965
Erol Gelenbe’s Career and Contributions....Pages 966-970
Back Matter....Pages -