Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Use cases are widely used to capture user requirements based on interactions between different roles in the system. They are mostly documented in natural language and sometimes aided with graphical illustrations in the form of use case diagrams. Use cases serve as an important means to communicate among stakeholders, requirement engineers and system engineers as they are easy to understand and are...
Rehabilitation exercises are an important means for gaining mobility and strength after injuries or surgery. Self-exercising in between physio-therapy sessions is vital for effective rehabilitation. Yet, many people do not follow exercise regimes, which can hamper their recovery. This study proposes GEAR - a mobile GamE Assisted Rehabilitation system - to engage users in self-exercising and to improve...
In this paper, we present an evaluation study of a smart parking application prototype that assists drivers with real-time information. The system brings a new contribution beyond the state of the art by adding two novel features: the use of natural language and the ability to react in real-time to changes in parking occupancy. A group of 5 experts evaluated the prototype using Nielsen's set of heuristics...
GEAR, a mobile GamE Assisted Rehabilitation system, is being developed to enhance users' engagement and adherence to their prescribed exercise regime. GEAR consists of a sensor unit encased in a wearable wristband to monitor user's arm movement, a mobile game that incorporates the exercises, and a backend database with a dashboard for clinicians. In this paper we report on the design, prototyping,...
As the Semantic Web is an open, complex and constantly evolving medium, it is the norm, but not exception that information at different sites is incomplete or inconsistent. This poses challenges for the engineering and development of agent systems on the Semantic Web, since autonomous software agents need to understand, process and aggregate this information. Ontology language OWL provides core language...
Cognitive Behavioural Therapy (CBT) is psychotherapy recommended for mental disorders such as Social Anxiety Disorder (SAD) and depression. Wide base of evidence across different studies and clinical practices shows the effectiveness and safety of CBT as compared to other types of treatment. After a face-to-face session with therapists, patients would typically carry out Homework, a central concept...
With the increasing spread and pervasiveness of technologies, the role of gender in the design of these technologies is a topic of growing importance. This paper provides a review and consolidation of the most recent efforts over the past 5 years in understanding the role of gender in interaction design. We discuss, in particular, how recent approaches to gender in human-computer interaction move...
We propose a reusable and extensible hub architecture, Ubiquitous Box Architecture (UBA), which can be used in scenarios where various devices and sensors need to communicate with each other. It includes four main components, namely (1) Ubiquitous Box, (2) Plug in Server, (3) Authorization Server and (4) client applications. To show the robustness of the architecture, we present how UBA can be applied...
With the advent of cloud, a large number of cloud providers have surfaced in the market. Cloud Consumers are rapidly using cloud services(IaaS, PaaS, and SaaS) to meet their business needs while cloud providers are rapidly developing much needed tools and environments. This rapid growth however is creating a significant need to develop fast and controlled mechanisms for managing costs, capacity and...
Due to the inherent complexity of the concurrent behavior, it is difficult to ensure the program satisfies the concurrent properties. CSP#, as a formal language, is used to model the program and the properties can be verified on the CSP# model. It is desirable to have a transformation technique from the CSP# model to the implementation. We implement the CSP# operators in a C# library "PAT. Runtime"...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.