612 search results - page 96 / 123 » Bounded model checking for knowledge and real time |
90
Voted
CCR
2008
14 years 9 months ago
2008
Despite the large number of papers on network topology modeling and inference, there still exists ambiguity about the real nature of the Internet AS and router level topology. Whi...
80
Voted
KES
2009
Springer
15 years 4 months ago
2009
Springer
The web data or data originated on the Web contain information and knowledge which allows improving web site efficiency and effectiveness to attract and retain visitors. However, w...
CAAN
2006
Springer
15 years 1 months ago
2006
Springer
Gossiping is a communication primitive where each node of a network possesses a unique message that is to be communicated to all other nodes in the network. We study the gossiping ...
61
Voted
DCC
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. We propose measures for compressed data structures, in which space usage is measured in a data-aware manner. In particular, we consider the fundamental dictionary problem...
CLUSTER
2006
IEEE
15 years 3 months ago
2006
IEEE
The increase in the use of parallel distributed architectures in order to solve large-scale scientific problems has generated the need for performance prediction for both determi...