Filters
total: 17
Best results in : Research Potential Pokaż wszystkie wyniki (16)
Search results for: METODY FORMALNE
-
Emotions in Human-Computer Interaction Research Group (EMORG)
Research Potential* 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...
-
Inteligentne Systemy Interaktywne
Research PotentialNaturalne interfejsy, umożliwiające inteligentną interakcję człowiek-maszyna z możliwością oddziaływania na możliwie wszystkie zmysły człowieka równocześnie i bez potrzeby jego wcześniejszego szkolenia w zakresie używania typowych urządzeń zewnętrznych komputera, w tym z wykorzystaniem metod automatycznego rozpoznawania i syntezy mowy, biometrii, proaktywnych (samo-wykonywalnych) dokumentów elektronicznych, rozpoznawania emocji...
-
Katedra Inżynierii Sanitarnej
Research PotentialKatedra realizuje swoje zadania badawcze w takim zakresie jak opracowywanie metody podczyszczania lub oczyszczania ścieków przemysłowych oraz ich pomiary. Drugą gałęzią zainteresowań są modele matematyczne i symulacje procesów oczyszczania ścieków i zagospodarowania osadów, opracowywanie symulacji strategii eksploatacyjnych i działań modernizacyjnych.
Best results in : Business Offer Pokaż wszystkie wyniki (1)
Search results for: METODY FORMALNE
-
Laboratorium Innowacyjnych Zastosowań Informatyki
Business OfferBadania 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.
Other results Pokaż wszystkie wyniki (65)
Search results for: METODY FORMALNE
-
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...
-
Próbne obciążenia statyczne i dynamiczne pali w odniesieniu do zaleceń Eurokodu 7
PublicationOmówiono metody badań oraz zalecenia formalne Eurokodu 7. Na przykładach przedstawiono interpretacje badań nośności pali wg PN-83/B-02482 porównując je do Eurokodu 7.
-
A system automating repairs of IT systems
PublicationThis paper presents two problems that are important nowadays: the problem of IT systems monitoring and the problem of repairing them. It shows the developed solution, aimed to automate the existing industrial repair process and to integrate it with the existing monitoring solutions and mechanisms. Described solution is a part of a bigger whole, called the Repair Management Framework (RMF). This paper presents also briefly a case...
-
An integrated method for security protocols analysis
Publication -
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...