| Topics in Research/Rescue web: | Changed: now 20:54 | Changed by: |
| RescueDescription | 17 Jan 2008 - 21:26 - r3 | SimaoMeloDeSousa |
| #ProjectSummary Project Summary This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code ... | ||
| RescueJobs | 15 Oct 2009 - 23:04 - r7 | NelmaMoreira? |
| Currently active RESCUE related research opportunities (at the undergraduate and post graduate levels) are announced here. PhD Opportunities Domain specific ... | ||
| RescueKickOff | 17 Jan 2008 - 21:11 - r4 | SimaoMeloDeSousa |
| RESCUE kick off meeting (25/01/2008) Where: DI@UBI Covilhã When: Friday, January 25th, 2008 Preliminary Program: 10h45 Opening Session 11h00 ... | ||
| RescueNews | 16 Jan 2008 - 01:11 - NEW | JoseBacelarAlmeida |
| Jan.2008 Kick off meeting (25/01/2008) | ||
| RescuePartners | 25 Jun 2008 - 18:41 - r4 | JoseBacelarAlmeida |
| 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 ... | ||
| RescuePublications | 26 Jul 2011 - 16:49 - r7 | SimaoMeloDeSousa |
| Books José Carlos Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. Rigorous Software Development, An Introduction to Program Verification ... | ||
| RescueTeam | 22 Jul 2011 - 09:26 - r6 | SimaoSousa |
| Universidade da Beira Interior Diogo Filipe Gomes Fialho Joel Silva Carvalho Nuno Miguel Pires Gaspar Simão Patrício Melo de Sousa (PI) Faculdade ... | ||
| WebAtom | 24 Jan 2006 - 06:07 - r2 | TWikiContributor |
| TWiki's Research/Rescue web | ||
| WebChanges | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
| WebCss | 16 Jan 2008 - 01:12 - r2 | JoseBacelarAlmeida |
| .natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... | ||
| WebHome | 16 Jul 2013 - 15:53 - r15 | JorgeSousaPinto |
| REliable and Safe Code execUtion for Embedded systems This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation ... | ||
| WebIndex | 15 Nov 2006 - 19:43 - r4 | TWikiContributor |
| WebLeftBar | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
| " warn "off"}% | ||
| WebNotify | 28 Mar 2005 - 09:40 - r5 | TWikiContributor |
| TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration | ||
| WebPreferences | 21 Jul 2011 - 16:25 - r21 | SimaoSousa |
| Research/Rescue Web Preferences The following settings are web preferences of the Research/Rescue web. These preferences overwrite the site level preferences ... | ||
| WebRss | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
| " else "TWiki's Research/Rescue web"}% /Research/Rescue | ||
| WebSearch | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
| WebSearchAdvanced | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
| WebSideBar | 16 Jan 2008 - 01:45 - r3 | JoseBacelarAlmeida |
| Overview Home Project Description Partners Rescue Team Research Team Job Opportunities Intranet Results Publications Tools Events ... | ||
| WebStatistics | 16 Jan 2008 - 00:55 - r125 | JoseBacelarAlmeida |
| Statistics for Research/Rescue Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... | ||
| WebTopicCreator | 15 Nov 2006 - 19:43 - r2 | TWikiContributor |
| WebTopicList | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |