
SENSORIA is a european research project with the aim to develop a novel comprehensive approach to the engineering of software systems for service-oriented architectures where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach.
Link: www.sensoria-ist.eu
Focus (FOundations of Component-based Ubiquitous Systems) is a joint effort between Inria (France) and the University of Bologna (Italy), and with the external participation of Foundation Bruno Kessler (Trento, Italy) and ENS Lyon (France).
Focus investigates the semantic foundations for Ubiquitous Computing (UC). The foundations are intended as instrumental to formalizing and verifying important computational properties of the systems, as well as to propose linguistic constructs for them. Prototypes are developed to test the implementability and usability of the models and the techniques.
Link: focus.cs.unibo.it
CRS4 (Center for Advanced Studies, Research and Development in Sardinia) is an interdisciplinary research center developing advanced simulation techniques and applying them, by means of High Performance Computing, to the solution of large scale computational problems, and developing innovative applications in the field of the Information and Communications Technology.
Link: www.crs4.it