21324 search results - page 328 / 4265 » Making the case for computing |
121
click to vote
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
153
click to vote
AOSE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The agent-oriented approach has been successfully applied to the solution of complex problems in dynamic open environments. However, to extend its use to mainstream compu...
139
click to vote
IPTPS
2004
Springer
15 years 10 months ago
2004
Springer
Popular P2P file-sharing systems like Gnutella and Kazaa use unstructured network designs. These networks typically adopt flooding-based search techniques to locate files. Whil...
134
click to vote
ICNP
2003
IEEE
15 years 10 months ago
2003
IEEE
Peer-to-peer systems enable efficient resource aggregation and are inherently scalable since they do not depend on any centralized authority. However, lack of a centralized autho...
123
click to vote
VISUALIZATION
2003
IEEE
15 years 10 months ago
2003
IEEE
We describe a visualization application intended for operational use in formulating business strategy in the customer service arena. The visualization capability provided in this ...