http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue The Research/Rescue web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2010 by contributing authors TWiki Administrator [webmaster@di.uminho.pt] The contributing authors of TWiki TWiki http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue http://twiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpg http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescueJobs Currently active RESCUE related research opportunities (at the undergraduate and post graduate levels) are announced here. PhD Opportunities Domain specific ... (last changed by NelmaMoreira) 2009-10-15T23:04:32Z NelmaMoreira http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescuePublications Papers in Journals 2008 David Pereira and Nelma Moreira. KAT and PHL in COQ. Computer Science and Information Systems, 05(02), December 2008. ISSN: 1820 0214. Papers ... (last changed by NelmaMoreira) 2009-10-14T19:41:39Z NelmaMoreira http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebHome REliable and Safe Code execUtion for Embedded systems This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation ... (last changed by SimaoMeloDeSousa) 2008-07-01T11:50:24Z SimaoMeloDeSousa http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescueTeam Universidade da Beira Interior Simão Patrício Melo de Sousa (PI) Ricardo Manuel Carrola Simões Faculdade de Ciencias da Universidade do Porto (LIACC) ... (last changed by JoseBacelarAlmeida) 2008-06-25T18:42:04Z JoseBacelarAlmeida http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescuePartners FCUP/LIACC (principal contractor) http://www.isep.ipp.pt ISEP/ http://www.hurray.isep.ipp.pt/ http://cctc.uminho.pt http://www.di.ubi.pt ... (last changed by JoseBacelarAlmeida) 2008-06-25T18:41:21Z JoseBacelarAlmeida http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescueDescription #ProjectSummary Project Summary This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code ... (last changed by SimaoMeloDeSousa) 2008-01-17T21:26:34Z SimaoMeloDeSousa http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescueKickOff RESCUE kick off meeting (25/01/2008) Where: DI@UBI Covilhã When: Friday, January 25th, 2008 Preliminary Program: 10h45 Opening Session 11h00 ... (last changed by SimaoMeloDeSousa) 2008-01-17T21:11:37Z SimaoMeloDeSousa http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebPreferences Research/Rescue Web Preferences The following settings are web preferences of the Research/Rescue web. These preferences overwrite the site level preferences ... (last changed by JoseBacelarAlmeida) 2008-01-16T01:53:47Z JoseBacelarAlmeida http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebSideBar Overview Home Project Description Partners Rescue Team Research Team Job Opportunities Intranet Results Publications Tools Events ... (last changed by JoseBacelarAlmeida) 2008-01-16T01:45:06Z JoseBacelarAlmeida http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebCss .natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... (last changed by JoseBacelarAlmeida) 2008-01-16T01:12:30Z JoseBacelarAlmeida http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/RescueNews Jan.2008 Kick off meeting (25/01/2008) (last changed by JoseBacelarAlmeida) 2008-01-16T01:11:54Z JoseBacelarAlmeida http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebTopicList (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebSearchAdvanced (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebTopicCreator (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebIndex (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://twiki.di.uminho.pt/twiki/bin/view/Research/Rescue/WebSearch (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor