ICDCSW
2000
IEEE
13 years 11 months ago
2000
IEEE
ICDCSW
2000
IEEE
13 years 11 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
13 years 11 months ago
2000
IEEE
ICDCSW
2000
IEEE
13 years 11 months ago
2000
IEEE
ICDCSW
2000
IEEE
13 years 11 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
13 years 11 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
13 years 11 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
13 years 11 months ago
2000
IEEE
ICDCSW
2000
IEEE
13 years 11 months ago
2000
IEEE
ICDCSW
2000
IEEE
13 years 11 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...