Change search
Refine search result
1 - 4 of 4
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Boytsov, Andrey
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Zaslavsky, Arkady
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Formal verification of context and situation models in pervasive computing2013In: Pervasive and Mobile Computing, ISSN 1574-1192, E-ISSN 1873-1589, Vol. 9, no 1, p. 98-117Article in journal (Refereed)
    Abstract [en]

    Pervasive computing is a paradigm that focuses on availability of computer resources anytime anywhere for any application and supports non-intrusive integration of computing services into everyday life. Context awareness is the core feature of pervasive computing. High-level context awareness can be enhanced by situation awareness that represents the ability to detect and reason about the real-life situations. In this article we propose, analyze and validate the formal verification method for situation definitions and demonstrate its feasibility and efficiency. Situations are often defined manually by domain experts and are, therefore, susceptible to definition inconsistencies and possible errors, which in turn can cause situation reasoning problems. The proposed method takes as an input properties of situations and dependencies among them as well as situation definitions in terms of low-level context features, and then either formally proves that the definitions do comply with the expected properties, or provides a complete set of counterexamples — context parameters that prove situation inconsistency. Evaluation and complexity analysis of the proposed approach are also presented and discussed. Examples and evaluation results demonstrate that the proposed approach can be used to verify real-life situation definitions, and detect non-obvious errors in situation specifications.

  • 2.
    Davies, R.J.
    et al.
    University of Ulster.
    Nugent, C.D.
    University of Ulster.
    Donnelly, M.P.
    University of Ulster.
    Hettinga, M.
    Telematica Instituut, Enschede.
    Meiland, F.J.
    VU University Medical Center.
    Moelaert, F.
    Telematica Instituut, Enschede.
    Mulvenna, M.D.
    University of Ulster.
    Bengtsson, Johan
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Distance- Spanning Technology.
    Craig, D.
    Belfast City Hospital/Queen’s University of Belfast.
    Dröes, R.-M.
    VU University Medical Center.
    A user driven approach to develop a cognitive prosthetic to address the unmet needs of people with mild dementia2009In: Pervasive and Mobile Computing, ISSN 1574-1192, E-ISSN 1873-1589, Vol. 5, no 3, p. 253-267Article in journal (Refereed)
    Abstract [en]

    This paper aims to provide the details of the approach adopted in the development of a cognitive prosthetic aimed to help address the unmet needs of people with mild dementia. The approach adopted is based on a waterfall style approach consisting of a series of three phases each of which contributes to the progression and improvement of a cognitive prosthetic-based solution. Within each phase, distinct stages of design, development and evaluation of the cognitive solution are conducted. The current paper discusses the distinct stages conducted in the first phase of the project which resulted in the design and development of a user driven solution based on the needs of 17 patient/carer dyads across three trial sites.

  • 3.
    Kranz, Matthias
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Möller, Andreas
    Technische Unviersität München.
    Hammerla, Nils
    Newcastle University.
    Diewald, Stefan
    Technische Unviersität München.
    Plötz, Thomas
    Newcastle University.
    Olivier, Patrick
    Newcastle University.
    Roalter, Luis
    Technische Unviersität München.
    The mobile fitness coach: towards individualized skill assessment using personalized mobile devices2013In: Pervasive and Mobile Computing, ISSN 1574-1192, E-ISSN 1873-1589, Vol. 9, no 2, p. 203-215Article in journal (Refereed)
    Abstract [en]

    We report on our extended research on GymSkill, a smartphone system for comprehensive physical exercising support, from sensor data logging, activity recognition to on-top skill assessment, using the phone’s built-in sensors. In two iterations, we used principal component breakdown analysis (PCBA) and criteria-based scores for individualized and personalized automated feedback on the phone, with the goal to track training quality and success and give feedback to the user, as well as to engage and motivate regular exercising. Qualitative feedback on the system was collected in a user study, and the system showed good evaluation results in an evaluation against manual expert assessments of video-recorded trainings.

  • 4.
    Padowitz, Amir
    et al.
    Centre for Distributed Systems and Software Engineering, Monash University.
    Loke, Seng Wai
    Department of Computer Science and Computer Engineering Bundoora.
    Zaslavsky, Arkady
    The ECORA framework: A hybrid architecture for context-oriented pervasive computing2008In: Pervasive and Mobile Computing, ISSN 1574-1192, E-ISSN 1873-1589, Vol. 4, no 2, p. 182-215Article in journal (Refereed)
    Abstract [en]

    An infrastructure approach to support context-aware pervasive computing is advantageous for rapid prototyping of context-aware distributed applications and beneficial for unifying modelling of context and reasoning in uncertain conditions. This paper presents the ECORA framework for context-aware computing, which is designed with a focus on reasoning about context under uncertainty and addressing issues of heterogeneity, scalability, communication and usability. The framework follows an agent-oriented hybrid approach, combining centralized reasoning services with context-aware, reasoning capable mobile software agents. The use of a centralized reasoning engine provides powerful reasoning capabilities and deploying context-aware mobile agents enables agility and robustness of components in the pervasive system. The design and implementation of the framework at different levels, as well as three case studies, are presented.

1 - 4 of 4
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf