CSDL - Proceedings A

A Contribution to the Formal Checking of Multi-Agents Systems (Abstract)

F. Belala

A. Boucherit

pp. 9-16

PDF

Synchronized Transitions Preemptive Time Petri Nets: A new model towards specifying multimedia requirements (Abstract)

A. Abdelli

N. Badache

pp. 17-24

PDF

Adaptive Search in a Semi-Structured Peer-to-Peer System (Abstract)

pp. 25-32

PDF

Formal Specification of Design Patterns and Their Instances (Abstract)

T. Taibi

F. Taibi

pp. 33-36

PDF

QoS Assurance of Handover TCP Flows in a DiffServ-enabled Mobile Wireless Access Network (Abstract)

pp. 37-44

PDF

QoS Management and Real Time Agreement Protocols for Resource Reservation for Multimedia Mobile Radio Network (Abstract)

pp. 45-53

PDF

QoS Extensions to Mobile Ad Hoc Routing Supporting Real-Time Applications (Abstract)

L. Wolf

pp. 54-61

PDF

Enhanced Class-based Packet Scheduling Policy for QoS Provisioning in Multimedia Cellular Networks (Abstract)

pp. 62-69

PDF

ATHOMIC: Architecture managing Tcp Handoff Over Mobile Ip Connections (Abstract)

pp. 70-73

PDF

A CAD Tool for Scalable, Variable Architecture Floating-Point Adder Generator (Abstract)

A.J. Al-Khalili

pp. 74-79

PDF

High-Speed Redundant Modulo 2n-1 Adder (Abstract)

F. Kharbash

G.M. Chaudhry

pp. 80-87

PDF

Low Power Hierarchical Multiplier and Carry Look-Ahead Architecture (Abstract)

N. Gopi

pp. 88-92

PDF

Pipelining GF(P) Elliptic Curve Cryptography Computation (Abstract)

pp. 93-99

PDF

Novel Reversible Multiplier Architecture Using Reversible TSG Gate (Abstract)

H. Thapliyal

M.B. Srinivas

pp. 100-103

PDF

Parallel Online Ranking of Web Pages (Abstract)

pp. 104-109

PDF

Internet Traffic Modeling Using Integer-Valued Time Series (Abstract)

Z. Liu

pp. 110-117

PDF

Parallel Implementation of the PML Algorithm for Truncating Finite-Difference Time-Domain Grids (Abstract)

O. Ramadan

O. Akaydin

pp. 118-122

PDF

On Compactly Encoding With Differential Compression (Abstract)

F.B. Chedid

P.G. Mouawad

pp. 123-129

PDF

A Priority-Based MLFQ Scheduler for CPU Power Saving (Abstract)

pp. 130-134

PDF

Fusion of Thermal and Visual Images for efficient Face Recognition using Gabor Filter (Abstract)

J. Ahmad

U. Ali

R.J. Qureshi

pp. 135-139

PDF

Face and Fingerprint biometrics Integration Model for Person Identification Using Gabor Filter (Abstract)

I. Ali

U. Ali

M.I. Shahzad

A.W. Malik

pp. 140-143

PDF

Ragged-Edge Array Coding for Reliable and Efficient Storage Arrays (Abstract)

Q.M. Malluhi

M.F. Malouhi

pp. 144-150

PDF

An Experimental and Industrial Experience: Avoiding Denial of Service via Memory Profiling (Abstract)

S. Abu-Nimeh

M. Marchetti

pp. 151-158

PDF

Embedded Vision Module for Robot-soccer (Abstract)

A. Sluzek

P.K.D. Minh

pp. 159-162

PDF

Regression Testing Web Services-based Applications (Abstract)

pp. 163-170

PDF

A Categorization Scheme for Semantic Web Search Engines (Abstract)

K.S. Esmaili

H. Abolhassani

pp. 171-178

PDF

Automated Context-Aware Adaptation of Web Service Executions (Abstract)

N.C. Narendra

S. Gundugola

pp. 179-187

PDF

DaSIAn: A Tool for Estimating the Impact of Database Schema Modifications on Web Applications (Abstract)

S.K. Gardikiotis

N. Malevris

pp. 188-195

PDF

Web Service discovery based on Quality of Service (Abstract)

