ICDCSW
2000
IEEE
14 years 3 months ago
2000
IEEE
ICDCSW
2000
IEEE
14 years 3 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
ICDCSW
2000
IEEE
14 years 3 months ago
2000
IEEE
ICDCSW
2000
IEEE
14 years 3 months ago
2000
IEEE
ICDCSW
2000
IEEE
14 years 3 months ago
2000
IEEE
In this paper we will show that it is possible to combine mobile agent technology with existing non-mobile data mining applications. The motivation for this is the advantage mobil...
ICDCSW
2000
IEEE
14 years 3 months ago
2000
IEEE
In this paper, we present a novel routing protocol for wireless ad hoc networks – Fisheye State Routing (FSR). FSR introduces the notion of multi-level fisheye scope to reduce ...
ICDCSW
2000
IEEE
14 years 3 months ago
2000
IEEE
One of the main problems to ensure the quality of services (QoS) in video playback in a replicated distributed video player system is how to adapt to the changing network traffic ...
ICDCSW
2000
IEEE
14 years 3 months ago
2000
IEEE
ICDCSW
2000
IEEE
14 years 3 months ago
2000
IEEE
ICDCSW
2000
IEEE
14 years 3 months ago
2000
IEEE
In this paper, we describe a new paradigm for information retrieval in which the retrieval target is based on a model. Three types of models – linear, finite state, and knowledg...