5804 search results - page 245 / 1161 » Doing more with less |
153
click to vote
P2P
2005
IEEE
16 years 6 days ago
2005
IEEE
Peer-to-peer file-sharing systems have hundreds of thousands of users sharing petabytes of data, however, their search functionality is limited. In general, query results contain...
185
click to vote
QEST
2005
IEEE
16 years 6 days ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
166
click to vote
SCAM
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...
174
click to vote
ASIACRYPT
2005
Springer
16 years 5 days ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
142
click to vote
COSIT
2005
Springer
16 years 5 days ago
2005
Springer
In previous empirical work humans did not recognize the definition of most topological operators for regions by their names in two geospatial information systems (GIS). This work d...