CPE
2003
Springer
14 years 6 days ago
2003
Springer
CPE
2003
Springer
14 years 6 days ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
CPE
2003
Springer
14 years 6 days ago
2003
Springer
With EvalVid1 we present a complete framework and tool-set for evaluation of the quality of video transmitted over a real or simulated communication network. Besides measuring QoS ...