Selaus nimekkeen mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

Viitteet 12-31 / 72

    • Design and evaluation of web interface signs to improve web usability : a semiotic framework 

      Islam, Muhammad Nazrul
      TUCS Dissertations : 184 (Turku Centre for Computer Science (TUCS), 17.10.2014)
      Technological innovations, the development of the internet, and globalization have increased the number and complexity of web applications. As a result, keeping web user interfaces understandable and usable (in terms of ...

    • Design and validation of stateful composite RESTful web services 

      Rauf, Irum
      TUCS Dissertations : 177 (Turku Centre for Computer Science (TUCS), 16.06.2014)
      A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to ...

    • Diagrammatic Languages and Formal Verification : A Tool-Based Approach 

      Parsa, Masoumeh (Åbo Akademi - Åbo Akademi University, 02.09.2022)
      The importance of software correctness has been accentuated as a growing number of safety-critical systems have been developed relying on software operating these systems. One of the more prominent methods targeting the ...

    • DIANA : Distributed and Safe Autonomous Navigation for a Swarm of Autonomous Vehicles 

      Majd, Amin (Åbo Akademi University, 07.05.2021)
      The autonomous systems are typical examples of complex distributed cyber-physical systems (CPS). The main characteristics of such systems is the use of autonomous vehicles. They are increasingly used in various mission-critical ...

    • Drivers and barriers of mobile travel and tourism service adoption : a study of individual perceptions and business model development in a travel and tourism context 

      Eriksson, Niklas (Åbo Akademi - Åbo Akademi University, 11.10.2013)
      The Travel and Tourism field is undergoing changes due to the rapid development of information technology and digital services. Online travel has profoundly changed the way travel and tourism organizations interact with ...

    • Efficient and low-cost software defined radio on commodity hardware 

      Grönroos, Stefan
      TUCS Dissertations : 218 (Turku Centre for Computer Science (TUCS), 11.11.2016)
      As general purpose processors become faster, many signal processing functions that used to require special purpose hardware, are now feasible to perform in software. In wireless communications, this means we move towards ...

    • Energy Aware Runtime Systems for Elastic Stream Processing Platforms 

      Rexha, Hergys (Åbo Akademi - Åbo Akademi University, 22.08.2023)
      Following an invariant growth in the required computational performance of processors, the multicore revolution started around 20 years ago. This revolution was mainly an answer to power dissipation constraints restricting ...

    • Energy aware software for many-core systems 

      Holmbacka, Simon
      TUCS Dissertations : 208 (Turku Centre for Computer Science (TUCS), 11.12.2015)
      Many-core systems provide a great potential in application performance with the massively parallel structure. Such systems are currently being integrated into most parts of daily life from high-end server farms to desktop ...

    • Evaluating multidimensional visualization techniques in data mining tasks 

      Marghescu, Dorina
      TUCS Dissertations : 107 (Turku Centre for Computer Science (TUCS), 07.11.2008)
      Visual data mining (VDM) tools employ information visualization techniques in order to represent large amounts of high-dimensional data graphically and to involve the user in exploring data at different levels of detail. ...

    • Examining human-centered design practice in the mobile apps era 

      Eshet, Eyal
      TUCS Dissertations : 212 (Turku Centre for Computer Science (TUCS), 10.06.2016)
      Human-Centered Design (HCD) is a well-recognized approach to the design of interactive computing systems that supports everyday and professional lives of people. To that end, the HCD approach put central emphasis on the ...

    • Formal Analysis of Network Routing Protocols 

      Kamali, Mojgan
      TUCS Dissertations : 242 (Turku Centre for Computer Science (TUCS), 23.08.2019)
      The use of wireless networks has been on the rise for some time now, from the ubiquitous smart phones and laptops in use everywhere, to sensor networks collecting large amounts of data. In this dissertation, we focus on ...

    • Formal development and quantitative verification of dependable systems 

      Tarasyuk, Anton
      TUCS Dissertations : 156 (Turku Centre for Computer Science (TUCS), 28.01.2013)
      Modern software-intensive systems are becoming increasingly complex. Yet we are observing the pervasive use of software in such critical infrastructures as transportation systems, healthcare, telecommunication, energy ...

    • Formal development of resilient distributed systems 

      Pereverzeva, Inna
      TUCS Dissertations : 203 (Turku Centre for Computer Science (TUCS), 02.10.2015)
      Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the ...

    • Formal Model Refinement for Complex Biological Systems 

      Sanwal, Muhammad Usman (Åbo Akademi - Åbo Akademi University, 20.03.2020)
      There is a big interest in building large biological models and various approaches are being used for constructing such systems. Larger models are needed in system-level approaches (such as systems biology, systems medicine, ...

    • Formal modelling for digital media distribution 

      Sandvik, Petter
      TUCS Dissertations : 206 (Turku Centre for Computer Science (TUCS), 13.11.2015)
      Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological ...

    • Fraud detection in the banking sector : a multi-agent approach 

      Buoni, Alessandro
      TUCS Dissertations : 150 (Turku Centre for Computer Science (TUCS), 08.11.2012)
      Fraud is an increasing phenomenon as shown in many surveys carried out by leading international consulting companies in the last years. Despite the evolution of electronic payments and hacking techniques there is still ...

    • Fuzzy ontology for knowledge mobilisation and decision support 

      Wikström, Robin (Åbo Akademi - Åbo Akademi University, 13.06.2014)
      A growing concern for organisations is how they should deal with increasing amounts of collected data. With fierce competition and smaller margins, organisations that are able to fully realize the potential in the data ...

    • Fuzzy real option analysis in patent related decision making and patent valuation 

      Wang, Xiaolu (Åbo Akademi - Åbo Akademi University, 12.06.2015)
      The shift towards a knowledge-based economy has inevitably prompted the evolution of patent exploitation. Nowadays, patent is more than just a prevention tool for a company to block its competitors from developing rival ...

    • How computer programmers work : understanding software development in practise 

      Suenson, Espen
      TUCS Dissertations : 197 (Turku Centre for Computer Science (TUCS), 12.06.2015)
      Hur arbetar en framgångsrik programmerare? Uppgifterna att programmera datorspel och att programmera industriella, säkerhetskritiska system verkar tämligen olika. Genom en noggrann empirisk undersökning jämför och kontrasterar ...

    • In search of information systems value : a case study of the EHR benefits realisation efforts of three Swedish hospitals. 

      Jeansson, John (Åbo Akademi - Åbo Akademi University, 27.05.2014)
      The Swedish public health care organisation could very well be undergoing its most significant change since its specialisation during the late 19th and early 20th century. At the heart of this change is a move from using ...