- Tu sei qui:
- Home
- Ricerca
- Technical reports
Technical Reports - 1999
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement
M. Bravetti R. Gorrieri
UBLCS-99-1
Proceedings of the Workshop on Virtual Documents, Hypertext Functionality and the Web
M. Milosavljevic, F. Vitali, C. Watters
UBLCS-99-10
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking
A. Aldini, M. Bernardo, R. Gorrieri
UBLCS-99-11
Simulative and Experimental Analysis of an Adaptive Playout Delay Adjustment Mechanism for Packetized Voice across the Internet
M. Roccetti, V. Ghini, G. Pau
UBLCS-99-12
Theory and Application of Extended Markovian Process Algebra (PhD Thesis)
M. Bernardo
UBLCS-99-13
A Methodology for the Specification of Java Components and Architectures (PhD Thesis)
S. Cimato
UBLCS-99-14
Parallel Discrete Event Simulation Supported by Coordination Languages Based on the Generative Paradigm (PhD Thesis)
A. Fabbri
UBLCS-99-15
Analysis and Automatic Detection of Information Flows in Systems and Networks (PhD Thesis)
R. Focardi
UBLCS-99-16
A Simple Game Semantics Model of Concurrency
Asperti A, Finelli M, Franco G, Marchignoli D
UBLCS-99-17
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors
M. Bravetti R. Gorrieri
UBLCS-99-18
Middleware for Dependable Network Services in Partitionable Distributed Systems
A. Montresor, R. Davoli, O. Babaoglu
UBLCS-99-19
A Theory of Efficiency for Markovian Processes
M. Bernardo W.R. Cleaveland
UBLCS-99-2
Performance Analysis of Software Architectures via a Process Algebraic Description Language
M. Bernardo, P. Ciancarini, L. Donatiello
UBLCS-99-20
Real-Time Traffic Transmission Over the Internet
M. Furini D. Towsley
UBLCS-99-21
On the Expressiveness of Event Notification in Data-driven Coordination Languages
N. Busi G. Zavattaro
UBLCS-99-22
A Reliable Registry for the Jgroup Distributed Object Model
A. Montresor
UBLCS-99-3
Comparing the QoS of Internet Audio Mechanisms via Formal Methods
A. Aldini, M.. Bernardo, R. Gorrieri, M. Roccetti
UBLCS-99-4
Group-Enhanced Remote Method Invocations
A. Montresor, R. Davoli, O. Babaoglu
UBLCS-99-5
Managing Complex Documents over WWW: A case study for XML
Ciancarini Paolo, Vitali Fabio, Mascolo Cecilia
UBLCS-99-6
Data-Flow Hard Real-Time Programs: Scheduling Processors and Communication Channels in a Distributed Environment
R. Davoli F. Tamburini
UBLCS-99-7
The MPS Computer System Simulator
M. Morsiani R. Davoli
UBLCS-99-8
Action Refinement
R. Gorrieri A. Rensink
UBLCS-99-9
