Projects

Projects and correlated activities.

Research Projects Funded by the European Commission

NETMUSIC: New Education Technology in Music Field (Leonardo da Vinci Program, Transfer Of Innovation 2007/IT/178)
SENSORIA: Software Engineering for Service-Oriented Overlay Computers
DELIS Dynamically Evolving, Large Scale Information Systems (Integrated Project IST-001907)
BISON: Biology-Inspired techniques for Self Organization in dynamic Networks. (IST-2001-38923)
ADAPT: Middleware Technologies for Adaptive and Composable Distributed Components. (IST-2001-37126)
MKM-Net: Mathematical Knowledge Management Network (IST-2001-37057)
TAPAS: Trusted and QoS-Aware Provision of Application Services. (IST-2001-34069)
MOWGLI: Mathematics on the Web: Get it by Logic and Interfaces. (IST-2001-33562)
COORDINA (Linguistic Support for Multiple Cooperating Agents) Esprit Working Group.
CONFER (CONcurrency and Functions: Evaluation and Reduction) Esprit Working Group.
BROADCAST (Large-Scale Distributed Systems) Esprit Working Group.
PageSpace (Using coordination for active pages in the Web) Esprit Basic Research Project.
CaberNet (Distributed Computing Systems Architectures) Esprit Network of Excellence.
RENOIR (Requirements Engineering) Esprit Network of Excellence.
ToolIP: Tools and Methods for IP (EUREKA E! 2365, Medea+ programme -A511 project)

Projects Funded by national Institutions

MIUR Interlink Project for International Research: Joint Ph. D Program in Computer Science, University of Bologna - University of California at Los Angeles. Scientific Coordinator: Marco Roccetti
PERF: Performance Evaluation of Complex Systems: Techniques, Methodologies and Tools, FIRB project
SAHARA: Software ArchitecturesSoftware Architectures for Heterogeneous Access Networks infrastructures. (PRIN 2001)
McTAFI: Constructive Methods in Topology, Algebra and Foundation of Computer Science. (PRIN 2002)
COVER: Constraint based VErification of Reactive systems. (PRIN 2002)
PROTOCOLLO: Application of Linear Logic: optimal redution, bounded computations, lambda-models. (PRIN 2002)
MEFISTO: (PRIN 2002)
AIDA: (PRIN 2004)
SYBILLA: System Biology: Modelling, Languages and Analysis. (PRIN 2004)
Dynamics and performance determinants in clusters of firms: A computational approach: (PRIN 2004)
ReAl WiNe: Resource Allocation in Wireless Networks
APRWS: Architectures and Protocols for Replicated Web Services (CNR/MIUR)
New Dynamical models for understanding and designing corporate strategy: (CNR/MIUR CNRC004195_002)

Projects Funded by the University of Bologna

Johanna: Open Collaborative Technologies for Teleorganizations

Research Projects Supported by Sun Microsystems

Jgroup:  Java-based Replication
Anthill: Agent-based evolutionary framework for Peer-to-Peer system

Research Projects Supported by STMicroelectronics

Adaptive Protocol Framework and Applications for Wireless Ad Hoc Networks

Research Projects Supported by Microsoft

Network-aware programming and interoperability (Grant no: 2001-44)