Opin vísindi

Browsing by School "Tölvunarfræðideild (HR)"

Browsing by School "Tölvunarfræðideild (HR)"

Sort by: Order: Results:

  • Jaghoori, Mohammad Mahdi; de Boer, Frank; Longuet, Delphine; Chothia, Tom; sirjani, marjan (Springer Science and Business Media LLC, 2016-01-25)
    We present an extension of the actor model with real-time, including deadlines associated with messages, and explicit application-level scheduling policies, e.g.,"earliest deadline first" which can be associated with individual actors. Schedulability ...
  • Islind, Anna Sigridur; Lindroth, Tomas; Lundin, Johan; Steineck, Gunnar (Springer Science and Business Media LLC, 2019-05-20)
    Healthcare is increasingly permeated with digital platforms supporting cooperative care involving both caregivers (i.e. nurses and physicians) and also patients. New mobile technologies allow for patients to continuously monitor and document their ...
  • Bean, Christian; Claesson, Anders; Úlfarsson, Henning Arnór (University of Waterloo, 2017)
    Vincular and covincular patterns are generalizations of classical patterns allowing restrictions on the indices and values of the occurrences in a permutation. In this paper we study the integer sequences arising as the enumerations of permutations ...
  • Bean, Christian (2018-06)
    New automatic methods for enumerating permutation classes are introduced. The first is Struct, which is an algorithm that conjectures a structural description using rules similar to generalized grid classes. These conjectured structural descriptions ...
  • Khamespanah, Ehsan (2018-06)
    In the recent years, formal modeling and verification of realtime systems have become very important. Difficult-to-use modeling languages and inefficient analysis tools are the main obstacles to use formal methods in this domain. Timed actor model is ...
  • Lejsek, Herwig (2016-02)
    This thesis presents the NV-tree (Nearest Vector tree), which addresses thespecific problem of efficiently and effectively finding the approximatek-nearest neighbors within large collections of high-dimensional data points.The NV-tree is a very ...
  • Ali, Jafari (2016-06)
    This dissertation is composed of two parts. In the first part, performance evaluation and verification of safety properties are provided for real-time actors. Recently, the actor-based language, Timed Rebeca, was introduced to model distributed and ...
  • Islind, Anna Sigridur; Snis, Ulrika Lundh; Lindroth, Tomas; Lundin, Johan; Cerna, Katerina; Steineck, Gunnar (Springer Science and Business Media LLC, 2019-05-27)
    Telecare has the potential to increase the quality of care while also decreasing costs. However, despite great potential, efficiency in care practices and cost reduction remain hypothetical. Within computer supported cooperative work (CSCW), one focus ...