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

Show all in one page (slower)

Technical Reports - DIT-02-017
Language-Based Performance Prediction for Distributed and Mobile Systems
2002, Note: To appear in Information and Computation
Keywords: Operational semantics, Proved transition system, Stochastic process algebra, General distributions, Performance Prediction

Abstract: We present a framework for performance prediction of distributed and mobile systems. We rely on p... See more
Technical Reports - DIT-02-032
The Digital Kernel Perceptron
2002, Note: To be published in Electronics Letters Vol. 38 No. 10 pp. 445 446, 2002
Keywords: Digital Electronics, Neural Networks, Learning Theory

Abstract: In this paper, we show that a kernel-based perceptron can be efficiently implemented in digital h... See more
Technical Reports - DIT-02-070
Knowledge e Management: sono compatibili?
2002, Note: Also in: "Economia e Management N. 3, 2002"
Keywords: paradigmi manageriali, knowledge management, architetture tecnologiche, sistemi distribuiti

Abstract: Knowledge e Management: sono compatibili? See more
Technical Reports - DIT-02-067
Rationality, Autonomy and Coordination: the Sunk Costs Perspective
2002, Note: Also in: "Proceeding of the ESAW'02"
Keywords: Autonomy, Rationality, Coordination

Abstract: Our thesis is that an agent1 is autonomous only if he is capable, within a non predictable enviro... See more
Technical Reports - DIT-02-045
Integrating BDD-based and SAT-based Symbolic Model Checking
2002, Note: In Proc. "Frontiers of Combining Systems, FROCOS'02" Santa Margherita, Italy, 2002. LNAI, N.2309 © Springer Verlag.
Keywords: model checking, SAT, OBDD, integration of procedures

Abstract: Symbolic model checking is a very successful formal verification technique, classically based on ... See more
Technical Reports - DIT-02-014
Coordination specification in MultiAgent Systems. From requirements to architecture with the Tropos methodology
2002, Note: In Proceedings of SEKE '02.

Abstract: The goal of this paper is to propose a new methodology for designing coordination between human a... See more
Technical Reports - DIT-02-028
A system for monitoring NO2 emissions from biomass burning by using GOME and ATSR-2 data
2002, Note: Submitted to International Journal of Remote Sensing

Abstract: In this paper, we propose a system for monitoring abnormal NO2 emissions in troposphere by using ... See more
Technical Reports - DIT-02-024
Combining Parametric and Non-parametric Algorithms for a Partially Unsupervised Classification of Multitemporal Remote-Sensing Images
2002, Note: To be published on Information Fusion
Keywords: multiple-classifier systems, unsupervised retraining algorithms, maximum-likelihood classifier, radial basis function neural networks, expectation-maximization algorithm.

Abstract: In this paper, we propose a classification system based on a multiple-classifier architecture, wh... See more
Technical Reports - DIT-02-037
Exact design solutions for photodiode transimpedance amplifiers based on FET input OP-AMPs
2002
Keywords: photodiodes, transimpedance amplifiers, optical receivers

Abstract: We calculate the transfer function of an optical receiver composed by a photodiode and a FET inpu... See more
Technical Reports - DIT-02-012
Making peer databases interact – A vision for an architecture supporting data coordination
2002, Note: This paper will appear in the "Proceedings of the Conference on Information Agents (CIA 2002), Madrid, September 2002.

Abstract: Our goal in this paper is to study the problem of the interaction among databases in a peer-to-pe... See more