17049 search results - page 3060 / 3410 » cans 2007 |
220
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
149
click to vote
INFORMS
2007
15 years 6 months ago
2007
It has been shown in prior work in management science, statistics and machine learning that using an ensemble of models often results in better performance than using a single ‘...
199
click to vote
INFSOF
2007
15 years 6 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
172
click to vote
INTEGRATION
2007
15 years 6 months ago
2007
In this paper, we propose an efficient algorithm to reduce the voltage noises for on-chip power/ground (P/G) networks of VLSI. The new method is based on the sequence of linear p...
177
click to vote
INTERNET
2007
15 years 6 months ago
2007
The content-based publish/subscribe (pub/sub)paradigm for system design is becoming increasingly popular, offering unique benefits for a large number of data-intensive applicatio...