pp. 196-199

PDF

Restricted Shortest Path Routing with Concave Costs (Abstract)

pp. 200-207

PDF

Loss rates bounds for IP switches in MPLS networks (Abstract)

pp. 208-214

PDF

On the Fault Patterns Properties in the Torus Networks (Abstract)

pp. 215-220

PDF

Fair Channel Quality-Based Scheduling Scheme for HSDPA System (Abstract)

pp. 221-227

PDF

A New MPLS-based Local Failure Recovery for Multicast Communication (Abstract)

pp. 228-231

PDF

A RECONFIGURABLE GAUSSIAN/TRIANGULAR BASIS FUNCTIONS COMPUTATION CIRCUIT (Abstract)

M.T. Abuelma'ati

A. Shwehneh

pp. 232-239

PDF

Comparison of Multipliers Architectures through Emulation and Handle-C FPGA Implementation (Abstract)

pp. 240-247

PDF

An Optimized Design Approach for Squaring Large Integers Using Embedded Hardwired Multipliers (Abstract)

pp. 248-254

PDF

High Speed Hardware Implementation of a Heuristic 2D Rectangle Placement Algorithm (Abstract)

A.Y. Maarouf

I.W. Damaj

pp. 255-261

PDF

Accurate Total Static Leakage Current Estimation in Transistor Stacks (Abstract)

pp. 262-265

PDF

Computational Analysis of Mass Spectrometry Data Using Novel Combinatorial Methods (Abstract)

X. Peng

pp. 266-273

PDF

A New Recombination Scheme for Diploid Genetic Algorithms (Abstract)

M.F. Abdul-Halim

A.F. Abdul-Kader

pp. 274-280

PDF

Evaluation of Breast Cancer Tumor Classification with Unconstrained Functional Networks Classifier (Abstract)

pp. 281-287

PDF

MODIFICATION OF MAMMOGRAMS FOR EARLY DIAGNOSIS OF BREAST CANCER USING WAVELET AND NEURAL NETWORKS (Abstract)

A.R. Zolghadrasli

Z. Maghsoodzadeh

pp. 288-295

PDF

Protein Secondary Structure Reduction Methods Significantly Affect Prediction Accuracy (Abstract)

S.O.A. Subair

S. Deris

pp. 296-299

PDF

Avoiding Denial of Service via Stress Testing (Abstract)

S. Abu-Nimeh

M. Marchetti

pp. 300-307

PDF

Hidden Field Equations Cryptosystem Performances (Abstract)

pp. 308-311

PDF

A Trust Framework for Pervasive Computing Environments (Abstract)

pp. 312-319

PDF

Trust Ontology for Service-Oriented Environment (Abstract)

pp. 320-325

PDF

Secure Mobile Agent System for E-Business Applications (Abstract)

pp. 326-329

PDF

Software Defect Prediction Using Regression via Classification (Abstract)

S. Bibi

pp. 330-336

PDF

Compositional specification of event-based software architectural styles (Abstract)

pp. 337-344

PDF

Software Product Line Engineering and Dynamic Customization of a Radio Frequency Management System (Abstract)

H. Gomaa

M. Saleh

pp. 345-352

PDF

Comprehensive Software Development Model (Abstract)

M.S. Siddiqui

S.J. Hussain

pp. 353-360

PDF

The Branding Analysis Pattern (Abstract)

H.A. Sanchez

M.E. Fayad

pp. 361-364

PDF

DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems (Abstract)

pp. 365-368

PDF

Performance Evaluation of Reservation Medium Access Control in IEEE 802.16 Networks (Abstract)

A. Doha

H. Hassanein

G. Takahara

pp. 369-374

PDF

An Uplink Performance Evaluation for Roaming-Based Multi-Operator WCDMA Cellular Networks (Abstract)

S. Al-Qahtani

U. Baroudi

pp. 375-380

PDF

Architecture and Performance Analysis of the Multicast Balanced Gamma Switch for Broadband Communications1 (Abstract)

pp. 381-388

PDF

Access Channel Performance in CDMA2000 (Abstract)

M.G. El-Tarhuni

pp. 389-393

PDF

Performance Evaluation in Cellular (CDMA) System Using Smart Antenna with Adaptive Sectoring Method (Abstract)

