8154 search results - page 1381 / 1631 » Understanding changes in use cases: A case study |
178
click to vote
INFOCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
— We study hybrid search schemes for unstructured peer-to-peer networks. We quantify performance in terms of number of hits, network overhead, and response time. Our schemes comb...
164
click to vote
ISCC
2005
IEEE
16 years 7 days ago
2005
IEEE
During the last years there have been a lot of proposals in the literature for systems that attempt to manage the process of trust establishment. However, the engineering details ...
180
click to vote
LCN
2005
IEEE
16 years 7 days ago
2005
IEEE
A performance model is presented for an optical packet switch architecture in which the wavelength converters are shared per output link and each output link consists of multiple ...
145
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
178
click to vote
SEFM
2005
IEEE
16 years 6 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...