Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Technical Reports - DISI-10-018
Static Enforcement of Service Deadlines
2010

Abstract: We consider the problem of statically deciding when a service always provides its functionality w... See more
Technical Reports - DISI-09-050
Kernel Integration using von Neumann Entropy
2009

Abstract: Kernel methods provide a computational framework to integrate heterogeneous biological data from ... See more
Technical Reports - DISI-09-059
Implicit Culture Framework for behavior transfer
2009

Abstract: People belong to different communities: business communities, Web 2.0 communities, just to name a... See more
Technical Reports - DISI-09-056
A Calculus of Contracting Processes
2009

Abstract: We propose a formal theory for contract-based computing. A contract is an agreement stipulated be... See more
Technical Reports - DISI-09-056
A Calculus of Contracting Processes
2009

Abstract: We propose a formal theory for contract-based computing. A contract is an agreement stipulated be... See more
Technical Reports - DISI-09-056
A Calculus of Contracting Processes
2009

Abstract: We propose a formal theory for contract-based computing. A contract is an agreement stipulated be... See more
Technical Reports - DISI-09-034
A Logic for Contracts
2009

Abstract: We introduce a logic for modelling contractual committment, and study its properties. Our logic i... See more
Technical Reports - DISI-09-034
A Logic for Contracts
2009

Abstract: We introduce a logic for modelling contractual committment, and study its properties. Our logic i... See more
Technical Reports - DISI-09-033
ν-types for effects and freshness analysis
2009

Abstract: We define a type and effect system for a lambda-calculus extended with side effects, in the form ... See more
Technical Reports - DISI-09-042
Operators for transforming kernels into quasi-local kernels that improve SVM accuracy
2009

Abstract: Motivated by the crucial role that locality plays in various learning approaches, we present, in ... See more