|
| UBLCS-2003-01 |
Security and Performance Analyses in Distributed Systems (Ph.D
Thesis)
Aldini, A. |
|
| UBLCS-2003-02 |
Models and Types for Wide Area Computing. The calculus of Boxed
Ambients (Ph.D Thesis)
Crafa, S. |
|
| UBLCS-2003-3 |
MathML Formatting (Ph.D Thesis)
|
|
| UBLCS-2003-4 |
Performance Evaluation of Mobile Agents Paradigm for Wireless
Networks (Ph.D. Thesis)
Al Mobaideen, W. |
|
| UBLCS-2003-5 |
Synchronized Hypermedia Documents: a Model and its Applications
(Ph.D Thesis)
Gaggi, O. |
|
| UBLCS-2003-6 |
Searching and Retrieving in Content-Based Repositories of
Formal Mathematical Knowledge (Ph.D. Thesis)
Guidi, F. |
|
| UBLCS-2003-7 |
Intersection Types, Lambda Abstraction Algebras and Lambda
Theories (Ph.D Thesis)
Lusin, S. |
|
| UBLCS-2003-8 |
Towards an ontology-guided search engine
Gaspari, M.; Guidi, D. |
|
| UBLCS-2003-9 |
An Object Based Algebra for Specifying A Fault Tolerant
Software Architecture
Dragoni, N.; Gaspari, M. |
|
| UBLCS-2003-10 |
A Scalable Architecture for Responsive Auction Services Over
the Internet
Amoroso, A.; Fanzieri F. |
|
| UBLCS-2003-11 |
WSSecSpaces: a Secure Data-Driven Coordination Service for Web
Services Applications
Lucchi, R.; Zavattaro, G. |
|
| UBLCS-2003-12 |
Integrating Agent Communication Languages in Open Services
Architectures
Dragoni, N.; Gaspari, M. |
|
| UBLCS-2003-13 |
Perfect load balancing on anonymous trees
Margara, L.; Pistocchi, A.; Vassura, M. |
|
| UBLCS-2003-14 |
Towards Secure Epidemics: Detection and Removal of Malicious
Peers in Epidemic-Style Protocols
Jelasity, M.; Montresor, A.; Babaoglu, O. |
|
| UBLCS-2003-15 |
Gossip-based Unstructured Overlay Networks: An Experimental
Evaluation
Jelasity, M.; Guerraoui, R.; Kermarrec, A-M.; van Steen,
M. |
|
| UBLCS-2003-16 |
Robust Aggregation Protocols for Large-Scale Overlay
Networks
Montresor, A.; Jelasity, M.; Babaoglu, O. |
