Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
OSI protocol testing system based on user friendly test scenario specification functions
IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems
Design and implementation of an interconnectability testing system—AICTS
IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems
Automatic generation of extended UIO sequences for communication protocols in an EFSM model
IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems
A new test sequence generation method for interoperability testing
IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems
Autonomic resource provisioning in rocks clusters using Eucalyptus cloud computing
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Hi-index | 0.00 |
Large, virtualized pools of computational resources raise the possibility of a new, advantageous computing paradigm for scientific research. To help achieve this, new tools make the cloud platform behave virtually like a local homogeneous computer cluster, giving users access to high-performance clusters without requiring them to purchase or maintain sophisticated hardware.