Sciweavers

1672 search results - page 184 / 335
» New directions in services management
Sort
View
AH
2000
Springer
15 years 10 months ago
Knowledge Computing Method for Enhancing the Effectiveness of a WWW Distance Education System
Abstract. The ultimate aim of our research is a free, evolutionary, Internetbased, agent-based, long-distance teaching environment for academic English. For this purpose, we are bu...
Alexandra I. Cristea, Toshio Okamoto
USENIX
2003
15 years 7 months ago
GNU Mailman, Internationalized
GNU Mailman is a mailing list management system that has been in production use since 1998. In December 2002, a version 2.1 was released containing many new features. This paper w...
Barry A. Warsaw
COOPIS
1998
IEEE
15 years 10 months ago
A Dynamic and Adaptive Cache Retrieval Scheme for Mobile Computing
Recent advances in wireless technologies have made the mobile computing a reality. In order to provide services of good quality to mobile users and improve the system performance,...
Wen-Chih Peng, Ming-Syan Chen
PSTV
1993
123views Hardware» more  PSTV 1993»
15 years 7 months ago
On the Verification of Temporal Properties
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
Patrice Godefroid, Gerard J. Holzmann
PIMRC
2008
IEEE
16 years 27 days ago
Active Highways (Position Paper)
—Highways are an essential component of our society because they are critical to quality of life and to local and national economies. Under good conditions, highways provide a sa...
Liviu Iftode, Stephen Smaldone, Mario Gerla, James...