Encontrados 4 documentos, a visualizar página 1 de 1
Optical switching techniques : device development and implementation in fibre o...
Carvalho, Joel Pedro Peixoto deTese de mestrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2007
Estabilidade estrutural da via ferroviária
Carvalho, Joel Filipe Costa Vieira deTese de mestrado integrado. Engenharia Civil. Faculdade de Engenharia. Universidade do Porto. 2010
Model-checking temporal properties of real-time HTL programs
Carvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa; Sousa, Simão Melo deThis paper describes a tool-supported method for the formal verification of timed properties of HTL programs, supported by the automated translation tool HTL2XTA, which extracts from a HTL program (i) an Uppaal model and (ii) a set of properties that state the compliance of the model with certain automatically inferred temporal constraints. These can be manually extended with other temporal properties provided ...
Localização de Dispositivos Móveis em Redes Wi-Fi
Carvalho, Joel Filipe MachadoA disseminação da tecnologia Wi-Fi para dispositivos móveis (telemóveis, PDA e portáteis) contribuiu em muito para a evolução e generalização das redes Wi-Fi tanto em ambiente empresarial como académico, sendo muitas as organizações que actualmente optam pela flexibilidade e mobilidade das redes Wi-Fi. Tanto dentro de edifícios como em exteriores encontram-se facilmente pontos de acesso Wi-Fi, que através da su...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||