Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 11-20 de um total de 39 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2017Systematic spreadsheet construction processesMendes, Jorge; Cunha, Jácome; Duarte, Francisco J.; Engels, Gregor; Saraiva, João; Sauer, StefanArtigo em ata de conferênciaAcesso restrito UMinho
1-Jan-2017Quality-Aware Reactive Programming for the Internet of ThingsProença, José Miguel Paiva; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
Abr-2017Transparent cross-system consistencyLoff, João; Baquero, Carlos; Preguiça, Nuno; Porto, Daniel; Garcia, João; Rodrigues, RodrigoArtigo em ata de conferênciaAcesso aberto
23-Abr-2017Borrowing an identity for a distributed counterEnes, Vitor; Baquero, Carlos; Almeida, Paulo Sérgio; Leitão, JoãoArtigo em ata de conferênciaAcesso aberto
23-Abr-2017Compact resettable counters through causal stabilityYounes, Georges; Almeida, Paulo Sérgio; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
2017DottedDB: anti-entropy without merkle trees, deletes without tombstonesGonçalves, Ricardo Jorge Tomé; Almeida, Paulo Sérgio; Baquero, Carlos; Fonte, VictorArtigo em ata de conferênciaAcesso aberto
13-Dez-2017Mining the usage patterns of ROS primitivesSantos, André Fernandes; Cunha, Alcino; Macedo, Nuno; Arrais, Rafael; Dos Santos, Filipe NevesArtigo em ata de conferênciaAcesso aberto
1-Jan-2017A hazard analysis method for systematic identification of safety requirements for user interface software in medical devicesMasci, Paolo; Zhang, Yi; Jones, Paul; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2017Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-webFayollas, Camille; Martinie, Celia; Palanque, Philippe; Masci, Paolo; Harrison, Michael douglas; Campos, José C.; Silva, Saulo Rodrigues eArtigo em ata de conferênciaAcesso aberto
30-Out-2017Jasmin: high-assurance and high-speed cryptographyAlmeida, José Bacelar; Barbosa, ManuelArtigo em ata de conferênciaAcesso aberto
11-20 de um total de 39 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir