|
| UBLCS-95-1 |
Performance Preorder and Competitive Equivalence
Corradini, F.; Gorrieri, R.; Roccetti, M. |
|
| UBLCS-95-2 |
The Clepsydra Methodology
Ciaccia, P.; Ciancarini, P.; Penzo, W. |
|
| UBLCS-95-3 |
A Unified Framework for the Specification and Run-time
Detection of Dynamic Properties in Distributed Computations
Babaoglu, O.; Fromentin, E.; Raynal, M. |
|
| UBLCS-95-4 |
Effective Applicative Structures
Asperti, A.; Ciabattoni, A. |
|
| UBLCS-95-5 |
An Open Framework for Cooperative Problem Solving
Gaspari, M.; Motta, E.; Stutt, A. |
|
| UBLCS-95-6 |
Considering New Guidelines in Group Interface Design: a
Group-Friendly Interface for the CHAOS System
Bottura, D.; Maioli, C.; Mangiaracina, S. |
|
| UBLCS-95-7 |
Modelling Interaction in Agent Systems
Dalmonte, A.; Gaspari, M. |
|
| UBLCS-95-8 |
Building Hypermedia for Learning: a Framework Based on the
Design of User Interface
Mangiaracina, S.; Maioli, C. |
|
| UBLCS-95-9 |
The Bologna Optimal Higher-Order Machine
Asperti, A.; Giovannetti, C.; Naletto, A. |
|
| UBLCS-95-10 |
Synchronization Support and Group-Membership Services for
Reliable Distributed Multimedia Applications
Panzieri, F.; Roccetti, M. |
|
| UBLCS-95-11 |
The Inherent Cost of Strong-Partial View-Synchronous
Communication
Babaoglu, O.; Davoli, R.; Giachini, L.A.; Sabattini, P. |
|
| UBLCS-95-12 |
On the Complexity of Beta-Reduction
Asperti, A. |
|
| UBLCS-95-13 |
Optimal Multi-Block Read Schedules for Partitioned Signature
Files
Ciaccia, P. |
|
| UBLCS-95-14 |
Integrating Performance and Functional Analysis of Concurrent
Systems with EMPA
Bernardo, M.; Donatiello, L.; Gorrieri, R. |
|
| UBLCS-95-15 |
On Programming with View Synchrony
Babaoglu, O.; Bartoli, A.; Dini, G. |
|
| UBLCS-95-16 |
Generative Communication in Process Algebra
Ciancarini, P.; Gorrieri, R.; Zavattaro, G. |
|
| UBLCS-95-17 |
Dynamic Declustering Methods for Parallel Grid Files
Ciaccia, P.; Veronesi, A. |
|
| UBLCS-95-18 |
Group Membership and View Synchrony in Partitionable
Asynchronous Distributed Systems: Specifications
Babaoglu, O.; Davoli, R.; Montresor, A. |
