11484 search results - page 2115 / 2297 » Modeling in the Large and Modeling in the Small |
162
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
— End-to-end congestion control mechanisms such as those in TCP are not enough to prevent congestion collapse in the Internet (for starters, not all applications might be willing...
192
click to vote
KES
1999
Springer
15 years 10 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
192
click to vote
NGITS
1999
Springer
15 years 10 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
170
click to vote
STACS
1999
Springer
15 years 10 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
174
click to vote
SP
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...