Wyszukiwarka
Filtry
wszystkich: 4
Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (3)
Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE
-
Emotions in Human-Computer Interaction Research Group (EMORG)
Potencjał Badawczy* rozpoznawanie emocji użytkownika (ang. emotion elicitation) * reprezentację informacji o emocjach użytkownika (ang. emotion representation/ affect modelling) i zarządzanie nimi * ekspresję emocji lub reakcję na emocje przez programy np. przez wirtualne postaci (ang. affect expression) * wybrane zastosowania to badanie użyteczności oprogramowania rozszerzone o aspekty emocjonalne * badania wzorców behawioralnych w połączeniu...
-
Zespół Sieci Teleinformacyjnych
Potencjał BadawczyDzisiejsza telekomunikacja przechodzi bardzo szybkie i radykalne zmiany wynikające nie tylko z szybkiego postępu technologicznego ale też z potrzeb społeczeństwa informacyjnego. Informacja stała się dobrem, które ma istotny wpływ na kierunek i szybkość zmian kulturowych i materialnych w globalizującym się świecie. Zatem wyzwania, jakie stoją przed telekomunikacją, a tym samym wobec każdego, kto zajmuje się i planuje działać w tym...
-
Katedra Inżynierii Drogowej i Transportowej
Potencjał BadawczyKatedra Inżynierii Drogowej i Transportowej jest jedną z najstarszych katedr Politechniki Gdańskiej. Prowadzi prace naukowo-badawcze obejmujące szereg zagadnień związanych z budową dróg, autostrad i lotnisk oraz w zakresie transportu, ruchu drogowego oraz bezpieczeństwa ruchu drogowego.
Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (1)
Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE
-
Laboratorium Innowacyjnych Zastosowań Informatyki
Oferta BiznesowaBadania nad użytecznością i jakością oprogramowania w różnych zastosowaniach, w szczególności rozpoznawanie emocji użytkowników komputerów oraz badanie użyteczności oprogramowania i doświadczenia użytkownika aplikacji.
Pozostałe wyniki Pokaż wszystkie wyniki (1)
Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE
-
A Method Supporting Monitoring And Repair Processes of Information Systems
PublikacjaW pracy zaproponowano nową metodę (ARM) zarządzania monitorowaniem i naprawą systemów IT, bez przerywania ciągłości ich funkcjonowania. Metoda ta integruje procesy monitorowania (uwzględniając już istniejące i stosowane rozwiązania) z procesami naprawy. Stworzono formalny model koncepcyjny opisujący dziedzinę monitorowania i naprawy oraz formalne specyfikacje mechanizmu napraw oraz wybranych procedur naprawczych. Do specyfikacji...