2373 search results - page 304 / 475 » Towards a Model of Computer Systems Research |
178
click to vote
APIN
2006
15 years 6 months ago
2006
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
170
click to vote
GLOBECOM
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract— Peer-to-Peer (P2P) systems provide decentralization, self-organization, scalability and failure-resilience, but suffer from high worst-case latencies. Researchers have ...
167
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
167
click to vote
WS
2006
ACM
16 years 7 days ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...
162
click to vote
SIGMETRICS
2005
ACM
15 years 12 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...