- Tu sei qui:
- Home
- Ricerca
- Technical reports
Technical Reports - 2008
Modelling decision making in fund raising management by a fuzzy knowledge system
L. Barzanti, M. Gaspari, D. Saletti
UBLCS-2008-01
Automatic Code Generation: From Process Algebraic Architectural Descriptions to Multithreaded Java Programs (Ph.D. Thesis)
E. Bonta
UBLCS-2008-02
Interactive Theorem Provers: issues faced as a user and tackled as a developer (Ph.D. Thesis)
E. Tassi
UBLCS-2008-03
Constraint Handling Rules Compositional Semantics and Program Transformation (Ph.D. Thesis)
P. Tacchella
UBLCS-2008-04
Evolutionary Methods for Self-Organizing Cooperation in Peer-to-Peer Networks (Ph.D. Thesis)
S. Arteconi
UBLCS-2008-05
Knowledge Management in Intelligent Tutoring Systems (Ph.D. Thesis)
S. Riccucci
UBLCS-2008-06
A Tuple Space Implementation for Large-Scale Infrastructures (Ph.D. Thesis)
S. Capizzi
UBLCS-2008-07
Cross-Layer Optimizations in Multi-Hop Ad Hoc Networks (Ph.D. Thesis)
M. Di Felice
UBLCS-2008-08
CoopNet: an Agent-based Model to Explore Knowledge Integration and Free Riding in Large Organizations
E. Mollona G. P Jesi
UBLCS-2008-09
Expressiveness of multiple heads in CHR
Di G C, Gabbrielli M, Meo M.C
UBLCS-2008-10
Programming service oriented applications
C. Guidi R. Lucchi
UBLCS-2008-11
A Foundational Theory of Contracts for Multi-party Service Composition
M. Bravetti G. Zavattaro
UBLCS-2008-12
A Theory of Contracts for Strong Service Compliance
M. Bravetti G. Zavattaro
UBLCS-2008-13
A Uniform Approach for Expressing and Axiomatizing Maximal Progress and Different Kinds of Time in Process Algebra
M. Bravetti R. Gorrieri
UBLCS-2008-14
On the Expressive Power of Process Interruption and Compensation
M. Bravetti G. Zavattaro
UBLCS-2008-15
Stochastic Semantics in the Presence of Structural Congruence: Reduction Semantics for Stochastic Pi-Calculus
M. Bravetti
UBLCS-2008-16
Measures of conflict and power in strategic settings
G. Rossi
UBLCS-2008-17
Lebesgue's Dominated Convergence Theorem in Bishop's Style
C. Sacerdoti Coen E. Zoli
UBLCS-2008-18
