11484 search results - page 662 / 2297 » Modeling in the Large and Modeling in the Small |
188
click to vote
ECBS
2005
IEEE
16 years 1 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
187
click to vote
INFOCOM
2005
IEEE
16 years 1 months ago
2005
IEEE
We discuss the modelling of FAST TCP and prove four stability results. Using the traditional continuous-time flow model, we prove, for general networks, that FAST TCP is globally ...
182
click to vote
PPOPP
2005
ACM
16 years 1 months ago
2005
ACM
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
220
click to vote
ICCS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
177
click to vote
ITRUST
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems in particular. The fo...