4693 search results - page 834 / 939 » Verifying Hybrid Systems |
95
Voted
CN
2004
15 years 16 days ago
2004
A number of web cache-related algorithms, such as replacement and prefetching policies, rely on specific characteristics present in the sequence of requests for efficient performa...
122
click to vote
COMCOM
2004
15 years 16 days ago
2004
Bluetooth is a new short-range radio technology to form a small wireless system. In most of the current Bluetooth products, the master polls the slaves in a round robin manner and...
105
click to vote
COMPSEC
2004
15 years 16 days ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
107
click to vote
CI
2000
15 years 16 days ago
2000
This paper discusses a fundamental problem in natural language generation: how to organize the content of a text in a coherent and natural way. In this research, we set out to det...
113
Voted
DPD
2002
15 years 15 days ago
2002
Data mining is a new, important and fast growing database application. Outlier (exception) detection is one kind of data mining, which can be applied in a variety of areas like mon...