MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Comparing the QoS of Internet audio mechanisms via formal methods." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

ATOM

Comparing the QoS of Internet Audio Mechanisms via Formal Methods
by Ro Aldini, Roberto Gorrieri, Marco Roccetti, Marco Bernardo — 1980 — ACM Transactions on Modelling and Computer Simulation 11(1):1-42, ACM
… 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.
by Vittorio Ghini, Fabio Panzieri, Marco Roccetti — 2000 — In Proceedings of the 34th Hawaii International Conference on System Sciences - 2001
…-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
by Riccardo Focardi — 1999 — Department of Computer Science
… 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
by Stelvio Cimato July, Stelvio Cimato — 1999
… 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
by Marco Bernardo, W. Rance Cleaveland, Mura Anteo Zamboni — 2000
… 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
by Roberto Gorrieri, Arend Rensink, Mura Anteo Zamboni — 2000 — Handbook of Proacess Algebra
…-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
by Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Mura Anteo Zamboni — 1999
… 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
by Alberto Montresor, Renzo Davoli, Özalp Babaoglu, Ozalp Babao Glu — 1999
… 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
by Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello, M. Bravetti, M. Bernardo, R. Gorrieri — 2000 — In Proc. WOSP 2000, ACM
… 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

Showing 1 through 9.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB