4418 search results - page 567 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
205
click to vote
P2P
2005
IEEE
16 years 8 days ago
2005
IEEE
A number of solutions have been proposed to address the free-riding problem in peer-to-peer file sharing systems. The solutions are either imperfect–they allow some users to ch...
177
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
Current Quality of Service models such as those embodied in the Differentiated Services proposals, rely on data path aggregation to achieve scalability. Data path aggregation bund...
131
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
169
click to vote
CHARME
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
192
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
SALSA is a link-based ranking algorithm that takes the result set of a query as input, extends the set to include additional neighboring documents in the web graph, and performs a...