1926 search results - page 149 / 386 » From P to MP Systems |
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
P2P
2009
IEEE
15 years 4 months ago
2009
IEEE
Peer-to-peer content dissemination applications suffer immensely from freeriders, i.e., nodes that do not provide their fair share. The Tit-for-Tat (TfT) incentives have received ...
93
Voted
P2P
2007
IEEE
15 years 4 months ago
2007
IEEE
An important security issue in DHT-based structured overlay networks is to provide anonymity to the storage nodes. Compromised routing tables in those DHTs leak information about ...
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Recent research efforts in the fields of data stream processing and data stream management systems (DSMSs) show the increasing importance of processing data streams, e. g...
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...