Sciweavers

1750 search results - page 182 / 350
» E-Commerce Development Procedure
Sort
View
121
Voted
ICITA
2005
IEEE
15 years 10 months ago
Managing the Co-Existing Network of IPv6 and IPv4 under Various Transition Mechanisms
Even though IPv6 has been developed for more than a decade, IPv4 is still the most commonly adopted network protocol. However, the significant changes in the new version may cause...
I-Ping Hsieh, Shang-Juh Kao
KBSE
2005
IEEE
15 years 10 months ago
Learning to verify branching time properties
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
Abhay Vardhan, Mahesh Viswanathan
SG
2005
Springer
15 years 10 months ago
VR-Mirror: A Virtual Reality System for Mental Practice in Post-Stroke Rehabilitation
Developments in basic neurological research and techniques used to train professional athletes suggest that one way of facilitating this learning process of motor schemas is throug...
José Antonio Lozano, Javier Montesa, Mari C...
128
Voted
AOSE
2004
Springer
15 years 10 months ago
Evaluation of Agent-Oriented Software Methodologies - Examination of the Gap Between Modeling and Platform
More and more effort is made to provide methodologies for the development of agent–based systems. Awareness has grown that these are necessary to develop high quality agent syst...
Jan Sudeikat, Lars Braubach, Alexander Pokahr, Win...
129
Voted
GCC
2004
Springer
15 years 10 months ago
Distributed Object Group Framework with Dynamic Reconfigurability of Distributed Services
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...
Chang-Sun Shin, Young-Jee Chung, Su-Chong Joo