- Tu sei qui:
- Home
- Ricerca
- Technical reports
Technical Reports - 2006
Lambda-Types on the Lambda-Calculus with Abbreviations: a Certified Specification
F. Guidi
UBLCS-2006-01
On the Quality-Based Evaluation and Selection of Grid Services (Ph.D. Thesis)
S. Andreozzi
UBLCS-2006-02
Transactional Aspects in Coordination and Composition of Web Services (Ph.D. thesis)
L. Bocchi
UBLCS-2006-03
Semantic Frameworks for Implicit Computational Complexity (Ph.D. thesis)
U. Dal Lago
UBLCS-2006-04
Fault Tolerant Knowledge Level Inter-Agent Communication in Open Multi-Agent Systems (Ph.D. thesis)
N. Dragoni
UBLCS-2006-05
Middleware Services for Dynamic Clustering of Application Servers (Ph.D. Thesis)
G. Lodi
UBLCS-2006-06
Meta Model Management for (Semi) Structured and Uncertain Models (Ph.D. thesis)
M. Magnani
UBLCS-2006-07
Towards Abstractions for Web Services Composition (Ph.D. thesis)
M. Mazzara
UBLCS-2006-08
Global Computing: an Analysis of Trust and Wireless Communications (Ph.D. Thesis)
N. Mezzetti
UBLCS-2006-09
Fast and Fair Event Delivery in Large Scale Online Games over Heterogeneous Networks (Ph.D. thesis)
C. E Palazzi
UBLCS-2006-10
Interoperability of Annotation Languages in Semantic Web Applications Design (Ph.D. Thesis)
V. Presutti
UBLCS-2006-11
Advanced Machine Learning Techniques for Digital Mammography (Ph.D. thesis)
M. Roffilli
UBLCS-2006-12
Modular Algorithms for Component Replication (Ph.D. Thesis)
J. Vuckovic
UBLCS-2006-13
Performative Patterns for Designing Verifiable ACLs
N. Dragoni M. Gaspari
UBLCS-2006-14
Towards Flexible Information Systems: Bridging the Gap Between Theory and Practice
M. Magnani D. Montesi
UBLCS-2006-15
Improving the selection of close-native protein structures in decoy sets using a graph theory-based approach
R. Casadio, P. Fariselli, L. Margara, F. Medri, M. Vassura
UBLCS-2006-16
A Secure Peer Sampling Service as a "Hub attack" Countermeasure
G. P Jesi, D. Gavidia, C. Gamage, M. van Steen
UBLCS-2006-17
Modified Realizability and Inductive Types
A. Asperti E. Tassi
UBLCS-2006-18
Towards Automatic Social Bootstrapping of Peer-to-Peer Protocols
D. Hales O. Babaoglu
UBLCS-2006-19
SOCK: a calculus for service oriented computing
C. Guidi, R. Lucchi, G. Zavattaro, N. Busi, R. Gorrieri
UBLCS-2006-20
Evolving Networks for Social Optima in the "Weakest Link Game"
G. Rossi, S. Arteconi, D. Hales
UBLCS-2006-21
Broadcasting at the Critical Threshold in Peer-to-Peer Networks
S. Arteconi, D. Hales, O. Babaoglu
UBLCS-2006-22
Emergent Social Rationality in a Peer-to-Peer System
A. Marcozzi D. Hales
UBLCS-2006-23
Reconstruction of the Protein Structures from Contact Maps
L. Margara, M. Vassura, P. di Lena, F. Medri, P. Fariselli, R. Casadio
UBLCS-2006-24
Lambda Types on the Lambda Calculus with Abbreviations
F. Guidi
UBLCS-2006-25