pp. 394-397

PDF

System Performance Analysis of Synchronous Hybrid Direct Sequence-Slow Frequency Hopping Spread Spectrum Multiple Access Communications System Using Support Vector Machines (Abstract)

M.A. Khan

null Dingrong Shao

pp. 398-401

PDF

Novel Heuristic and Genetic Algorithms for the VLSI Test Coverage Problem (Abstract)

pp. 402-408

PDF

Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques (Abstract)

pp. 409-414

PDF

Femto Joule Switching for Nano Electronics (Abstract)

V. Beiu

pp. 415-423

PDF

Multiplexing Schemes in Single-Electron Technology (Abstract)

M.H. Sulieman

V. Beiu

pp. 424-428

PDF

Semi-Algorithmic Test Pattern Generation (Abstract)

H.S. Shahhoseini

B.H. Kazerouni

pp. 429-432

PDF

A Highly Adaptive Acoustic Echo Cancellation Solution for VoIP Conferencing Systems (Abstract)

pp. 433-436

PDF

A Scalable Sequential Pattern Mining Algorithm (Abstract)

pp. 437-444

PDF

Performance Comparison of Pattern Discovery Methods on Web Log Data (Abstract)

pp. 445-451

PDF

FastLMFI: An Efficient Approach for Local Maximal Patterns Propagation and Maximal Patterns Superset Checking (Abstract)

S. Bashir

A.R. Baig

pp. 452-459

PDF

The N-tree: an Indexing Technique for Nearest-Neighbor Queries (Abstract)

F. Najjar

H. Slimani

pp. 460-467

PDF

Multi-Channel Communication for Wireless Database (Abstract)

S. Emmons

M.F. Wyne

pp. 468-471

PDF

An Improved Current Mirror Cell (Abstract)

M.A. Al-Absi

pp. 472-474

PDF

Access control with prohibitions and obligations (Abstract)

P. Balbiani

F. Harb

A. Kaafarani

pp. 484-492

PDF

The Best Irreducible Pentanomials For A Mastrovito GF Multiplier (Abstract)

M. Bahramali

H.S. Shahhoseini

pp. 493-499

PDF

Predicting the Dynamic Nature of Risk (Abstract)

B. Soh

pp. 500-507

PDF

Trust Relationships and Reputation Relationships for Service Oriented Environments (Abstract)

pp. 508-510

PDF

Design of an Embedded Device for Surface Roughness Measurement (Abstract)

T. Ozkul

pp. 511-514

PDF

Towards Intentional Agents to Manipulate Belief, Desire and Commitment Degrees (Abstract)

A. Saadi

Z. Sahnoun

pp. 515-520

PDF

Agent Design Patterns Framework for MaSE/POAD Methodology (Abstract)

pp. 521-528

PDF

GeneCity: A Multi Agent Simulation Environment for Hereditary Diseases (Abstract)

pp. 529-536

PDF

An Innovative Self-Configuration Approach for Networked Systems and Applications (Abstract)

pp. 537-544

PDF

Stable Analysis Patterns (Abstract)

H.S. Hamza

M.E. Fayad

pp. 545-548

PDF

Power Efficient Algorithms for Computing Fast Fourier Transform over Wireless Sensor Networks (Abstract)

pp. 549-556

PDF

Power Allocation and Coding for Image Transmission over Wireless Channels (Abstract)

A.B. Sediq

M. El-Tarhuni

pp. 557-564

PDF

An Energy Efficient MAC Approach for Mobile Wireless Sensor Networks (Abstract)

pp. 565-570

PDF

Efficient Service Discovery forWireless Mobile Ad Hoc Networks (Abstract)

pp. 571-578

PDF

Toward the Mobile Grid:Service Provisioning in a Mobile Dynamic Virtual Organization (Abstract)

M. Waldburger

B. Stiller

pp. 579-583

PDF

Development of Hybrid Classification Methodology for Mining Skewed Data Sets - A Case Study of Indian Customs Data (Abstract)

A. Kumar

V. Nagadevara

pp. 584-591

PDF

Mining N-most Interesting Itemsets using Support-Ordered Tries (Abstract)

M.U. Arshad

M.N. Ayyaz

pp. 592-599

PDF

