733 search results - page 64 / 147 » Measurements, Analysis, and Modeling of BitTorrent-like Syst... |
126
click to vote
JCISE
2002
15 years 1 months ago
2002
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
141
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
138
click to vote
ICONIP
2010
14 years 11 months ago
2010
With simple cost effective imaging solutions being widely available these days, there has been an enormous rise in the number of images consumers have been taking. Due to this incr...
133
click to vote
ROOM
2000
15 years 2 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...