|
| UBLCS-2002-1 |
A Timed Join Calculus
Buenzli, D.; Laneve, C. |
|
| UBLCS-2002-2 |
A Process Algebraic Approach for the Analysis of Probabilistic
Non-interference
Aldini, A.; Bravetti, M.; Gorrieri, R. |
|
| UBLCS-2002-3 |
Quality of Service and Resources` Optimization in Wireless
Networks with Mobile Hosts (Ph.D Thesis)
Bononi, L. |
|
| UBLCS-2002-4 |
Specification and Analysis of Stochastic Real-Time Systems
(Ph.D. Thesis)
Bravetti, M. |
|
| UBLCS-2002-5 |
QoS-Adaptive Middleware Services (Ph.D. Thesis)
Ghini, V. |
|
| UBLCS-2002-6 |
Towards a Semantic Web for Formal Mathematics (Ph.D.
Thesis)
Schena, I. |
|
| UBLCS-2002-7 |
Revisiting Interactive Markov Chains
Bravetti, M. |
|
| UBLCS-2002-8 |
User untraceability in the next-generation Internet: a
proposal
Mauro Tortonesi ; Renzo Davoli |
|
| UBLCS-2002-09 |
Towards Adaptive, Resilient and Self-Organizing Peer-to-Peer
Systems
Montresor, A.; Meling, H.; Babaoglu, O. |
|
| UBLCS-2002-10 |
Towards Self-Organizing, Self-Repairing and Resilient
Distributed Systems
Montresor, A.; Meling, H.; Babaoglu, O. |
|
| UBLCS-2002-11 |
Messor: Load-Balancing through a Swarm of Autonomous
Agents
Montresor, A.; Meling, H.; Babaoglu, O. |
|
| UBLCS-2002-12 |
Johanna: Open Collaborative Technologies for
Teleorganizations
Gaspari, M.; Picci, L.; Petrucci, A.; Faglioni, G. |
