1-12

Analysis of Automated Auctions

13-23

Advanced Mixed Reality Technologies for Surveillance and Risk Prevention Applications

24-34

Requirements Engineering as a Key to Holistic Software Quality

35

Problems and Challenges of Image-Guided Neurosurgical Navigation and Intervention

36

Information and Communication Technologies in the EU’s Seventh Framework Programme

37-46

The Greedy Prepend Algorithm for Decision List Induction

47-54

Heuristics for Minimum Brauer Chain Problem

55-64

Dispatching Rules for Allocation of Component Types to Machines in the Automated Assembly of Printed Circuit Boards

65-74

Heuristic Approach to Schedule Crew for a Regional Airline

75-84

Automatic Segmentation of the Liver in CT Images Using a Model of Approximate Contour

85-94

Unambiguous 3D Measurements by a Multi-period Phase Shift Method

95-104

Hybrid Techniques for Dynamic Optimization Problems

105-114

Minimizing the Search Space for Shape Retrieval Algorithms

115-124

Decision Support for Packing in Warehouses

125-133

A Fast Partial Distortion Elimination Algorithm Using Selective Matching Scan

134-143

Variable Neighborhood Search for the Orienteering Problem

144-153

Extracting Gene Regulation Information from Microarray Time-Series Data Using Hidden Markov Models

154-164

Asymptotical Lower Limits on Required Number of Examples for Learning Boolean Networks

165-173

Modified Association Rule Mining Approach for the MHC-Peptide Binding Problem

174-181

Prediction and Classification for GPCR Sequences Based on Ligand Specific Features

182-191

An Efficient Algorithm for the Identification of Repetitive Variable Motifs in the Regulatory Sequences of Co-expressed Genes

192-201

An Intelligent Shopping Agent for Optimal Purchasing Decision on the Semantic Web

202-211

Adapting the Pyramid Technique for Indexing Ontological Data

212-220

Comparison of Different Neural Networks Performances on Motorboat Datasets

221-229

Dynamic Role Assignment for Multi-agent Cooperation

230-238

Lexical Ambiguity Resolution for Turkish in Direct Transfer Machine Translation Models

239-247

Design of a Feature Set for Face Recognition Problem

248-257

Low-Cost Microarchitectural Techniques for Enhancing the Prediction of Return Addresses on High-Performance Trace Cache Processors

258-266

Recovery Logics for Speculative Update Global and Local Branch History

267-276

An ILP Formulation for Task Scheduling on Heterogeneous Chip Multiprocessors

277-285

Hardware Designs for Local Alignment of Protein Sequences

286-295

A New Model of BAM: Alpha-Beta Bidirectional Associative Memories

296-305

PARM: Data Structure for Efficient Volume Ray Casting

306-315

Triangle Propagation for Mass-Spring Chain Algorithm

316-324

Hardware Acceleration of Terrain Visualization Using ef-Buffers

325-333

Computer Simulation of Woven Fabric Defects Based on Faulty Yarn Photographs

334-342

Bidirectional Distancemap for Efficient Volume Ray Casting

343-352

Segmenting Free-Form 3D Objects by a Function Representation in Spherical Coordinates

353-362

Applying Natural Neighbor Coordinates for Electromagnetic Tracker Calibration

363-373

Minkowski Sum Based Octree Generation for Triangular Meshes

374-383

Hardware-Oriented Visualisation of Trees

384-393

A Multi-resolution Technique for Real-time Animation of Large Crowds

394-400

A Framework for Working with Digitized Cultural Heritage Artifacts

401-412

On the Stability of Application-Layer Multicast Tree

413-423

Extended Authentication Integrating Scheme for Beyond 3G Wireless Networks

424-433

A New Function for Optimization of Working Paths in Survivable MPLS Networks

434-444

HIMUTSIS: Hierarchical Multi-tier Adaptive Ad-Hoc Network Security Protocol Based on Signcryption Type Key Exchange Schemes

445-454

Dual-Level Traffic Smoothing Technique over Switched Ethernet for Hard Real-Time Communication

455-463

A Model of a Packet Aggregation System

464-473

On the Use of Principle Component Analysis for the Hurst Parameter Estimation of Long-Range Dependent Network Traffic

474-482

Throughput Analysis of UDP and VPN Traffic in 802.11g Networks

483-492

Path Loss Rate Driven Burst Assembly in OBS Networks

493-502

Pixel Domain Spatio-temporal Denoising for Archive Videos

503-510

Fast Sub-pixel Motion Estimation by Means of One-Bit Transform

511-521

Neighborhood Decomposition of Convex Structuring Elements for Mathematical Morphology on Hexagonal Grid

522-531

