3742 search results - page 583 / 749 » On the Use of Formal Techniques for Validation |
145
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper, we examine a number of newly applied methods for combining pre-retrieval query performance predictors in order to obtain a better prediction of the query...
219
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
We address issues related to privacy protection in location-based services (LBS). Most existing research in this field either requires a trusted third-party (anonymizer) or uses ...
192
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
Circuit activity is a function of input patterns. When circuit activity changes abruptly, it can cause sudden drop or rise in power supply voltage. This change is known as power d...
154
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
— For 65nm and below devices, even after optical proximity correction (OPC), the gate may still be non-rectangular. There are several limited works on the device and circuit char...
176
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The Peer Sampling Service (PSS) has been proposed as a method to initiate and maintain the set of connections between nodes in unstructured peer to peer (P2P) networks. The PSS us...