1078 search results - page 203 / 216 » Modelling and Verifying of e-Commerce Systems |
ICDCS
2005
IEEE
15 years 7 months ago
2005
IEEE
IT today is driven by the trend of increasing scale and complexity. Utility and Grid computing models, PlanetLab, and traditional data centers, are reaching the scale of thousands...
168
click to vote
ENTCS
2006
15 years 1 months ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
127
Voted
JSAC
2007
15 years 1 months ago
2007
— We consider the design of Tomlinson-Harashima (TH) precoders for broadcast channels in the presence of channel uncertainty. For systems in which uplink-downlink reciprocity is ...
122
click to vote
SIGMETRICS
2002
ACM
15 years 1 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
118
Voted
PE
2010
Springer
15 years 8 days ago
2010
Springer
Correlations in traffic patterns are an important facet of the workloads faced by real systems, and one that has far-reaching consequences on the performance and optimization of t...