5138 search results - page 581 / 1028 » Low-Entropy Set Selection. |
182
Voted
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
175
Voted
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
176
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
The paper1 presents and compares various unicast nonblocking architectures to be used into space-domain photonic switching networks. All the analyzed architectures have been evalu...
185
Voted
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Many research works address detection and identification of network anomalies using traffic analysis. This paper considers large topologies, such as those of an ISP, with traffic a...
184
click to vote
CIS
2004
Springer
15 years 10 months ago
2004
Springer
rces. A data warehouse can be abstractly seen as a set of materialized views. Selecting views for materialization in a data warehouse is one of the most important decisions making ...