10038 search results - page 1678 / 2008 » Model Checking for Managers |
185
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
As a decision support information system, a data warehouse must provide high level quality of data and quality of service. In the DWQ project we have proposed an architectural fram...
178
click to vote
IH
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a new stochastic approach which can be applied with di erent watermark techniques. The approach is based on the computation of a Noise Visibility Function NVF ...
168
click to vote
EP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Multimedia style sheet systems uniformly use a constraintbased model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and...
213
click to vote
ICMCS
1997
IEEE
15 years 10 months ago
1997
IEEE
An important concept in the available bit rate (ABR) service model as defined by the ATM Forum is the minimum cell rate (MCR) guarantee as well as the peak cell rate (PCR) constra...
170
click to vote
SPIRE
1998
Springer
15 years 10 months ago
1998
Springer
We present a fast compression and decompression technique for natural language texts. The novelty is that the exact search can be done on the compressed text directly, using any k...