Searching for "Comparing the QoS of Internet audio mechanisms via formal methods." – sorted by Relevance.
-
Comparing the QoS of Internet Audio Mechanisms via Formal Methods
- Comparing the QoS of Internet Audio Mechanisms via Formal Methods Alessandro Aldini and Roberto
- Cited by 7 (6 self) – Add To MetaCart
-
Client-centered Load Distribution: A Mechanism for Constructing Responsive Web Services.
- -admin@(email omitted);. Recent titles from the UBLCS Technical Report Series 99-4 Comparing the QoS of Internet Audio Mechanisms
- Cited by 13 (2 self) – Add To MetaCart
-
Analysis and Automatic Detection of Information Flows in Systems and Networks
- Object Model, A. Montresor, March 1999. 99-4 Comparing the QoS of Internet Audio Mechanisms via Formal
- Cited by 9 (2 self) – Add To MetaCart
-
A Methodology for the Specification of Java Components and Architectures
- Object Model, A. Montresor, March 1999. 99-4 Comparing the QoS of Internet Audio Mechanisms via Formal
- Add To MetaCart
-
A Theory of Efficiency for Markovian Processes
- Object Model, A. Montresor, March 1999. 99-4 Comparing the QoS of Internet Audio Mechanisms via Formal
- Cited by 1 (1 self) – Add To MetaCart
-
Action Refinement
- -4 Comparing the QoS of Internet Audio Mechanisms via Formal Methods, A. Aldini, M. Bernardo, R. Gorrieri, M
- Cited by 14 (3 self) – Add To MetaCart
-
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking
- Distributed Object Model, A. Montresor, March 1999. 99-4 Comparing the QoS of Internet Audio Mechanisms via
- Cited by 9 (6 self) – Add To MetaCart
-
Group-Enhanced Remote Method Invocations
- for the Jgroup Distributed Object Model, A. Montresor, March 1999. 99-4 Comparing the QoS of Internet Audio
- Cited by 5 (0 self) – Add To MetaCart
-
Performance Analysis of Software Architectures via a Process Algebraic Description Language
- Object Model, A. Montresor, March 1999. 99-4 Comparing the QoS of Internet Audio Mechanisms via Formal
- Cited by 3 (1 self) – Add To MetaCart

