Selaus asiasanan mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

    • A Compiler Approach to Map Algebra for Raster Spatial Modeling 

      Carabaño Bravo, Jesús
      TUCS Dissertations : 243 (Turku Centre for Computer Science (TUCS), 30.08.2019)
      Modeling and simulation enables the study of spatial phenomena that are otherwise impossible to reproduce in the physical world. On the one hand, digital models replicate the shape and state of the Earth with bits and bytes ...
    • A practice perspective on organizational implementation of information technology 

      Vuokko, Riikka
      TUCS Dissertations : 132 (Turku Centre for Computer Science (TUCS), 20.12.2010)
      Implementering av ett informationssystem ur en organisatorisk synvinkel initieras av en idé om ett system och avslutas då användningen av det inte längre kräver en medveten ansträngning. Ifall tolkningen av implementering ...
    • A quantitative view on fuzzy numbers 

      Mezei, József
      TUCS Dissertations : 142 (Turku Centre for Computer Science (TUCS), 08.12.2011)
      Since its introduction, fuzzy set theory has become a useful tool in the mathematical modelling of problems in Operations Research and many other fields. The number of applications is growing continuously. In this thesis ...
    • Agent-based management systems for many-core platforms : rigorous design and efficient implementation 

      Ostroumov, Sergey
      TUCS Dissertations : 196 (Turku Centre for Computer Science (TUCS), 05.06.2015)
      Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems ...
    • Applications of graph transformation in tools for domain-specific modeling languages 

      Lundkvist, Torbjörn (Åbo Akademi - Åbo Akademi University, 17.06.2011)
      The use of domain-specific languages (DSLs) has been proposed as an approach to cost-e ectively develop families of software systems in a restricted application domain. Domain-specific languages in combination with the ...
    • Combining model-based testing and stepwise formal development 

      Malik, Qaisar Ahmad
      TUCS Dissertations : 130 (Turku Centre for Computer Science (TUCS), 04.10.2010)
    • Computational models for and from biology : simple gene assembly and reaction systems 

      Azimi, Sepinoud
      TUCS Dissertations : 205 (Turku Centre for Computer Science (TUCS), 06.11.2015)
      The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention ...
    • Consistency of UML based designs using ontology reasoners 

      Khan, Ali Hanzala
      TUCS Dissertations : 168 (Turku Centre for Computer Science (TUCS), 19.12.2013)
      Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, ...
    • Cost-efficient virtual machine management : provisioning, admission control, and consolidation 

      Ashraf, Adnan
      TUCS Dissertations : 183 (Turku Centre for Computer Science (TUCS), 09.10.2014)
      One of the main challenges in Software Engineering is to cope with the transition from an industry based on software as a product to software as a service. The field of Software Engineering should provide the necessary ...
    • 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 ...
    • 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 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, ...