Sciweavers

5378 search results - page 740 / 1076
» Base Logics in Argumentation
Sort
View
PTS
2007
102views Hardware» more  PTS 2007»
15 years 8 months ago
Testing and Model-Checking Techniques for Diagnosis
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
Maxim Gromov, Tim A. C. Willemse
DMDW
2001
91views Management» more  DMDW 2001»
15 years 8 months ago
On Estimating the Cardinality of Aggregate Views
Accurately estimating the cardinality of aggregate views is crucial for logical and physical design of data warehouses. While the warehouse is under development and data are not a...
Paolo Ciaccia, Matteo Golfarelli, Stefano Rizzi
CATA
2003
15 years 8 months ago
Scheduling Imprecise Computations with Wind-up Parts
The imprecise computation model provides the ability to cope with unpredictable workloads. However, there is no consistent way on how to terminate the computation in its early sta...
Hidenori Kobayashi, Nobuyuki Yamasaki, Yuichiro An...
SEBD
2003
98views Database» more  SEBD 2003»
15 years 8 months ago
PAtterns for Next-generation DAtabase systems: preliminary results of the PANDA project
Nowadays, the vast volume of collected digital data obliges us to employ processing methods like pattern recognition and data mining in order to reduce the complexity of data manag...
Ilaria Bartolini, Elisa Bertino, Barbara Catania, ...
ROOM
2000
15 years 8 months ago
An Overview of The Mensurae Language: Specifying Business Processes
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
T. S. E. Maibaum