34 search results - page 5 / 7 » Hierarchically Performed Hazard Origin and Propagation Studi... |
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
TFS
2011
14 years 4 months ago
2011
Fuzzy pattern tree induction was recently introduced as a novel machine learning method for classification. Roughly speaking, a pattern tree is a hierarchical, tree-like structur...
TKDE
1998
14 years 9 months ago
1998
—The Client-Server computing paradigm has significantly influenced the way modern Database Management Systems are designed and built. In such systems, clients maintain data pages...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
— We propose a new scheme for content distribution of large files that is based on network coding. With network coding, each node of the distribution network is able to generate...
DOLAP
2000
ACM
15 years 1 months ago
2000
ACM
We consider the view maintenance problem in a web-based environment, in which clients query information from databases, stored in the form of materialized data warehouses, without...