Evaluation of Cluster Analysis Algorithms Enhanced by Using R*-Trees (Abstract)

pp. 600-607

PDF

Functionally Classifying Genes from Microarray Data Using Linear and Non-linear Data Projection (Abstract)

J. Shaik

M. Yeasin

pp. 608-615

PDF

Distributed Computing for Formation Flying Missions (Abstract)

A.-H. Jallad

T. Vladimirova

pp. 616-620

PDF

A Novel Corner Detector Approach using Sliding Rectangles (Abstract)

A. Masood

M. Sarfraz

pp. 621-626

PDF

ON LINE LEARNING: EVOLVING in REAL TIME a neural net Controller of 3D-robot-arm. Track and Evolve. (Abstract)

A. Lehireche

A. Rahmoun

pp. 627-632

PDF

The vMatrix: Equi-Ping Game Server Placement For Pre-Arranged First-Person-Shooter Multiplayer Matches (Abstract)

A. Awadallah

M. Rosenblum

pp. 633-640

PDF

Reputation Relationship and Its Inner Relationships for Service Oriented Environments (Abstract)

pp. 641-646

PDF

Topological Properties of Stretched Graphs (Abstract)

P. Shareghi

H. Sarbazi-Azad

pp. 647-650

PDF

An Automated System For Real Time Fault Localization in Optical Networks (Abstract)

C.B. Yahya

pp. 651-655

PDF

The Indeterministic Behavior of Scoped Memory in Real-Time Java* (Abstract)

M.T. Higuera-Toledano

pp. 656-664

PDF

Cache Optimization for Embedded Systems Running H.264/AVC Video Decoder (Abstract)

A. Asaduzzaman

I. Mahgoub

pp. 665-672

PDF

A Probability-Based Instruction Combining Method for Scheduling in VLIW Processors (Abstract)

R. Iraji

H. Sarbazi-Azad

pp. 673-679

PDF

Serpent Cryptography on Static and Dynamic Reconfigurable Hardware (Abstract)

I. Damaj

M. Itani

H. Diab

pp. 680-684

PDF

Refactoring Tools and Complementary Techniques (Abstract)

pp. 685-688

PDF

TOPER: A Tool Using Integrated Knowledge Reporting and Usability Methods (Abstract)

O. Alshara

pp. 689-696

PDF

CoMet: A Tool Using CUMM to Measure Unused Component Members (Abstract)

pp. 697-703

PDF

Using Change Propagation Probabilities to Assess Quality Attributes of Software Architectures 1 (Abstract)

A. Mili

A. Zeid

pp. 704-711

PDF

Session Management for Collaborative Applications in Interactive Grid* (Abstract)

pp. 712-715

PDF

An Adaptive Multi-Guard Channel Scheme for Multi-Class Traffic in Cellular Networks (Abstract)

M. Salamah

pp. 716-723

PDF

An Uplink Admission Control for 3G and Beyond Roaming Based Multi-Operator Cellular Wireless Networks with Multi-Services (Abstract)

S. Al-Qahtani

U. Baroudi

pp. 724-729

PDF

A Survey of Advances in Multi-User Detection in DS-CDMA (Abstract)

pp. 730-737

PDF

Throughput of ARQ Protocols Over Nakagami and MIMO Block Fading Channels (Abstract)

S.A. Zummo

pp. 738-743

PDF

Distributed fault management protocol for Heterogeneous Networks (Abstract)

G. Deprez

M. Padmaraj

pp. 744-747

PDF

An Object-Oriented Configurable Framework for Real-time Database Simulation Environment (Abstract)

S. Tanwani

A.K. Ramani

pp. 748-755

PDF

An Overview of MOA, a Multi-Class Overload Architecture for Real-time Database Systems: Framework and Algorithms (Abstract)

L. Baccouche

pp. 756-763

PDF

Classification Rules for Pre-Analysis Filtering of Web Transactions (Abstract)

pp. 764-770

PDF

Towards ontology-based semantic web from data-intensive web: A reverse engineering approach (Abstract)

pp. 771-778

PDF

WAP and Push Technology Integrated into Mobile Commerce Applications (Abstract)

J. Qaddour

pp. 779-785

PDF

Evolutionary Colorization of Grayscale Images (Abstract)

B.A. Attea

A.D. Aboud

pp. 786-791

PDF

Robust Color Video Denoising (Abstract)

T. Rabie

pp. 792-798

PDF

Constructing Precise Geometric Models of Virtual Environunents using Image based View Synthesis (Abstract)

A. Ajith

N. Athmaraman

pp. 799-805

PDF

Study of Reneging Behavior in Batched Multimedia Service (Abstract)

pp. 806-813

PDF

An Extended Media Service Framework for Multiparty Collaborative Environments (Abstract)

pp. 814-817

PDF

A Wireless Embedded System for the Tracking of Stolen Vehicles (Abstract)

pp. 818-825

PDF

Grid overlay for remote E-health monitoring (Abstract)

pp. 826-833

PDF

Formal development method of control systems using the event-based B approach Case study : A parcel sorting device (Abstract)

pp. 834-841

PDF

A System for Web Retrieval of Images and the Corresponding Annotations (Abstract)

pp. 842-850

PDF

A Practical Fair-Exchange E-Payment Protocol for Anonymous Purchase and Physical Delivery (Abstract)

pp. 851-858

PDF

Allocation and Re-Allocation of Data in a Grid using an Adaptive Genetic Algorithm (Abstract)

pp. 859-866

PDF

Towards a Model-Based Unification of Mobile Platforms (Abstract)

pp. 867-874

PDF

A Complex Applications Framework Supporting Tolerant Dynamic Vehicle Dispatching (Abstract)

pp. 875-881

PDF

Enhancements of PECOS Embedded Real-Time Component Model for Autonomous Mobile Robot Application (Abstract)

pp. 882-889

PDF

Can Cohesion Predict Fault Density? (Abstract)

pp. 890-893

PDF

The Adoption of eCommerce Communications and Applications Technologies in Small Businesses in New Zealand (Abstract)

N. Al-Qirim

pp. 894-897

PDF

On the Optimal Deployment of Heterogeneous Sensing Devices (Abstract)

pp. 898-905

PDF

Differentiated Survivability in Ethernet-Based MAN/WAN (Abstract)

M. Ali

A. Ge

pp. 906-910

PDF

Supporting Disconnected Operations in Mobile Computing (Abstract)

J.H. Abawajy

M. Mat deris

pp. 911-918

PDF

Performance of MIP/WLAN in Rapid Mobility Environments (Abstract)

null Jun Tian

A. Helal

pp. 919-927

PDF

A Secure Framework for Distributed Agents System (Abstract)

pp. 928-931

PDF

On The Performance of Directional MAC Protocols in Wireless Ad-Hoc Networks (Abstract)

pp. 932-935

PDF

Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic (Abstract)

pp. 936-943

PDF

Arabic Search Engines Improvement: A New Approach using Search Key Expansion Derived from Arabic Synonyms Structure (Abstract)

pp. 944-951

PDF

Crime Hot-Spots Prediction Using Support Vector Machine (Abstract)

K. Kianmehr

R. Alhajj

pp. 952-959

PDF

Learning acyclic rules based on Chaining Genetic Programming (Abstract)

pp. 960-967

PDF

A Proxy Pre-fetch Scheme for Consistent SMIL Presentation Delivery (Abstract)

A. Abdelli

N. Badache

pp. 968-975

PDF

ARAB_TTS: An Arabic Text To Speech Synthesis (Abstract)

Z. Zemirli

pp. 976-979

PDF

ICE: A System for Identification of Conflicts in Exams (Abstract)

H. Hage

E. Aimeru

pp. 980-987

PDF

Building e-Partnership: d-Library Services for eLearning (Abstract)

A. Taha

pp. 988-993

PDF

On-Line Content Analysis System using e-Learning Time Data (Abstract)

M. Ueno

K. Nagaoka

pp. 994-1002

PDF

Authoring web-based learning scenarios based on the IMS learning design: Preliminary evaluation of the ask learning designer toolkit (Abstract)

pp. 1003-1010

PDF

Semantically Meaningful Unit - SMU; An Openly Reusable Learning Object for UREKA Learning-Object Taxonomy & Repository Architecture - ULTRA (Abstract)

pp. 1011-1018

PDF

Educational additions to an Open Source Virtual Learning Environment (VLE) for the Greek Schools' Network (Abstract)

A. Tsinakos

J. Papaioanou

pp. 1019-1022

PDF

Classification of Software and Hardware Bio-inspired Systems (Abstract)

pp. 1023-1028

PDF

Adapting WordNet to the Medical Domain using Lexicosyntactic Patterns in the Ohsumed Corpus. (Abstract)

pp. 1029-1036

PDF

An Experiment in Automatic Conversion of Legacy Java Programs to C# (Abstract)

pp. 1037-1045

PDF

Communicating Requirements for ERP Tendering, the Case of International Organizations (Abstract)

I. Araujo

pp. 1046-1054

PDF

An Aspect-Oriented Approach in Early Requirements Engineering (Abstract)

pp. 1055-1058

PDF

MPLS Network Topology Design Using Genetic Algorithms (Abstract)

E.-S.M. El-Alfy

pp. 1059-1065

PDF

A Genetic-Driven Instruction Set for High Speed Network Processors (Abstract)

H. Mohammadi

N. Yazdani

pp. 1066-1073

PDF

Dynamic adapting of Scalable TCP congestion control parameters (Abstract)

M. Tekala

R. Szabo

pp. 1074-1081

PDF

An Efficient Intra Prediction Mode Decision Algorithm for H.263 To H.264 Transcoding (Abstract)

M. Jafari

S. Kasaei

pp. 1082-1089

PDF

A Discrete Optimal Broadcasting Protocol in an IP Network (Abstract)

A. Gazdar

A. Belghith

pp. 1090-1096

PDF

An Architecture for a Context-aware Service Broker in Ubiquitous Computing Environments (Abstract)

pp. 1097-1100

PDF

Available trust and security in wireless networks (Abstract)

pp. 1101-1105

PDF

An Ontology-based Model for Mobile Agents Adaptation in Pervasive Environments (Abstract)

N. Amara-Hachmi

pp. 1106-1109

PDF

A Privacy Preferences Architecture for Context Aware Applications (Abstract)

A.A. Eldin

R. Wagenaar

pp. 1110-1113

PDF

Interoperability and Security Issues of Grid Services for Ubiquitous Computing (Abstract)

D. Jana

pp. 1114-1117

PDF

Parallel I/O Scheduling in the Presence of Data Duplication on Multiprogrammed Cluster Computing Systems (Abstract)

J.H. Abawajy

pp. 1118-1125

PDF

FuFaIR: a Fuzzy Farsi Information Retrieval System (Abstract)

A. Nayyeri

F. Oroumchian

pp. 1126-1130

PDF

Extending UML to Guide Design Pattern Reuse (Abstract)

N. Bouassida

H. Ben-Abdallah

pp. 1131-1138

PDF

Productivity and Stability with Application Service Software (Abstract)

pp. 1139-1142

PDF

Requirements for Evaluating Architectural Stability (Abstract)

R. Bahsoon

W. Emmerich

pp. 1143-1146

PDF

Defining Patterns Using UML Profiles (Abstract)

pp. 1147-1150

PDF

J.B. Garcia Perez-Schofield

Supporting the SPEM with a UML Extended Workflow Metamodel (Abstract)

N. Debnath

D. Riesco

M.P. Cota

D.R.M. Uva

pp. 1151-1154

PDF

A Comparative Analysis of Maintainability Approaches for Web Applications (Abstract)

pp. 1155-1158

PDF

Improving Software Quality through Requirements Traceability Models (Abstract)

A.M. Salem

pp. 1159-1162

PDF

Role Based Approach to Data Access in Adhoc Networks (Abstract)

Q.A. Memon

M.S. Laghari

pp. 1163-1166

PDF

Games over Bluetooth (Abstract)

A. Mumtaz

null Faisal Tehseen Shah

pp. 1167-1170

PDF

Primitive Operations of Hyper-Graph Data Model for Distributed Database Integration (Abstract)

S. Sundaresan

null Gongzhu Hu

pp. 1171-1174

PDF

Embedding Rules in a Pre-Hospital Mobile Database (Abstract)

pp. 1175-1179

PDF

Hierarchical Approach to Select Feature Vectors for Classification of Text Documents (Abstract)

pp. 1180-1183

PDF