WSEAS TRANSACTIONS
on INFORMATION SCIENCE &
APPLICATIONS
Issue 1, Volume 4, January 2007
ISSN
1709-0832
http://www.wseas.org
Algebraic Algorithm of CTL Model Checker
Florentina Laura Cacovean, Emil Marin Popa, Cristina Ioana Brumar, Bogdan Alexandru Brumar
1
Using SDL for the Automatic Generation of JADE Agents
Florin Stoica
9
Cross-layer Quality of Service for Video Wireless Multimedia Delivery: Some Challenges and Principles
Zoran Bojkovic, Dragorad Milovanovic
17
Markov Decision Models for Immune Mechanisms Analysis
Calin Ciufudean, Bianca Satco, Costica Nitu
23
Multi-agent Based Virtual Learning Environment. A Socio-Cultural Approach
Ioana Moisil, Iulian Pah, Boldur Barbat, Emil M. Popa
30
A RFID System Designed for Intelligent Manufacturing Process
Madalin Stefan Vlad, Valentin Sgarciu
36
Enhancing Web Service Composition with Self-healing Facilities
Ioan Salomie, Alexandru Moga, Mihaela Dinsoreanu, Janos Soos
42
A Multivariate Decision Tree Algorithm to Mine Imbalanced Data
Cheng-Jung Tsai, Chien-I Lee, Chiu-Ting Chen, Wei-Pang Yang
50
Computational Time Reduction Using Low Complexity Skip Prediction for H.264/Avc Standard
Zoran Milicevic, Zoran Bojkovic
59
A Visualized Kit for Developing Applications on Multiple Mobile Devices
Chia-Feng Lin, Tzu-Han Kao, Shyan-Ming Yuan
64
Hierarchical Linear Model Analysis of PISA2003 based on Levels of Student and Nation
Hsiao-Fang Lin, Yuan-Horng Lin
72
Computer Aided Monitoring System of Intensive Care Unit Patients
Alberto Curra, Miguel Pereira, Raquel Rivas, Javier Pereira, Gerardo Baños, Jorge Teijeiro, Alejandro Pazos
78
Simple and Multiple Inheritance Compilation for Object-Oriented Structures
Cristina Elena Aron
85
Recursive Programs Analysis using Context Free Languages
Aron Cristina Elena, Popa Emil Marian, Musan Mircea Adrian
91
Algebraic Modelling for Web Mining Applications and for Component Based Web Design
Ioan Pop, Emil Marin Popa
97
Applying Classification Techniques through PMML
Ioan Pop, Iosif Mircea Neamtu
103
Modelling an Economic Process
Iosif Mircea Neamtu, Ioan Pop
110
A Near-Lossless Image Compression Algorithm using Predictive Coding and Vector Quantization
Alina Pitic, Emil Marin Popa, Antoniu Pitic
116
An Optimization Algorithm for Physical Database Design
Adi-Cristina Mitea
122
Abstract State Machines and Program Optimization
Gabriel Sofonea, Marian-Pompiliu Cristescu
128
Evaluation of Knowledge Management Adaptivity for Mobile Interactive E-Learning Environments
Hong-Ren Chen
133
Formal Modeling by a Bi-Parallel Grammar
Adalbert Golomety, Emil M. Popa
139
Translating Programming Languages into Executable Codes
Hunyadi Ioan Daniel
145
Fair Transition Systems Specification
Bogdan A. Brumar, Emil M. Popa, Ioana C. Brumar, Florentina L. Cacovean
153
Chaotic Behaviour of Verhulst's Model of Population System
Jan Capek
159
The Investigation of Developmental Trends for Probabilistic Reasoning with Fuzzy Clustering on Rules
Usage
Yuan-Horng Lin, Min-Ning Yu, Berlin Wu
165
Optimization of Ammonia Reactor using Shooting Methods
Haslinda Zabiri, Suzana Yusup, Nooryusmiza Yusoff, Yong Chin Yew
171
Tube Skin Temperature Prediction of Catalytic Reforming Unit (CRU) Heaters
Suzana Yusup, Nguyen Duy Vinh, Nurhayati Mellon, Abdullah Hassan
183
Forecasting the Daily Flow of the Black Water River using Soft-Computing Techniques
Abdel Karim M. Baareh, Alaa F. Sheta, Khaled Al Khnaifes
190
An Improved Management Model for Tracking Missing Features in Computer Vision Long Image Sequences
Raquel R. Pinho, Joao Manuel R. S. Tavares, Miguel V. Correia
196
Secure Personal Identification System using Java Cards
Valentin Sgarciu, Madalin Stefan Vlad
203
Information Technologies Supporting Students' Mobility
Tomasz Walasek, Jacek Piatkowski, Olga Stawska, Dorota Morawska-Walasek
209
Software Environment for the Laser Precipitation Monitor
Marius Otesteanu, Aurel Gontean, Georgiana Sarbu-Doaga, Rugina Sandra
214
How to set "Don't Care" Pixels when Lossless Compressing Layered Documents
Anna Ansalone, Bruno Carpentieri
220
Regular Expressions of Conditions
Emil M. Popa
226
A Faster Implementation Of Quicksort
Mansoor Al-A'ali
230