|
| UBLCS-94-1 |
Further Modifications to the Dexter Hypertext Reference Model:
a Proposal
Penzo, W.; Sola, S.; Vitali, F. |
|
| UBLCS-94-2 |
Symbol-Level Requirements for Agent-Level Programming
Gaspari, M.; Motta, E. |
|
| UBLCS-94-3 |
Extending Prolog with Data Driven Rules
Gaspari, M. |
|
| UBLCS-94-4 |
Schedulability Checking of Data Flow Tasks in Hard-Real-Time
Distributed Systems
Davoli, R.; Giachini, L.A. |
|
| UBLCS-94-5 |
A Shared Dataspace Language and its Compilation
Gaspari, M. |
|
| UBLCS-94-6 |
Exploring the Coordination Space with LO
Castellani, S.; Ciancarini, P. |
|
| UBLCS-94-7 |
Comparative Semantics of LO
Castellani, S.; Ciancarini, P. |
|
| UBLCS-94-8 |
Distributed Conflicts in Communicating Systems
Busi, N.; Gorrieri, R. |
|
| UBLCS-94-9 |
Pseudopolar Array Mask Algorithm for Spherical Coordinate Grid
Surfaces
Amoroso, A.; Casciola, G. |
|
| UBLCS-94-10 |
MPA: a Stochastic Process Algebra
Bernardo, M.; Donatiello, L.; Gorrieri, R. |
|
| UBLCS-94-11 |
Describing Queueing Systems with MPA
Bernardo, M.; Donatiello, L.; Gorrieri, R. |
|
| UBLCS-94-12 |
Operational GSPN Semantics of MPA
Bernardo, M.; Donatiello, L.; Gorrieri, R. |
|
| UBLCS-94-13 |
Experiments in Distributing and Coordinating Knowledge
Ciancarini, P. |
|
| UBLCS-94-14 |
A Comparison of Parallel Search Algorithms Based on Tree
Splitting
Ciancarini, P. |
|
| UBLCS-94-15 |
A Communications Infrastructure for Constructing Reliable
Applications in Large-Scale Distributed Systems
Babaoglu, O.; Baker, M.G.; Davoli, R.; Giachini, L.A. |
|
| UBLCS-94-16 |
Replicated File Management in Large-Scale Distributed
Systems
Babaoglu, O.; Bartoli, A.; Dini, G. |
|
| UBLCS-94-17 |
Parallel Symbolic Computing with the Shared Dataspace
Coordination Model
Ciancarini, P.; Gaspari, M. |
|
| UBLCS-94-18 |
An Algorithmic Method to Build Good Training Sets for
Neural-Network Classifiers
Tamburini, F.; Davoli, R. |
|
| UBLCS-94-19 |
On Group Communication in Large-Scale Distributed Systems
Babaoglu, O.; Schiper, A. |
|
| UBLCS-94-20 |
Dynamic Allocation of Signature Files in Multiple-Disk
Systems
Ciaccia, P. |
|
| UBLCS-94-21 |
Parallel Independent Grid Files Based on a Dynamic Declustering
Method Using Multiple Error Correcting Codes
Ciaccia, P. |
