Percorrer por autor Casimiro, António

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou inserir as letras iniciais:  
Mostrar resultados 1-20 de 22.  próximo >
DataTítuloAutor(es)TipoAcesso
Jul-2003Concretização de um cenário de carros cooperantes num ambiente móvel sem fiosSousa, Paulo; Martins, Pedro; Casimiro, António; Veríssimo, PauloreportopenAccess
Fev-2002CORTEX: Towards Supporting Autonomous and Cooperating Sentient ObjectsVeríssimo, Paulo; Cahill, V.; Casimiro, António; Cheverst, K.; Friday, A.; Kaiser, J.reportopenAccess
Jul-2003Definition of Application ScenariosBiegel, G.; Blair, G.; Cahill, V.; Casimiro, António; Cheverst, K.; Cunningham, R.; Fitzpatrick, A.; Friday, A.; Gaertner, G.; Hughes, B.; Kaiser, J.; Meier, R.; Riejers, N.; Veríssimo, PauloreportopenAccess
12-Jul-2012Evaluating Lightweight Dependable Adaptation in 802.15.4 Wireless Sensor NetworksMarques, Luís; Casimiro, AntónioreportopenAccess
Jul-2000Event Timestamping Tool: a simple PC based kernel to timestamp distributed eventsMartins, Pedro; Casimiro, AntónioreportopenAccess
Out-2007A framework for dependable adaptation in probabilistic environmentsCasimiro, António; Lolinni, Paolo; Dixit, Mónica; Bondavalli, Andrea; Veríssimo, PauloreportopenAccess
17-Set-2012Lightweight Dependable Adaptation for Wireless Sensor NetworksCasimiro, António; Marques, LuísreportopenAccess
Jul-2003Preliminary definition of CORTEX interaction modelBiegel, G.; Brudna, C.; Casimiro, António; Kaiser, J.; Liu, C.; Mitidieri, C.; Veríssimo, PauloreportopenAccess
Jul-2003Preliminary definition of CORTEX programming modelBarron, P.; Biegel, G.; Cahill, V.; Casimiro, António; Clarke, S.; Cunningham, R.; Fitzpatrick, A.; Gaertner, G.; Hughes, B.; Kaiser, J.; Meier, R.; Veríssimo, PauloreportopenAccess
Jul-2003Preliminary definition of CORTEX system architectureBrudna, C.; Cahill, V.; Casimiro, António; Cunningham, R.; Kaiser, J.; Meier, R.; Veríssimo, PauloreportopenAccess
Jul-2003Preliminary Specification of Basic Services and ProtocolsBlair, G.; Brudna, C.; Cahill, V.; Casimiro, António; Cunningham, R.; Duran-Limon, H.; Kaiser, J.; Martins, Pedro; Veríssimo, PauloreportopenAccess
15-Dez-2009A Probabilistic Framework for Automatic and Dependable Adaptation in Dynamic EnvironmentsDixit, Mônica; Casimiro, António; Verissimo, Paulo; Lollini, Paolo; Bondavalli, AndreareportopenAccess
Jul-2003Proof-of-concept prototypesCahill, V.; Casimiro, António; Kaiser, J.; Martins, Pedro; Reynolds, V.; Sousa, Paulo; Veríssimo, Paulo; Wu, M.reportopenAccess
Set-2007Resilient architecture (preliminary version)Casimiro, António; Bondavalli, Andrea; Ceccarelli, A.; Daidone, A.; Falai, L.; Frejek, P.; Giandomenico, F.; Huszerl, G.; Killijian, M-O.; Kövi, A.; Matthiesen, E.V.; Moniz, Henrique; Renier, T.; Roy, M.reportopenAccess
Set-2007Revised reference modelArlat, J.; Kaâniche, Mohamed; Bondavalli, Andrea; Calha, Mario; Casimiro, António; Daidone, A.; Falai, L.; Huszerl, G.; Killijian, M-O.; Kövi, A.; Liu, Y.; Lolinni, Paolo; Matthiesen, E.V.; Radimirsch, M.; Renier, T.; Rivière, N.; Roy, M.; Schwefel, H-P.; Svinnset, I-E.; Waeselynck, H.reportopenAccess
Jul-2003The CORTEX Programming ModelBiegel, G.; Blair, G.; Brudna, C.; Cahill, V.; Casimiro, António; Clarke, S.; Duran-Limon, H.; Fitzpatrick, A.; Friday, A.; Hughes, B.; Kaiser, J.; Meier, R.; Reynolds, V.; Veríssimo, Paulo; Wu, M.reportopenAccess
Mai-1999The Timely Computing BaseVeríssimo, Paulo; Casimiro, AntónioreportopenAccess
Dez-2003Timely Actions in the Presence of Uncertain TimelinessCasimiro, AntóniodoctoralThesisopenAccess
2-Nov-2010Timeout Adaptive Consensus: Improving Performance through AdaptationDixit, Mônica; Moniz, Henrique; Casimiro, AntónioreportopenAccess
Nov-1999Timing Failure Detection with a Timely Computing BaseCasimiro, António; Veríssimo, PauloreportopenAccess