Výsledky vyhledávání - "Augusto, J. C."

Elektronická kniha

State of the Art in AI Applied to Ambient Intelligence

Autor: Aztiria, Asier, Augusto, J. C., Orlandini, Andrea

We are moving towards a future where environments respond to human preferences and needs. In this world, smart devices equipped with intelligent features and the capability to sense, communicate with and support humans in daily activities will be unr

Zobrazit plný text záznamu

Report

Concurrent Development of Model and Implementation

Autor: Gravell, A., Howard, Y., Augusto, J. C., Ferreira, C., Gruner, S.

Publikováno v: 16th International Conference on Software and Systems Engineering and their Applications (ICSSEA 2003)

This paper considers how a formal mathematically-based model can be used in support of evolutionary software development, and in particular how such a model can be kept consistent with the implementation as it changes to meet new requirements. A numb

Externí odkaz: http://arxiv.org/abs/1111.2826

Zobrazit plný text záznamu

Report

Model-Based Trace-Checking

Autor: Howard, Y., Gruner, S., Gravell, A., Ferreira, C., Augusto, J. C.

Publikováno v: UK Software Testing Research Workshop 2003

Trace analysis can be a useful way to discover problems in a program under test. Rather than writing a special purpose trace analysis tool, this paper proposes that traces can usefully be analysed by checking them against a formal model using a stand

Externí odkaz: http://arxiv.org/abs/1111.2825

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Kniha

Workshop proceedings of the 7th International Conference on Intelligent Environments [elektronicky zdroj] / edited by J.C. Augusto ... [et al.].

Externí odkaz: Kolekce e-knih KNAV

Evaluating AAL systems through competitive benchmarking

Autor: Augusto J. C., Barsocchi P., Furfari F.

Publikováno v: Journal of ambient intelligence and smart environments
5 (2013): 143–144. doi:10.3233/AIS-120196
info:cnr-pdr/source/autori:Augusto J. C.; Barsocchi P.; Furfari F./titolo:Evaluating AAL systems through competitive benchmarking/doi:10.3233%2FAIS-120196/rivista:Journal of ambient intelligence and smart environments (Print)/anno:2013/pagina_da:143/pagina_a:144/intervallo_pagine:143–144/volume:5

We are pleased to announce the third EvAAL Competition. EvAAL aims at bringing together academic and industrial research communities to work together on challenging and open problems in Ambient Assisted Living (AAL), with the purpose of evaluating di

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0b117eb69d50b0ff086882d1e554cdc7
http://www.cnr.it/prodotto/i/277140

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání