Sciweavers

IJCSA
2006
95views more  IJCSA 2006»
13 years 11 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
IJCSA
2006
111views more  IJCSA 2006»
13 years 11 months ago
Using DocBook and XML Technologies to Create Adaptive Learning Content in Technical Domains
This work presents an XML-based authoring methodology that facilitates the different tasks associated with the development of standards-compliant e-learning content development. T...
Iván Martínez-Ortiz, Pablo Moreno-Ge...
IJCSA
2006
91views more  IJCSA 2006»
13 years 11 months ago
Possibilistic Explanation
The philosophy literature has been struggling with the problem of defining causality. There has been extensive discussion about it. Hume taught that talk of causation was metaphys...
Sara Boutouhami, Aïcha Mokhtari
IJCSA
2006
75views more  IJCSA 2006»
13 years 11 months ago
The Recommendation Mechanism in an Internet Information System with Time Impact Coefficient
: In this paper we propose two generic mechanisms implemented in a cadastre internet information system. The first one is the list of last queries submitted by a given user and the...
Dariusz Król, Michal Szymanski, Bogdan Traw...
IJCSA
2006
59views more  IJCSA 2006»
13 years 11 months ago
Enhancing QoS In Web Caching Using Differentiated Services
P. Venketesh, S. N. Sivanandam, S. Manigandan
IJCSA
2006
121views more  IJCSA 2006»
13 years 11 months ago
Evaluation of the RC4 Algorithm for Data Encryption
Analysis of the effect of different parameters of the RC4 encryption algorithm where examined. Some experimental work was performed to illustrate the performance of this algorithm...
Allam Mousa, Ahmad Hamad
IJCSA
2006
129views more  IJCSA 2006»
13 years 11 months ago
The SH-Tree: A Novel and Flexible Super Hybrid Index Structure for Similarity Search on Multidimensional Data
Approaches to indexing and searching feature vectors are an indispensable factor to support similarity search effectively and efficiently. Such feature vectors extracted from real...
Tran Khanh Dang
IJCSA
2006
289views more  IJCSA 2006»
13 years 11 months ago
Cash Forecasting: An Application of Artificial Neural Networks in Finance
Artificial Neural Networks are universal and highly flexible function approximators first used in the fields of cognitive science and engineering. In recent years, Neural Networks...
PremChand Kumar, Ekta Walia
IJCSA
2006
133views more  IJCSA 2006»
13 years 11 months ago
Implementations of Web-based Recommender Systems Using Hybrid Methods
Application of hybrid recommendation enables overcoming disadvantages of the basic recommendation methods: demographic, collaborative and content-based. In this paper the two cons...
Janusz Sobecki
IJCSA
2006
92views more  IJCSA 2006»
13 years 11 months ago
Personalized Integration of Recommendation Methods for E-commerce
The hybrid system of personalized product recommendation in e-commerce, by integrating various methods, was presented in the paper. Each e-commerce user has assigned their own wei...
Przemyslaw Kazienko, Pawel Kolodziejski