Block Motion Estimation Using Modified Two-Bit Transform

532-541

3D Face Tracking Using Appearance Registration and Robust Iterative Closest Point Algorithm

542-552

Video as Input: Spiral Search with the Sparse Angular Sampling

553-562

An Adept Segmentation Algorithm and Its Application to the Extraction of Local Regions Containing Fiducial Points

563-571

Lossless Compression of Volumetric Medical Data

572-582

Identification of Luminal and Medial Adventitial Borders in Intravascular Ultrasound Images Using Level Sets

583-592

Prediction of Moving Object Location Based on Frequent Trajectories

593-602

A Framework for Visualizing Association Mining Results

603-612

Credential-Based Policies Management in an Access Control Framework Protecting XML Resources

613-621

Evaluating Proposals in Web Services Negotiation

622-633

Nested Bitemporal Relational Algebra

634-644

A Protocol for Reconciling Recovery and High-Availability in Replicated Databases

645-654

Migrating a Hierarchical Legacy Database Application onto an XML-Based Service-Oriented Web Platform

655-664

Power-Aware Processors for Wireless Sensor Networks

665-676

Effects of Asynchronism and Neighborhood Size on Clustering in Self-propelled Particle Systems

677-686

Virtual-ROM: A New Demand Paging Component for RTOS and NAND Flash Memory Based Mobile Devices

687-696

Model-Driven Development of RTOS-Based Embedded Software

697-706

A Target Oriented Agent to Collect Specific Information in a Chat Medium

707-716

Algorithms for Within-Cluster Searches Using Inverted Files

717-725

Effect of Inverted Index Partitioning Schemes on Performance of Query Processing in Parallel Text Retrieval Systems

726-734

Exploiting Social Networks Dynamics for P2P Resource Organisation

735-744

Security Considerations in e-Cognocracy

745-754

A Dynamic Service Range Management Strategy for Improving Mobile Multicast Protocol Performance

755-764

A Survey of Major Challenges and Future Directions for Next Generation Pervasive Computing

765-773

Camera-Based Virtual Environment Interaction on Mobile Devices

774-782

A Cost Model for an Adaptive Cell-Based Index Structure

783-792

Positioning Method for Outdoor Systems in Wireless Sensor Networks

793-802

Formal Description of a Runtime Infrastructure for Automatic Distribution of Programs

803-812

Super-Peer Selection Based Framework Using Dynamic Capacity and Similarity

813-824

A General Graph Model for Representing Exact Communication Volume in Parallel Sparse Matrix–Vector Multiplication

825-833

Safety of Rollback-Recovery Protocol Maintaining WFR Session Guarantee

834-843

3-D Parallel Implementation of the Wave-Equation PML Algorithm Using Distributed System

844-853

Trustworthy Distributed Algorithm Design to Defend Distance Cheating in Link-Weighted ALM

854-865

jEQN a Java-Based Language for the Distributed Simulation of Queueing Networks

866-876

Exact Performance Measures for Peer-to-Peer Epidemic Information Diffusion

877-886

A Leader Election Protocol for Timed Asynchronous Distributed Systems

887-896

Computing the Steady-State Distribution of G-networks with Synchronized Partial Flushing

897-907

Worst-Case Analysis of Router Networks with Rival Queueing Models

908-917

An Anomaly Intrusion Detection Approach Using Cellular Neural Networks

918-923

A Lookup Table Model for Time-Memory Trade-Off Attacks on Binary Additive Stream Ciphers

924-934

Improved Merkle Cryptosystem (IMC)

935-942

Threshold Cryptography Based on Asmuth-Bloom Secret Sharing

943-951

Capture Resilient ElGamal Signature Protocols

952-962

A New Efficient Protocol for Authentication and Certificate Status Management in Personal Area Networks

963-971

A New Image Encryption Algorithm Based on One-Dimensional Polynomial Chaotic Maps

972-980

A Non-committing Encryption Scheme Based on Quadratic Residue

981-990

Biometric Cryptosystem Using Online Signatures

991-1001

Finite Field Polynomial Multiplication in the Frequency Domain with Application to Elliptic Curve Cryptography

1002-1010

A Threshold Proxy Signature Scheme with Nonrepudiation and Anonymity

1011-1020

Deterministic Analysis of Balancedness in Symmetric Cryptography

1021-1030

Test Suite Reduction Based on Dependence Analysis

1031-1039

Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations

1040-1049

Problems of Adiabatic Quantum Program Design

1050-1059

Modified Cognitive Complexity Measure

1060-1071

Coverage-Based, Prioritized Testing Using Neural Network Clustering

1072-1079

Component Oriented Design Based on Axiomatic Design Theory and COSEML