1078 search results - page 146 / 216 » Modelling and Verifying of e-Commerce Systems |
149
click to vote
TON
2010
14 years 11 months ago
2010
This paper develops a new model that describes the queueing process of a communication network when data sources use window flow control. The model takes into account the burstines...
141
click to vote
CRV
2008
IEEE
15 years 11 months ago
2008
IEEE
Methods for reconstructing photorealistic 3D graphics models from images or video are appealing applications of computer vision. Such methods rely on good input image data, but th...
135
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
The prevalence of P2P technology contributes the ease of file-sharing, but it also brings some problems such as free-riding and copyright infringement. To solve these problems, ma...
132
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
145
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...