Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
    Article

    CRACS starts STAMPA and CALLAS projects in 2008

    CRACS - Center for Research in Advanced Computing Systems, INESC Porto’s most recent member, had two of its projects approved by the Foundation for Science and Technology (FCT). The projects are called STAMPA and CALLAS and they will start being worked on in 2008. The work on these projects will last three years.

    21st September 2007

    The STAMPA project – Sophisticated TAbling Mechanisms for Prolog and their Applications was approved with a 150 thousand Euro budget. The institutions participating in this project are the University of Porto and the University of Évora. Ricardo Rocha from DCC-FCUP & CRACS is its coordinator.

    The project’s aim is to study the combination of tabulation technology with different execution models of Logic Programming, such as the models used in Answer Set Programming and in the Extended Andorra Model. At the same time, by developing new technologies and original functionalities guided by a validation through concrete applications of Inductive logic Programming and Deductive Databases, the intention is to contribute to the state-of-the-art of the current tabulation systems.

    The CALLAS project – Calculi and Languages for Sensor Networks was approved with a 190 thousand Euro budget and its initial goal is to develop formal models based on process calculi that will enable the study of sensor network properties.

    CALLAS intends to use these models as specifications for programming languages and execution environments which may be used in large-scale sensor networks, with the ability to carry out a dynamic reconfiguration. The validation of the developed prototypes will be made through sensor networks and real applications. The institutions participating in this project are the Faculty of Science from the University of Porto, the Faculty of Science from the University of Lisbon and the Instituto de Telecomunicações (Institute of Telecommunications). The researcher in charge of this project is Luís Lopes from DCC-FCUP & CRACS.

    BIP, September 2007