- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
A gestão e atualização de bases de dados está, hoje, no centro das preocupações das grandes empresas. Atualmente, para realizar estas tarefas críticas, a aquisição de hardware dedicado é a solução encontrada pela maioria das organizações, mas que significa ainda despesas de gestão e manutenção de hardware e, frequentemente, a necessidade de alocar recursos humanos. Agora, uma plataforma na cloud promete dar resposta às exigências do mercado, com uma tecnologia mais fiável, atualizável em tempo real e com custos à medida das necessidades.
11 janeiro 2020
O Laboratório de Software Confiável (HASLab) do INESC TEC acolheu, no dia 19 de dezembro, seis alunos oriundos de Braga, Guimarães, Santo Tirso e Terras de Bouro, que escolheram o HASLab para conhecer e experimentar a atividade de um investigador na área da Informática. Este acolhimento decorreu no âmbito da edição de 2019 do programa Melhor Estudante na UMinho.
07 janeiro 2020
José Manuel Valença, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e professor catedrático da Escola de Engenharia da Universidade do Minho, deu a sua última lição no dia 18 de outubro, na Universidade do Minho, em Braga.
13 novembro 2019
Uma equipa de investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC participou na 38th International Symposium on Reliable Distributed Systems (SRDS 2019), que decorreu em Lyon, França, de 1 a 4 de outubro, onde apresentou quatro artigos científicos, organizou um workshop, entre outras missões.
13 novembro 2019
O FM’19 – 3rd World Congress on Formal Methods, evento que reúne os especialistas de todo o mundo na área da Informática, realizou-se no Porto, entre os dias 7 e 11 de outubro.
31 outubro 2019
O artigo “Automatically Inferring ClassSheet Models from Spreadsheets” da co-autoria de João Saraiva, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente da Escola de Engenharia da Universidade do Minho, recebeu o prémio Most Influential Paper da conferência internacional VL/HCC 2019, que decorreu em Memphis, Tennessee, USA, de 14 a 18 de outubro.
23 outubro 2019
A “Computação sem Fronteiras”, atividade inserida no programa Verão no Campus 2019 e organizada em colaboração com o Laboratório de Software Confiável (HASLab) do INESC TEC, contou com a participação de 28 alunos do ensino secundário e decorreu de 22 a 26 de julho, no Departamento de Informática da Universidade do Minho, em Braga.
16 agosto 2019
Luís Soares Barbosa, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, e Rui Carlos Oliveira, administrador do INESC TEC e também investigador do HASLab, foram eleitos para o Conselho de Escola e para o Conselho Científico da Escola de Engenharia da Universidade do Minho (EEUM), respetivamente.
30 julho 2019
O INESC TEC, no âmbito do recentemente aprovado projeto europeu InterConnect, participou na 9ª edição da IoT Week, que decorreu de 17 a 21 de junho, em Aarhus, Dinamarca. O INESC TEC é o parceiro líder deste projeto, que arranca oficialmente em outubro de 2019.
26 julho 2019
A emissão e utilização da carta de condução em smartphones e outros dispositivos móveis, com garantias de integridade e autenticidade da informação, privacidade do utilizador e interoperabilidade entre diferentes países vai dar origem à norma internacional ISO 18013-5, que foi discutida na reunião do grupo de trabalho da International Organization for Standardisation (ISO), que decorreu de 1 a 4 de julho, no edifício sede do INESC TEC, no Porto.
26 julho 2019
O artigo intitulado “GreenHub Farmer: Real-world data for Android Energy Mining” foi distinguido com a Special Mention Award na Data Showcase Track.
10 julho 2019
A longevidade das baterias dos dispositivos móveis é um problema para a maioria dos utilizadores. A interação dos utilizadores com estes dispositivos é, muitas vezes, prejudicada pela preocupação constante em que a bateria se acabe. Esse problema pode, no entanto, deixar de existir.
09 julho 2019