hh.sePublications
Change search
Refine search result
1234567 1 - 50 of 726
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)
  • 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)
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.
    Aceto, L.
    et al.
    School of Computer Science, Reykjavik University, Iceland.
    Birgisson, A.
    Department of Computer Science and Engineering, Chalmers University of Technology, Sweden.
    Ingolfsdottir, A.
    School of Computer Science, Reykjavik University, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, TU/Eindhoven, Eindhoven, Netherlands.
    Decompositional Reasoning about the History of Parallel Processes2011In: Fundamentals of software engineering: revised selected papers, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 4171, 32-47 p.Conference paper (Refereed)
    Abstract [en]

    This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. In order to highlight the main ideas and technical tools, processes are described using a subset of CCS with parallel composition, nondeterministic choice, action prefixing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language. © 2012 Springer-Verlag.

  • 2.
    Aceto, L.
    et al.
    School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland.
    Fokkink, W. J.
    Department of Computer Science, Vrije Universiteit Amsterdam, 1081 HV Amsterdam, Netherlands.
    Ingólfsdóttir, A.
    School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, 5600 MB Eindhoven, Netherlands.
    Lifting non-finite axiomatizability results to extensions of process algebras2010In: Acta Informatica, ISSN 0001-5903, E-ISSN 1432-0525, Vol. 47, no 3, 147-177 p.Article in journal (Refereed)
    Abstract [en]

    This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioural (pre)congruences over process algebras from old ones. The proposed technique is based on a variation on the classic idea of reduction mappings. In this setting, such reductions are translations between languages that preserve sound (in)equations and (in)equational provability over the source language, and reflect families of (in)equations responsible for the non-finite axiomatizability of the target language. The proposed technique is applied to obtain a number of new non-finite axiomatizability theorems in process algebra via reduction to Moller's celebrated non-finite axiomatizability result for CCS. The limitations of the reduction technique are also studied. In particular, it is shown that prebisimilarity is not finitely based over CCS with the divergent process Ω, but that this result cannot be proved by a reduction to the non-finite axiomatizability of CCS modulo bisimilarity. This negative result is the inspiration for the development of a sharpened reduction method that is powerful enough to show that prebisimilarity is not finitely based over CCS with the divergent process Ω. © 2010 Springer-Verlag.

  • 3.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS-101 Reykjavik, Iceland.
    Birgisson, Arnar
    Department of Computer Science and Engineering, Chalmers University of Technology, Sweden.
    Ingolfsdottir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS-101 Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Reniers, Michel A.
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Rule Formats for Determinism and Idempotence2012In: Science of Computer Programming, ISSN 0167-6423, Vol. 77, 889-907 p.Article in journal (Refereed)
    Abstract [en]

    Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two identical specifications or programs will result in a piece of specification or program that is equivalent to the original components. In this paper, we propose (related) meta-theorems for guaranteeing the determinism and idempotence of binary operators. These meta-theorems are formulated in terms of syntactic templates for operational semantics, called rule formats. In order to obtain a powerful rule format for idempotence, we make use of the determinism of certain transition relations in the definition of the format for idempotence. We show the applicability of our formats by applying them to various operational semantics from the literature. © 2010 Elsevier B.V. All rights reserved.

  • 4.
    Aceto, Luca
    et al.
    School of Computer Science, Reykjavik University, Iceland.
    Birgisson, Arnar
    School of Computer Science, Reykjavik University, Iceland & Department of Computer Science and Engineering, Chalmers University of Technology, Sweden.
    Ingólfsdóttir, Anna
    School of Computer Science, Reykjavik University, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, TU/Eindhoven, Eindhoven, Netherlands.
    Decompositional Reasoning about the History of Parallel Processes2010Report (Other academic)
    Abstract [en]

    Decompositional reasoning aims at automatically decomposing a global property of a composite system into local properties of (possibly unknown) components. In concurrency theory, decompositional reasoning techniques date back to the seminal work of Larsen and Liu in the late 1980s and early 1990s. However, we are not aware of any such decomposition technique that applies to reasoning about the "past". In this paper, we address this problem and present a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. As a language for processes, we use a subset of Milner's CCS with parallel composition, non-deterministic choice, action prefixing and the inaction constant. We focus on developing decompositional reasoning techniques for parallel contexts in that language.

  • 5.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Cimini, Matteo
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Ingolfsdottir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Reniers, Michel A.
    Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Rule Formats for Distributivity2012In: Theoretical Computer Science, ISSN 0304-3975, Vol. 458, 1-28 p.Article in journal (Refereed)
    Abstract [en]

    This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered. © 2012 Elsevier B.V. All rights reserved.

  • 6.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Cimini, Matteo
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Ingolfsdottir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Reniers, Michel A.
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    SOS Rule Formats for Zero and Unit Elements2011In: Theoretical Computer Science, ISSN 0304-3975, Vol. 412, no 28, 3045-3071 p.Article in journal (Refereed)
    Abstract [en]

    This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study. © 2011 Elsevier B.V. All rights reserved.

  • 7.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Cimini, Matteo
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Ingólfsdóttir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Reniers, Michael A.
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    On Rule Formats for Zero and Unit Elements2010Report (Other academic)
    Abstract [en]

    This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.

  • 8.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Cimini, Matteo
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Ingólfsdóttir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Reniers, Michael A.
    Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Rule Formats for Distributivity2010Report (Other academic)
    Abstract [en]

    This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats.

  • 9.
    Aceto, Luca
    et al.
    School of Computer Science, Reykjavik University, Iceland.
    Cimini, Matteo
    School of Computer Science, Reykjavik University, Iceland.
    Ingólfsdóttir, Anna
    School of Computer Science, Reykjavik University, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Reniers, Michel A.
    Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Rule Formats for Distributivity2011In: Language and Automata Theory and Applications: 5th International Conference : Proceedings / [ed] Adrian Horia Dediu, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 6638, 79-90 p.Conference paper (Refereed)
    Abstract [en]

    This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. © 2011 Springer-Verlag.

  • 10.
    Aceto, Luca
    et al.
    Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland.
    Fokkink, Wan
    Vrije Universiteit Amsterdam, NL-1081HV, The Netherlands.
    Ingólfsdóttir, Anna
    Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland.
    Mousavi, Mohammad Reza
    Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands.
    Lifting non-finite axiomatizability results to extensions of process algebras2008In: Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 / [ed] Ausiello, G, Karhumaki, J, Mauri, G, Ong, L, New York: Springer-Verlag New York, 2008, Vol. 273, 301-316 p.Conference paper (Refereed)
    Abstract [en]

    This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral semantics over process algebras from old ones. The proposed technique is based on a variation on the classic idea of reduction mappings. In this setting, such reductions are translations between languages that preserve sound (in)equations and (in)equational proofs over the source language, and reflect families of (in)equations responsible for the non-finite axiomatizability of the target language. The proposed technique is applied to obtain a number of new non-finite axiomatizability theorems in process algebra via reduction to Moller’s celebrated non-finite axiomatizability result for CCS. The limitations of the reduction technique are also studied.

  • 11.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Fokkink, Wan J.
    Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands.
    Ingólfsdóttir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Lifting non-finite axiomatizability results to extensions of process algebras2008Report (Other academic)
  • 12.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Goriac, Eugen-Ioan
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Ingolfsdottir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Reniers, Michel A.
    Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Exploiting Algebraic Laws to Improve Mechanized Axiomatizations2013In: Algebra and Coalgebra in Computer Science: 5th International Conference, Calco 2013, Warsaw, Poland, September 2013, Proceedings, Berlin: Springer Berlin/Heidelberg, 2013, 36-50 p.Conference paper (Refereed)
    Abstract [en]

    In the field of structural operational semantics (SOS), there have been several proposals both for syntactic rule formats guaranteeing the validity of algebraic laws, and for algorithms for automatically generating ground-complete axiomatizations. However, there has been no synergy between these two types of results. This paper takes the first steps in marrying these two areas of research in the meta-theory of SOS and shows that taking algebraic laws into account in the mechanical generation of axiomatizations results in simpler axiomatizations. The proposed theory is applied to a paradigmatic example from the literature, showing that, in this case, the generated axiomatization coincides with a classic hand-crafted one. © 2013 Springer-Verlag Berlin Heidelberg.

  • 13.
    Aceto, Luca
    et al.
    School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland.
    Ingólfsdóttir, A.
    School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, 5600 MB Eindhoven, Netherlands.
    Reniers, M. A.
    Algebraic properties for free!2009In: Bulletin of the European Association for Theoretical Computer Science, ISSN 0252-9742, Vol. 99, 81-103 p.Article in journal (Refereed)
    Abstract [en]

    Algebraic properties specify some natural properties of programming and specification constructs. This paper provides an overview of techniques to guarantee or generate algebraic properties of language constructs by investigating the syntactic shape of the deduction rules defining their operational semantics.

  • 14.
    Aceto, Luca
    et al.
    Department of Computer Science, Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland.
    Ingólfsdóttir, Anna
    Department of Computer Science, Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland.
    Impossibility results for the equational theory of timed CCS2007In: Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings, Berlin: Springer Berlin/Heidelberg, 2007, Vol. 4624, 80-95 p.Conference paper (Refereed)
    Abstract [en]

    We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR'90. Common to Wang Yi's paper, we particularly focus on a class of linearly-ordered time domains exemplified by the positive real or rational numbers. We show that, even when the set of basic actions is a singleton, there are parallel Timed CCS processes that do not have any sequential equivalent and thus improve on the Gap Theorem for Timed CCS presented by Godskesen and Larsen in FSTTCS'92. Furthermore, we show that timed bisimilarity is not finitely based both for single-sorted and two-sorted presentations of Timed CCS. We further strengthen this result by showing that, unlike in some other process algebras, adding the untimed or the timed left-merge operator to the syntax and semantics of Timed CCS does not solve the axiomatizability problem.

  • 15.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Ingólfsdóttir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Reniers, Michel A.
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    A Rule Format for Unit Elements2009Report (Other academic)
    Abstract [en]

    This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.

  • 16.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University Kringlan 1, IS-103 Reykjavik, Iceland.
    Ingólfsdóttir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University Kringlan 1, IS-103 Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology P.O. Box 513, NL-5600 MB Ei ndhoven, The Netherlands.
    Reniers, Michel A.
    Department of Computer Science, Eindhoven University of Technology P.O. Box 513, NL-5600 MB Ei ndhoven, The Netherlands.
    A rule format for unit elements2010In: SOFSEM 2010: Theory and Practice of Computer Science: Proceedings / [ed] VanLeeuwen, J, Muscholl, A, Peleg, D, Pokorny, J, Rumpe, B, Berlin: Springer Berlin/Heidelberg, 2010, Vol. 5901, 141-152 p.Conference paper (Refereed)
    Abstract [en]

    This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.

  • 17.
    Aceto, Luca
    et al.
    Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad RezaEindhoven University of Technology, Eindhoven, The Netherlands.
    Proceedings First International Workshop on Process Algebra and Coordination2011Conference proceedings (editor) (Other academic)
    Abstract [en]

    Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and programming communication of components. Hence, the two fields seem to have very much in common and the link between these two research areas have been established formally by means of several translations, mainly from coordination languages to process algebras. There have also been proposals of process algebras whose communication policy is inspired by the one underlying coordination languages. The aim of this workshop was to push the state of the art in the study of the connections between process algebra and coordination languages by bringing together experts as well as young researchers from the two fields to communicate their ideas and findings. It includes both contributed and invited papers that have been presented during the one day meeting on Process Algebra and Coordination (PACO 2011) which took place on June 9, 2011 in Reykjavik, Iceland.

  • 18.
    Aerts, Arend
    et al.
    Control Systems Technology Group, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Mousavi, Mohammad Reza
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Reniers, Michel A.
    Control Systems Technology Group, Eindhoven University of Technology, Eindhoven, The Netherlands.
    A Tool Prototype for Model-Based Testing of Cyber-Physical Systems2015In: Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings / [ed] Martin Leucker, Camilo Rueda, and Frank D. Valencia, Cham: Springer, 2015, Vol. 9399, 563-572 p.Conference paper (Refereed)
    Abstract [en]

    We report on a tool prototype for model-based testing of cyber-physical systems. Our starting point is a hybrid-system model specified in a domain-specific language called Acumen. Our prototype tool is implemented in Matlab and covers three stages of model-based testing, namely, test-case generation, test-case execution, and conformance analysis. We have applied our implementation to a number of typical examples of cyber-physical systems in order to analyze its applicability. In this paper, we report on the result of applying the prototype tool on a DC-DC boost converter. © Springer International Publishing Switzerland 2015

  • 19.
    Aerts, Arend
    et al.
    Eindhoven University of Technology, Eindhoven, The Netherlands.
    Reniers, Michel A.
    Eindhoven University of Technology, Eindhoven, The Netherlands.
    Mousavi, Mohammad Reza
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Model-Based Testing of Cyber-Physical Systems2016In: Cyber-Physical Systems: Foundations, Principles and Applications / [ed] H. Song, D.B. Rawat, S. Jeschke, and Ch. Brecher, Saint Louis: Elsevier, 2016, 287-304 p.Chapter in book (Refereed)
    Abstract [en]

    Cyber-physical systems (CPSs) are the result of the integration of connected computer systems with the physical world. They feature complex interactions that go beyond traditional communication schemes and protocols in computer systems. One distinguished feature of such complex interactions is the tight coupling between discrete and continuous interactions, captured by hybrid system models.

    Due to the complexity of CPSs, providing rigorous and model-based analysis methods and tools for verifying correctness of such systems is of the utmost importance. Model-based testing (MBT) is one such verification technique that can be used for checking the conformance of an implementation of a system to its specification (model).

    In this chapter, we first review the main concepts and techniques in MBT. Subsequently, we review the most common modeling formalisms for CPSs, with focus on hybrid system models. Subsequently, we provide a brief overview of conformance relations and conformance testing techniques for CPSs. © 2017 Elsevier Inc. All rights reserved.

  • 20.
    Afrim, Cerimi
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Norén, Joakim
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Motåtgärder vid IT-forensisk liveanalys2011Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    Live Analysis is a concept that in this paper means analyzing a computer system while it is running. This can be done for several reasons, such as when there is a risk that the system has encryption which can be activated when the system shuts down. Otherwise, it is common if you want to examine network connections, active processes or other phenomena that can be volatile, i.e. disappear when the system shuts down. This work will focus on countermeasures to live forensic analysis and describe different methods and strategies that can be used for these countermeasures. For example, we wrote a program that automatically shuts down the system when you insert a USB memory stick or any other media. These are usually the media which you have your forensic programs on when you do a live analysis. Other important elements of the work are the use of encryption, timestamps and malicious code for challenging live analysis. Our analysis of the topic shows that it is relatively easy to prevent that a live analysis can be performed in a reliable way.

  • 21.
    Agelis, Sacki
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Jacobsson, Sofia
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Jonsson, Magnus
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Alping, Arne
    Ericsson Microwave Systems, Mölndal, Sweden.
    Ligander, Per
    Ericsson Microwave Systems, Mölndal, Sweden.
    Modular interconnection system for optical PCB and backplane communication2002In: Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM, Los Alamitos, Calif.: IEEE Press, 2002, 245-250 p.Conference paper (Refereed)
    Abstract [en]

    This paper presents a way of building modular systems with a powerful optical interconnection network. Each module, placed on a Printed Circuit Board (PCB), has a generic optical communication interface with a simple electronic router. Together with optical switching using micro-electromechanical system (MEMS) technology, packet switching over reconfigurable topologies is possible. The interconnection system gives the possibility to integrate electronics with optics without changing existing PCB technology. Great interest from industry is therefore expected and the cost advantages are several: reuse of module designs, module upgrades without changing the PCB, low-cost conventional PCB technology, etc. In the version described in this paper, the interconnection system has 48 bidirectional optical channels for intra-PCB communication on each board. For inter-PCB communication, a backplane with 192 bidirectional optical channels supports communication between twelve PCBs. With 2.5 Gbit/s per optical channel in each direction, the aggregated intra-PCB bit rate is 120 Gbit/s full duplex (on each PCB) while the aggregated inter-PCB bit rate is 480 Gbit/s full duplex. A case study shows the feasibility of the interconnection system in a parallel processing system for radar signal processing.

  • 22.
    Agelis, Sacki
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Jonsson, Magnus
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Optoelectronic router with a reconfigurable shuffle network based on micro-optoelectromechanical systems2004In: Journal of Optical Networking, ISSN 1536-5379, Vol. 4, no 1, 1-10 p.Article in journal (Refereed)
    Abstract [en]

    An optoelectronic router with a shuffle exchange network is presented and enhanced by the addition of micro-optoelectromechanical systems (MOEMS) in the network to add the ability to reconfigure the shuffle network. The MOEMS described here are fully connected any-to-any crossbar switches. The added reconfigurability provides the opportunity to adapt the system to different common application characteristics. Two representative application models are described: The first has symmetric properties, and the second has asymmetric properties. The router system is simulated with the specified applications and an analysis of the results is carried out. By use of MOEMS in the optical network, and thus reconfigurability, greater than 50% increased throughput performance and decreased average packet delay are obtained for the given application. Network congestion is avoided throughout the system if reconfigurability is used.

  • 23.
    Agelis, Sacki
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Jonsson, Magnus
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Optoelectronic router with MOEMS–based reconfigurable shuffle network2004Conference paper (Refereed)
  • 24.
    Ahmed, Iftikhar
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Farooq, Muhammad
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Switched Multi-hop Priority Queued Networks-Influence of priority levels on Soft Real-time Performance2010Independent thesis Advanced level (degree of Master (One Year)), 15 credits / 22,5 HE creditsStudent thesis
    Abstract [en]

    In the last few years, the number of real-time applications has increased. These applications are sensitive and require the methods to utilize existing network capacity efficiently to meet performance requirements and achieve the maximum throughput to overcome delay, jitter and packet loss. In such cases, when the network needs to support highly interactive traffic like packet-switched voice, the network congestion is an issue that can lead to various problems. If the level of congestion is high enough, the users may not be able to complete their calls and have existing calls dropped or may experience a variety of delays that make it difficult to participate smooth conversation.

    In this paper, we investigate the effect of priority levels on soft real-time performance. We use the priority queues to help us manage the congestion, handle the interactive traffic and improve the over all performance of the system. We consider switched multi-hop network with priority queues. All the switches and end-nodes control the real-time traffic with “Earlier Deadline First” scheduling. The performance of the network is characterized in terms of the average delay, the deadline missing ratio and the throughput.

    We will analyze these parameters with both the bursty traffic and evenly distributed traffic. We will analyze different priority levels and will see how the increase in priority level increases the performance of the soft real-time system.

  • 25.
    Aires, Nibia
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    A guide to the Fortran programs to calculate inclusion probabilities for conditional Poisson sampling and Pareto pi ps sampling designs2004In: Computational statistics (Zeitschrift), ISSN 0943-4062, E-ISSN 1613-9658, Vol. 19, no 3, 337-345 p.Article in journal (Refereed)
    Abstract [en]

    Conditional Poisson Sampling and Pareto pips Sampling designs are sampling methods with fixed sample size and with inclusion probabilities proportional to given size measures.. Algorithms were introduced to calculate first and second exact inclusion probabilities for both schemes. Methods were also provided to adjust the parameters to get predetermined inclusion probabilities. In this paper, the Fortran procedures are introduced and documented. Moreover, guidelines are provided for their use as well as examples and the programs codes commented.

  • 26.
    Akram, Asif
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Value Creation in Digital Ecosystem – A Study of Remote Diagnostics2013Conference paper (Refereed)
    Abstract [en]

    The advancement of digital technologies is driving traditional product oriented businesses to move from selling product to selling solutions. In order to exploit business potentials from technology, it is necessary to understand the technological capacity and how it influences the value creation in the environment where it is deployed. I study remote diagnostics as an example of digital technology within the vehicle industry. I found that this technology provides potential to generate new value. To create this value, traditional product oriented organizations are required to create value in different way than traditional mode of creating value. In this paper, I show that how generative capacity of remote diagnostics technology creates value in digital ecosystem.

  • 27.
    Akram, Asif
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab). University of Gothenburg, Gothenburg, Sweden.
    Value Network Transformation: Digital Service Innovation in the Vehicle Industry2016Doctoral thesis, comprehensive summary (Other academic)
    Abstract [en]

    Advancement in digital technology is rapidly changing the contemporary landscape of business and associated networks for manufacturing firms. Many traditional physical products are now being embedded with digital components, providing them digital capability to become digitized products. The digitization of physical products has become an important driver for digital service innovation within manufacturing industries. Such digital service innovation transforms value networks of manufacturing firms in various industries. While digitization of products and digital service innovation can be observed in many manufacturing industries, this thesis focuses on the transformation of value networks within the vehicle industry.

    This thesis is a collection of papers and a cover paper. The thesis reports from a collaborative project in the vehicle industry. The project explored new digital services for vehicles based on remote diagnostics technology. The exploration and conceptualization of digital services is investigated in a collaborative manner with participants from the vehicle industry. The results reflect that there is a paradigm shift for manufacturing firms digitizing their products, and stretching the business scope from product to solution oriented business.

    This thesis contributes to the existing literature on digital innovation with insights on the transformation of value networks in the vehicle industry. The research question addressed in this thesis is: How are value networks of manufacturing firms transformed by digital service innovation? To answer the question, this thesis conceptualizes how the value creating pattern of digitized products transforms value networks of manufacturing firms. A model is presented that reflects how the symbiotic value relationship between the digitized product and digital services transforms the roles, relationships and exchanges in the value networks of manufacturing firms. The model can serve as an analytical tool to further advance the knowledge on business aspects in digital innovation. This thesis contributes to practice by providing an understanding of how manufacturing firms can leverage value of digitized products and digital services in value networks.

  • 28.
    Akram, Asif
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Bergquist, Magnus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS). University of Gothenburg.
    Åkesson, Maria
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Digital Visions vs. Product Practices: Understanding Tensions in Incumbent Manufacturing Firms2014In: Proceedings of the Annual Hawaii International Conference on System Sciences / [ed] Ralph H. Sprague, Jr., Los Alamitos, CA: IEEE Computer Society, 2014, 4516-4525 p.Conference paper (Refereed)
    Abstract [en]

    Incumbent manufacturing firms face challenges when expanding their product focus with digital services. Such expansion creates tensions in organizations in the servitization process. While management visions and conceptualizes new service oriented businesses, the actual practice of implementing these service concepts is influenced by the product paradigmatic way of thinking in the organization. This dominant thinking creates tensions between business visions and business practice. We use the case of remote diagnostics services to provide insights into a manufacturing firm’s attempt to transform the dominant oriented business models into a new networked environment. We suggest that such acts that may or may not lead to transition are lingered by dominant logics related to the product focus. This indicates that firms are required to embed new logics into their existing practice in order to exploit the full potential of digital technology. © 2014 IEEE.

  • 29.
    Akram, Asif
    et al.
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Åkesson, Maria
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Value Network Transformation By Digital Service Innovation In The Vehicle Industry2011In: Proceedings of the 15th Pacific Asia Conference on Information Systems | Pacific Asia Conference on Information Systems (PACIS), Association for Information Systems, 2011Conference paper (Other academic)
    Abstract [en]

    This paper reports from preparations in an ongoing research study concerning how digital service innovation transforms value networks in the vehicle industry. The research study concerns digital services based on remote diagnostics systems. This digital service innovation in particular is of great importance since the vehicle industry has great potential to expand its business and found new and extended boundaries and relationships with other stakeholder in the networks they are attached to. Core challenges and opportunities for digital service innovation will lead us to the study of its influence on the business and innovation environment i.e. the value network. In this paper, we propose three propositions to study transformation from product oriented value networks to digital service oriented value networks.

  • 30.
    Alasjö, Alexander
    Halmstad University, School of Information Technology.
    Sidokanalattack mot knappsats för elektroniskt passersystem2017Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    Through an exploratory experiment using electromagnetic side-channel attack against a keypad for a commercial entry system it is demonstrated that information leakage through side-channels are an ongoing issue and may make entry systems vulnerable by recording of user data.

    Using simple radio equipment, keypresses can be recorded and decoded by undesired electromagnetic radiation and theoretically it is possible to carry out the attack on a longer distance with a specially designed antenna and a custom recieiver.

    The report discusses emission security in consumer products which in military context is termed Tempest or compromising emanations (Swedish: RÖS) and requires expensive tests to be detected and handled.

    The EMC regulations (electromagnetic compatibility) handles radiation and influence of electromagnetic waves in electronic apparatus and nets, but not directly how information can leak from information technology equipment which this report wants to problematize.

  • 31.
    Alfredsson, Erika
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Bengtsson, Matilda
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Bluetooth-implementation för Netbiter EC3502014Independent thesis Basic level (university diploma), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    In industries today the demand for reading the state of industrial equipment and thus prevent machine breakdown, is increasing. The company HMS Industrial Networks AB has a product on the market, Netbiter EC350 that is used to read sensors and thus find out the condition of industrial equipment. By reporting scanned data to users through a cloud service, users can keep track of their equipment.

     

    When developing Netbiter EC350 a slot was made for a Bluetooth module to offer clients a wireless reading in future developments. In this project a prototype was made to show how this Bluetooth communication can be implemented.

     

    The goal of the project was to create a Bluetooth communication between a Bluetooth sensor and Netbiter EC350. A user interface was made to allow the user to read sensor values.

     

    The result of the project shows how a Bluetooth communication can be implemented to read sensors wireless and therefore it fulfills its purpose and goal. The user can find connectable Bluetooth devices, connect to a device and read measured values through a user interface.

     

    The prototype demonstrates how a Bluetooth communication with a Netbiter EC350 can be implemented and the project is therefore considered to be a good basis for future development.

  • 32.
    Ali, Hazem
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Patoary, Mohammad Nazrul Ishlam
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Design and Implementation of an Audio Codec (AMR-WB) using Dataflow Programming Language CAL in the OpenDF Environment2010Independent thesis Advanced level (degree of Master (Two Years)), 30 credits / 45 HE creditsStudent thesis
    Abstract [en]

    Over the last three decades, computer architects have been able to achieve an increase in performance for single processors by, e.g., increasing clock speed, introducing cache memories and using instruction level parallelism. However, because of power consumption and heat dissipation constraints, this trend is going to cease. In recent times, hardware engineers have instead moved to new chip architectures with multiple processor cores on a single chip. With multi-core processors, applications can complete more total work than with one core alone. To take advantage of multi-core processors, we have to develop parallel applications that assign tasks to different cores. On each core, pipeline, data and task parallelization can be used to achieve higher performance. Dataflow programming languages are attractive for achieving parallelism because of their high-level, machine-independent, implicitly parallel notation and because of their fine-grain parallelism. These features are essential for obtaining effective, scalable utilization of multi-core processors.

    In this thesis work we have parallelized an existing audio codec - Adaptive Multi-Rate Wide Band (AMR-WB) - written in the C language for single core processor. The target platform is a multi-core AMR11 MP developer board. The final result of the efforts is a working AMR-WB encoder implemented in CAL and running in the OpenDF simulator. The C specification of the AMR-WB encoder was analysed with respect to dataflow and parallelism. The final implementation was developed in the CAL Actor Language, with the goal of exposing available parallelism - different dataflows - as well as removing unwanted data dependencies. Our thesis work discusses mapping techniques and guidelines that we followed and which can be used in any future work regarding mapping C based applications to CAL. We also propose solutions for some specific dependencies that were revealed in the AMR-WB encoder analysis and suggest further investigation of possible modifications to the encoder to enable more efficient implementation on a multi-core target system.

  • 33.
    Aljarbouh, Ayman
    et al.
    Centre de Recherche INRIA, Rennes, France.
    Zeng, Yingfu
    Rice University, Houston, Texas, United States.
    Duracz, Adam
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Caillaud, Benoît
    Centre de Recherche INRIA, Rennes, France.
    Taha, Walid
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, Texas, United States.
    Chattering-Free Simulation for Hybrid Dynamical Systems: Semantics and Prototype Implementation2016In: 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) / [ed] Randall Bilof, Los Alamitos: IEEE Computer Society, 2016, 412-422 p., 7982279Conference paper (Refereed)
    Abstract [en]

    Chattering is a fundamental phenomenon that is unique to hybrid systems, due to the complex interaction between discrete dynamics (in the form of discrete transitions) and continuous dynamics (in the form of time). In practice, simulating chattering hybrid systems is challenging in that simulation effectively halts near the chattering time point, as an infinite number of discrete transitions would need to be simulated. In this paper, formal conditions are provided for when the simulated models of hybrid systems display chattering behavior, and methods are proposed for avoiding chattering “on the fly” in runtime. We utilize dynamical behavior analysis to derive conditions for detecting chattering without enumeration of modes. We also present a new iterative algorithm to allow for solutions to be carried past the chattering point, and we show by a prototypical implementation how to generate the equivalent chattering-free dynamics internally by the simulator in the main simulation loop. The concepts are illustrated with examples throughout the paper. © 2016 IEEE.

  • 34.
    Alkhawaja, Abdel Rahman
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Sheibani, Hatem
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Security issues with Mobile IP2011Independent thesis Advanced level (degree of Master (One Year)), 15 credits / 22,5 HE creditsStudent thesis
    Abstract [en]

    With a rapid growth in wireless technology in recent years, Mobile IP has become very important for consumers and businesses by providing mobility based on IP addresses using several applications, which keep the employees connected with each others with critical information. In mobile IP the node can change its location by maintaining the same IP address and keep connected to the internet, which solves the issue of terminating the communication once it moves.

    Since Mobile IP uses open airwaves as a transmission medium, it is subject to the many security threats that are routed in mobile IP network .Protecting mobile IP from threats and attacks is one of the most challenging task now days. IPSec is a standard security protocol solution for TCP/IP network that provides security through Authentication, Encryption and data integrity services. Mobile IP data traffic can be secured by combining with IP Security (IPSec) protocol.

    This thesis describes Mobile IP operations, security threats, different existing methods for securing mobile IP and then IPSec standard, how it works and why IPSec is the best solution. This thesis also describes how to combine IPSec with a mobile IP to provide a solution called (SecMIP) that protects the mobile device’s communication from any threats. Finally it describes Mobile IPv6, binding update and associated security concern.

  • 35.
    Alm, Ilkoo
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Johansson, Ingegerd
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Man and Information technology laboratory (MI-lab).
    Cognitive aspects in visualisation of complex data2001In: CISST'2001: proceedings of the International Conference on Imaging Science, Systems, and Technology : Las Vegas, Nevada, USA, June 25-28, 2001 / [ed] Arabnia, H.R., Avalon, Athens, USA: CSREA Press, 2001, 633-638 p.Conference paper (Refereed)
    Abstract [en]

    Information Visualization applications are dealing with fundamental difficulties related to overlap in cognitive models between designers and users, goal ambiguity, and accuracy in search strategies These difficulties are more obvious in applications aimed at reducing information overload by general users, than in applications aimed at visualising scientific data. General users have very likely quite different cognitive reference for approaching an abstract complex task, than designers. This can result in designs which can unintentionally increase information overload by users. In visualisation of scientific data the overlap of cognitive reference between specialists and designs is very likely much higher, but we need methods which can facilitate data exploration in real-time interaction. One possibility to facilitate exploration in a more or less systematic way is by means of metaphors which can support human perception in searching for patterns.

  • 36.
    Alonso-Fernandez, Fernando
    et al.
    ATVS/Biometric Recognition Group, Escuela Politecnica Superior, Univ. Autonoma de Madrid, Spain.
    Bigun, Josef
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Fierrez, Julian
    ATVS/Biometric Recognition Group, Escuela Politecnica Superior, Univ. Autonoma de Madrid, Spain.
    Fronthaler, Hartwig
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Kollreider, Klaus
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
    Ortega-Garcia, Javier
    ATVS/Biometric Recognition Group, Escuela Politecnica Superior, Univ. Autonoma de Madrid, Spain.
    Fingerprint Recognition2009In: Guide to Biometric Reference Systems and Performance Evaluation / [ed] Dijana Petrovska-Delacrétaz, Gérard Chollet, Bernadette Dorizzi, London: Springer London, 2009, 51-88 p.Chapter in book (Other academic)
    Abstract [en]

    First, an overview of the state of the art in fingerprint recognition is presented, including current issues and challenges. Fingerprint databases and evaluation campaigns, are also summarized. This is followed by the description of the BioSecure Benchmarking Framework for Fingerprints, using the NIST Fingerpint Image Software (NFIS2), the publicly available MCYT-100 database, and two evaluation protocols. Two research systems are compared within the proposed framework. The evaluated systems follow different approaches for fingerprint processing and are discussed in detail. Fusion experiments involving different combinations of the presented systems are also given. The NFIS2 software is also used to obtain the fingerprint scores for the multimodal experiments conducted within the BioSecure Multimodal Evaluation Campaign(BMEC’2007) reported in Chap.11.

  • 37.
    Alzghoul, Ahmad
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Verikas, Antanas
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Hållander, Magnus
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Bacauskiene, Marija
    Kaunas University of Technology, Studentu 50, Kaunas LT-51368, Lithuania.
    Gelzinis, Adas
    Kaunas University of Technology, Studentu 50, Kaunas LT-51368, Lithuania.
    Screening paper runnability in a web-offset pressroom by data mining2009In: Proceedings of the 9th Industrial Conference on Advances in Data Mining: Applications and Theoretical Aspects, Berlin: Springer Berlin/Heidelberg, 2009, 161-175 p.Conference paper (Refereed)
    Abstract [en]

    This paper is concerned with data mining techniques for identifying the main parameters of the printing press, the printing process and paper affecting the occurrence of paper web breaks in a pressroom.Two approaches are explored. The first one treats the problem as a task of data classification into “break” and “non break” classes. The procedures of classifier design and selection of relevant input variables are integrated into one process based on genetic search. The search process results in a set of input variables providing the lowest average loss incurred in taking decisions. The second approach, also based on genetic search, combines procedures of input variable selection and data mapping into a low dimensional space. The tests have shown that the web tension parameters are amongst the most important ones. It was also found that, provided the basic off-line paper parameters are in an acceptable range, the paper related parameters recorded online contain more information for predicting the occurrence of web breaks than the off-line ones. Using the selected set of parameters, on average, 93.7% of the test set data were classified correctly. The average classification accuracy of the break cases was equal to 76.7%.

  • 38.
    Amerion, Mohsen
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Radio Communication for PIE -  a Tiny Timber Interface2010Independent thesis Advanced level (degree of Master (One Year)), 15 credits / 22,5 HE creditsStudent thesis
    Abstract [en]

    Tiny Timber is a very lightweight, real-time kernel for small, event-driven embedded systems.  It implements reactive objects as a way of structuring embedded software. These objects are components that react to incoming events by updating their internal state and issuing an outgoing event. Implementing a control system based on reactive objects enhances the reactivity of the system and it helps to optimize the energy consumption, as the system goes to sleep mode when there is nothing to react to. It is also a programming technique that facilitates the organization of the program.

    In this project, we develop a device driver for radio communication with a Tiny Timber interface. This is an extension to the Platform for Intelligent Embedded (PIE) system which is a robot assembled and used at the IDE department of Halmstad University as a platform for developing new applications as well as for educational purposes in the area of embedded and intelligent systems.  The interface is programmed in C and consists of a collection of device drivers for different components of PIE in the form of reactive objects.

  • 39.
    Amnell, Mathias
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Öhman, Martin
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE).
    Samband mellan motivationsfaktorer för UGC: Vad motiverar en användare att skapa innehåll på internet?2011Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    User Generated Content (UGC) is becoming increasingly common on the web and many of the most frequently visited websites on the Internet is largely based on content created by its users. Every day 120,000 articles gets edited on Wikipedia by its devoted users who spend an average of eight hours a week on creating new or edit existing material. To motivate users to contribute with content is becoming increasingly important. This requires an increased understanding of what motivates users to contribute. 

    In this paper we study the motivational factors that motivates users to contribute with UGC and if there is any correlation between these motivational factors. A literature review of previous research in the field of UGC is performed and results in 15 motivational factors categorized into four categories. These are presented in a matrix that structures the motivation factors in the different categories. The matrix of the 15 motivational factors are the theoretical foundation for a quantitative survey designed to see to what extent users are motivated by different motivational factors for the creation of UGC. Through the survey we establish an understanding to what extent different motivational factors motivate the participiants of the study to create UGC. The results from the survey are then used to study the relationships between motivational factors. This leads to a correlation table that presents all the significant relationships between factors and a motivation matrix that can serve as a basis for understanding and discuss the motivators for the UGC and its categorizations. Our results may help developers to support multiple motivational factors in services based on UGC. The motivation matrix and the results presented may also be the basis for future research.

  • 40.
    Andersson, Magnus
    et al.
    Telematics Group, Viktoria Institute, Göteborg.
    Lindgren, Rikard
    Telematics Group, Viktoria Institute, Göteborg.
    The Mobile-Stationary Divide in Ubiquitous Computing Environments: Lessons from the Transport Industry2005In: Information systems management, ISSN 1058-0530, Vol. 22, no 4, 65-79 p.Article in journal (Refereed)
    Abstract [en]

    The emergence of ubiquitous computing offers new possibilities and opportunities for organizations attempting to improve their productivity and effectiveness. In particular, the promises of ubiquitous computing are attractive to organizations such as transport firms, in which coordination of diverse sets of mobile units is central to organizational performance. This article analyzes the use of ubiquitous transport systems in Swedish road haulage firms and discusses the opportunities and challenges for the early adopters. It pays specific attention to the mobile-stationary divide; that is, the set of challenges associated with integration of mobile and stationary people and systems into a seamless computing environment.

  • 41.
    Andersson, Magnus
    et al.
    Telematics Group, Viktoria Institute, Göteborg, Sweden.
    Lindgren, Rikard
    Telematics Group, Viktoria Institute, Göteborg, Sweden.
    Henfridsson, Ola
    Telematics Group, Viktoria Institute, Göteborg, Sweden.
    Assessing the Mobile-Stationary Divide in Ubiquitous Transport Systems2005In: Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges, New York, USA: Springer-Verlag New York, 2005, 123-137 p.Conference paper (Other academic)
    Abstract [en]

    Many transport organizations seek to develop seamlessly integrated computing environments. A central problem in attempts to realize such ubiquitous transport systems is the divide that exists between stationary transport management systems and mobile applications such as embedded vehicle sensor networks and in-vehicle services for message handling. Originating from different Innovation regimes, these technologies are heterogeneous in that they rely on different technological platforms and knowledge bases, as well as the institutionalized settings from which they have emerged. This paper assesses how the mobile-stationary divide plays out in practical efforts to develop ubiquitous transport systems in road haulage firms. This assessment is conducted through a multiple-case study that identifies socio-technical challenges associated with this divide. Building on this assessment, the paper contributes a set of implications for enterprise-wide ubiquitous computing environments where coordination of diverse sets of mobile units is central to organizational performance. On a general level, these implications are important for any organization attempting to integrate mobile and stationary information systems.

  • 42.
    Andriesse, Carin
    et al.
    Halmstad University, School of Information Technology.
    Edvinsson, Erika
    Halmstad University, School of Information Technology.
    Utvärdering av Business Intelligence system ur ett nytto-perspektiv: En studie om hur företag kan utvärdera nyttan av ett Business Intelligence system före och efter en implementation2016Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    The growing amount of data in the world leads to an increasing amount of investments in BI-systems, which can support management and analysis of data. Businesses can experience benefits such as better control and decision base when they analyze their data. The evaluation of BI-systems has fallen behind at the same time as investments in these systems has increased. The difficulty in evaluating the soft and strategic benefits of a BI-system is one of the reasons for the lack of evaluations. Evaluation can give businesses a notion of which benefits that they have achieved and if further activities are needed to increase the benefits of the BI-system. A qualitative interview study has been carried out on large manufacturing businesses and consulting businesses, with the purpose to study how the evaluation of BI-system benefits are being done in practice. The study include evaluation before and after an implementation of a BI-system and results in recommendations. The result of the study shows that there can be differences in the way small and large manufacturing businesses use the BI-system and therefore also differences in how to perform the evaluation. The study has also established that more evaluations should be done after the BI-system has been implemented. Evaluation of parts that affect the possibility to achieve benefits as well as parts that affects the evaluation results in a more realistic evaluation, and a greater chance for the business to increase the benefits of their BI-system.  

  • 43.
    Arts, Thomas
    et al.
    Quviq AB, Gothenburg, Sweden.
    Mousavi, Mohammad Reza
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).
    Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS) [Position Paper]2015In: WASA '15: Proceedings of the First International Workshop on Automotive Software Architecture / [ed] Yanja Dajsuren, Harald Altinger & Miroslaw Staron, New York, NY: ACM Press, 2015, 35-38 p.Conference paper (Refereed)
    Abstract [en]

    This paper provides some background and the roadmap of the AUTO-CAAS project, which is a 3-year project financed by the Swedish Knowledge Foundation and is ongoing as a joint project among three academic and industrial partners. The aim of the project is to exploit the formal models of the AUTOSAR standard, developed by the industrial partner of the project Quviq AB, in order to predict possible future failures in concrete implementations of components. To this end, the deviations from the formal specification will be exploited to generate test-cases that can push concrete components to the corners where such deviation will result in observable failures. The same information will also be used in the diagnosis of otherwise detected failures in order to pinpoint their root causes.

  • 44.
    Arvidsson, Fredrik
    et al.
    Department of Computer and Information Science, Linköping University.
    Ihlström, Carina
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Lundberg, Jonas
    Department of Computer and Information Science, Linköping University.
    Visions of Future News - Consensus or Conflict?2002In: Proceedings of the 25th Information Systems Research Seminar in Scandinavia (IRIS), IRIS , 2002, 25- p.Conference paper (Refereed)
    Abstract [en]

    The move from print to multimedia will cause changes not only to the form of the news service but also the involved processes in the news organizations. The cooperative scenario building technique is used on a number of groups; end-users, management and media professionals to envisioning the news services of the future. We take the perspective of consensus and conflict to illustrate the identified visions. Firstly, we illuminate conflicts and consensus between the groups, regarding their visions and future use scenarios. Secondly, we show the implications of using the cooperative scenariobuilding technique in relation the consensus and conflict perspectives in cooperative design. We conclude that both consensus and conflicts could be found in the scenarios described in the paper and that the cooperative technique was suitable in this context.

  • 45.
    Arvidsson, Susann
    et al.
    Halmstad University, School of Health and Welfare, Centre of Research on Welfare, Health and Sport (CVHI), Health and Nursing.
    Gilljam, Britt-Mari
    Halmstad University, School of Health and Welfare, Centre of Research on Welfare, Health and Sport (CVHI), Health and Nursing. Region Halland, Halmstad, Sweden.
    Nygren, Jens
    Halmstad University, School of Health and Welfare, Centre of Research on Welfare, Health and Sport (CVHI), Health and Nursing.
    Ruland, Cornelia Maria
    The Centre for Shared Decision Making and Collaborative Care Research (CSDM), Oslo University Hospital, Oslo, Norway & University of Oslo, Oslo, Norway.
    Nordby-Bøe, Trude
    The Centre for Shared Decision Making and Collaborative Care Research (CSDM), Oslo University Hospital, Oslo, Norway.
    Svedberg, Petra
    Halmstad University, School of Health and Welfare, Centre of Research on Welfare, Health and Sport (CVHI), Health and Nursing.
    Redesign and Validation of Sisom, an Interactive Assessment and Communication Tool for Children With Cancer2016In: JMIR mhealth and uhealth, E-ISSN 2291-5222, Vol. 4, no 2, e76Article in journal (Refereed)
    Abstract [en]

    BACKGROUND: Children with cancer undergo intensive and long treatment periods that expose them and their families to a number of difficult physical, mental, and social challenges. Empowering children by actively involving them in their care can help them to cope with these challenges. It can, however, be difficult for children to be involved and talk about their illness experiences in a "traditional" conversation with health care professionals, especially for younger children. Sisom (Norwegian acronym "Si det som det er" or "Tell it how it is") is an interactive computer-based assessment and communication tool to give children (aged 6-12 years) with cancer a "voice" in their care. Because of technological advances and widespread use of mobile devices Sisom had to be redesigned to better meet the needs of children of today.

    OBJECTIVE: To redesign Sisom for use on mobile devices and to validate and adapt it for use in a Swedish population of children with cancer.

    METHODS: A user-experience design was used. Content adaptation included forward-backward translation by Swedish and Norwegian translators. Healthy children (n=5), children with experiences of cancer treatment (n=5) and their parents (n=5), and pediatric nurses (n=2) were then involved in culturally adapting Sisom to the Swedish context. The iterative low- and high-fidelity evaluation was supported by a think aloud method, semistructured interviews, and drawings to capture children's views of Sisom. The redesign and evaluation continued until no further changes or improvements were identified by the participants or the researchers.

    RESULTS: Children, parents, and pediatric nurses offered many suggestions for improvements to the original version in terms of content, aesthetics, and usability of Sisom. The most significant change that emerged through user input was a modification that entailed not using problem-focused statements in the assessment items. The parents and pediatric nurses considered the revised assessment items to be general and less diagnosis specific. The evaluation of aesthetics resulted in brighter colors and more positive and exciting details in the animations. The evaluation of usability included improvements of the verbal instructions on how to navigate in Sisom 2, and also that the answers to assessmentitems in Sisom 2 should be saved to provide the children with the option to pause and to continue answering the remaining assessment items at a later stage.

    CONCLUSIONS: Overall, this paper describes the process of using user-experience design with children in order to redesign and validate an interactive assessment and communication tool and how the outcomes of this process resulted in a new version, Sisom 2. All participants confirmed the usability and qualities of using the final version. Future research should be directed toward the implementation of Sisom 2 in clinical practice and to evaluate outcomes from individual and organizational levels.

  • 46.
    Asadi, Hamid Reza
    et al.
    Department of ECE, University of Tehran, Tehran, Iran.
    Khosravi, Ramtin
    Department of ECE, University of Tehran, Tehran, Iran.
    Mousavi, Mohammad Reza
    Department of CS, TU/Eindhoven, Eindhoven, The Netherlands.
    Noroozi, Neda
    Department of CS, TU/Eindhoven, Eindhoven, The Netherlands.
    Towards Model-Based Testing of Electronic Funds Transfer Systems2011In: Proceedings of the 4th International on Fundamentals of Software Engineering (FSEN 2011) / [ed] Farhad Arbab & Marjan Sirjani, Heidelberg: Springer, 2011, Vol. 4171, 253-267 p.Conference paper (Refereed)
  • 47.
    Askfelt, Simone
    et al.
    Halmstad University, School of Information Technology.
    Arbenita, Osmani
    Halmstad University, School of Information Technology.
    Ekologiskt hållbar med Business Intelligence: Stöd från BI vid ekologiskt hållbart arbete2016Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    Working ecologically sustainable is in some cases essential for a business to continue to be active on the market. There is a larger demand on businesses today to work ecologically sustainable. This has led to businesses reviewing the way they work in order to reduce their environmental impact. The demand on businesses to reduce their environmental impact has led to implementations of new systems with the purpose of supporting their ecological sustainability. A system that is able to support working with ecological sustainability is BI. With the support from BI, businesses can collect, store and analyze data and hence become more informed about how their processes affect the ecological sustainability. However, studies regarding the relationship between BI and ecological sustainability are few. In many cases businesses overview their work with ecological sustainability separate from remaining part of the business. The main purpose of the study is to identify and map how businesses work with ecological sustainability in practice with support from BI. This is mapped in order to finally compose and present proposals on how BI could strengthen the way businesses work with ecological sustainability. The empirical data for this study were collected through semi-structured interviews. The result of the study shows that manufacturing businesses do not take full support from BI regarding their work with ecological sustainability. The study presents proposals of how BI could strengthen businesses work with ecological sustainability

  • 48.
    Assabie Lake, Yaregal
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Multifont recognition System for Ethiopic Script2006Licentiate thesis, comprehensive summary (Other academic)
    Abstract [en]

    In this thesis, we present a general framework for multi-font, multi-size and multi-style Ethiopic character recognition system. We propose structural and syntactic techniques for recognition of Ethiopic characters where the graphically comnplex characters are represented by less complex primitive structures and their spatial interrelationships. For each Ethiopic character, the primitive structures and their spatial interrelationships form a unique set of patterns.

    The interrelationships of primitives are represented by a special tree structure which resembles a binary search tree in the sense that it groups child nodes as left and right, and keeps the spatial position of primitives in orderly manner. For a better computational efficiency, the primitive tree is converted into string pattern using in-order traversal, which generates a base of the alphabet that stores possibly occuring string patterns for each character. The recognition of characters is then achieved by matching the generated patterns with each pattern in a stored knowledge base of characters.

    Structural features are extracted using direction field tensor, which is also used for character segmentation. In general, the recognition system does not need size normalization, thinning or other preprocessing procedures. The only parameter that needs to be adjusted during the recognition process is the size of Gaussian window which should be chosen optimally in relation to font sizes. We also constructed an Ethiopic Document Image Database (EDIDB) from real life documents and the recognition system is tested with respect to variations in font type, size, style, document skewness and document type. Experimental results are reported.

  • 49.
    Assabie, Yaregal
    et al.
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Bigun, Josef
    Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    A comprehensive Dataset for Ethiopic Handwriting Recognition2009In: Proceedings SSBA '09: Symposium on Image Analysis, Halmstad University, Halmstad, March 18-20, 2009 / [ed] Josef Bigun & Antanas Verikas, Halmstad: Halmstad University , 2009, 41-43 p.Chapter in book (Other academic)
    Abstract [en]

    Ethiopic script is used by several languages in Ethiopia for writing. We present a comprehensive dataset of handwritten Ethiopic script called DEHR (Dataset for Ethiopic Handwriting Recognition) captured both offline and online. The offline dataset includes isolated characters, Ethiopian church documents and ordinary handwritten texts dealing with various real-life issues. The ordinary texts and isolated characters were freely written by several participants. The church documents are written in Geez and Amharic languages whereas the language for ordinary texts is Amharic only. The online dataset was collected by using two Digimemo devices of different sizes. For isolated characters and online dataset, all the 265 character samples used by Amharic language are included. The dataset is intended to set a benchmark for training and/or testing handwriting recognition, character and word segmentation, and text line detection. The dataset is can be accessed by contacting the authors or via http://www.hh.se/staff/josef/.

  • 50.
    Assabie, Yaregal
    et al.
    Addis Ababa University, Department of Computer Science, Addis Ababa Ethiopia .
    Bigun, Josef
    Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Intelligent systems (IS-lab).
    Lexicon-based Offline Recognition of Amharic Words in Unconstrained Handwritten Text2008In: 19th International Conference on Pattern Recognition: (ICPR 2008) ; Tampa, Florida, USA 8-11 December 2008, New York: IEEE Computer Society, 2008, 4761145Conference paper (Refereed)
    Abstract [en]

    This paper describes an offline handwriting recognition system for Amharic words based on lexicon. The system computes direction fields of scanned handwritten documents, from which pseudo-characters are segmented. The pseudo-characters are organized based on their proximity and direction to form text lines. Words are then segmented by analyzing the relative gap between subsequent pseudocharacters in text lines. For each segmented word image, the structural characteristics of pseudo-characters are syntactically analyzed to predict a set of plausible characters forming the word. The most likelihood word is finally selected among candidates by matching against the lexicon. The system is tested by a database of unconstrained handwritten Amharic documents collected from various sources. The lexicon is prepared from words appearing in the collected database.

1234567 1 - 50 of 726
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