Ändra sökning
Avgränsa sökresultatet
45678910 301 - 350 av 2741
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 301.
    Beel, Joeran
    et al.
    Docear, Germany ; Konstanz University, Germany.
    Breitinger, Corinna
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för medieteknik (ME). Docear, Germany.
    Langer, Stefan
    Docear, Germany ; Otto-von-Guericke University, Germany.
    Lommatzsch, Andreas
    Technische Universität Berlin, Germany.
    Gipp, Bela
    Docear, Germany ; Konstanz University, Germany.
    Towards reproducibility in recommender-systems research2016Ingår i: User modeling and user-adapted interaction, ISSN 0924-1868, E-ISSN 1573-1391, Vol. 26, nr 1, 69-101 s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Numerous recommendation approaches are in use today. However, comparing their effectiveness is a challenging task because evaluation results are rarely reproducible. In this article, we examine the challenge of reproducibility in recommender-system research. We conduct experiments using Plista’s news recommender system, and Docear’s research-paper recommender system. The experiments show that there are large discrepancies in the effectiveness of identical recommendation approaches in only slightly different scenarios, as well as large discrepancies for slightly different approaches in identical scenarios. For example, in one news-recommendation scenario, the performance of a content-based filtering approach was twice as high as the second-best approach, while in another scenario the same content-based filtering approach was the worst performing approach. We found several determinants that may contribute to the large discrepancies observed in recommendation effectiveness. Determinants we examined include user characteristics (gender and age), datasets, weighting schemes, the time at which recommendations were shown, and user-model size. Some of the determinants have interdependencies. For instance, the optimal size of an algorithms’ user model depended on users’ age. Since minor variations in approaches and scenarios can lead to significant changes in a recommendation approach’s performance, ensuring reproducibility of experimental results is difficult. We discuss these findings and conclude that to ensure reproducibility, the recommender-system community needs to (1) survey other research fields and learn from them, (2) find a common understanding of reproducibility, (3) identify and understand the determinants that affect reproducibility, (4) conduct more comprehensive experiments, (5) modernize publication practices, (6) foster the development and use of recommendation frameworks, and (7) establish best-practice guidelines for recommender-systems research. © 2016, Springer Science+Business Media Dordrecht.

  • 302.
    Begum, Shahina
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Ahmed, Mobyen Uddin
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Funk, Peter
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Xiong, Ning
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Folke, Mia
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    von Schéele, Bo
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    A computer-based system for the assessment and diagnosis of individual sensitivity to stress in Psychophysiology2007Konferensbidrag (Refereegranskat)
    Abstract [en]

    Increased exposure to stress may cause serious health problems leading to long term sick leave if undiagnosed and untreated. The practice amongst clinicians' to use a standardized procedure measuring blood pressure, ECG, finger temperature, breathing speed etc. to make a reliable diagnosis of stress and stress sensitivity is increasing. But even with these measurements it is still difficult to diagnose due to large individual variations. A computer-based system as a second option for the assessment and diagnosis of individual stress level is valuable in this domain.

    A combined approach based on a calibration phase and case-based reasoning is proposed exploiting data from finger temperature sensor readings from 24 individuals. In calibration phase, a standard clinical procedure with six different steps helps to establish a person's stress profile and set up a number of individual parameters. When acquiring a new case, patients are also asked to provide a fuzzy evaluation on how reliable was the procedure to define the case itself. Such a reliability "level" could be used to further discriminate among similar cases. The system extracts key features from the signal and classifies individual sensitivity to stress. These features are stored into a case library and similarity measurements are taken to assess the degrees of matching and create a ranked list containing the most similar cases retrieved by using the nearest-neighbor algorithm.

    A current case (CC) is compared with two other stored cases (C_92 and C_115) in the case library. The global similarity between the case CC and case C_92 is 67% and case CC and case C_115 is 80% shown by the system. So the case C_115 has ranked higher than the case C_92 and is more similar to current case CC. If necessary, the solution for the best matching case can be revised by the clinician to fit the new patient. The current problem with confirmed solution is then retained as a new case and added to the case library for future use.

    The system allows us to utilize previous experience and at the same time diagnose stress along with a stress sensitivity profile. This information enables the clinician to make a more informed decision of treatment plan for the patients. Such a system may also be used to actively notify a person's stress levels even in the home environment.

  • 303.
    Begum, Shahina
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Ahmed, Mobyen Uddin
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Funk, Peter
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Xiong, Ning
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    von Schéele, Bo
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Individualized Stress Diagnosis Using Calibration and Case-Based Reasoning2007Ingår i: Proceedings of the 24th annual workshop of the Swedish Artificial Intelligence Society, Borås, Sweden, 2007, 59-69 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Diagnosing stress is difficult even for experts due to large individual variations. Clinician's use today manual test procedures where they measure blood pressure, ECG, finger temperature and breathing speed during a number of exercises. An experienced clinician makes diagnosis on different readings shown in a computer screen. There are only very few experts who are able to diagnose and predict stress-related problems. In this paper we have proposed a combined approach based on a calibration phase and case-based reasoning to provide assistance in diagnosing stress, using data from the finger temperature sensor readings. The calibration phase helps to establish a number of individual parameters. The system uses a case-based reasoning approach and also feedback on how well the patient succeeded with the different test, used for giving similar cases reliability estimates.

  • 304.
    Begum, Shahina
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Ahmed, Mobyen Uddin
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Funk, Peter
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Xiong, Ning
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    von Schéele, Bo
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Similarity of Medical Cases in Health Care Using Cosine Similarity and Ontology2007Konferensbidrag (Refereegranskat)
    Abstract [en]

    The increasing use of digital patient records in hospital saves both time and reduces risks wrong treatments caused by lack of information. Digital patient records also enable efficient spread and transfer of experience gained from diagnosis and treatment of individual patient. This is today mostly manual (speaking with col-leagues) and rarely aided by computerized system. Most of the content in patient re-cords is semi-structured textual information. In this paper we propose a hybrid tex-tual case-based reasoning system promoting experience reuse based on structured or unstructured patient records, case-based reasoning and similarity measurement based on cosine similarity metric improved by a domain specific ontology and the nearest neighbor method. Not only new cases are learned, hospital staff can also add comments to existing cases and the approach enables prototypical cases.

  • 305.
    Begum, Shahina
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Ahmed, Mobyen Uddin
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Funk, Peter
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Xiong, Ning
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    von Schéele, Bo
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Using Calibration and Fuzzification of Cases for Improved Diagnosis and Treatment of Stress2006Ingår i: 8th European Workshop on Case-based Reasoning in the Health Sciences, workshop proceedings, 2006, 113-122 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    In the medical literature there are a number of physiological reactions related to cognitive activities. Psychosocial and psychophysiological stress is such activities reflected in physiological reactions. Stress related symptoms are highly individual, but decreased hands temperature is the common for most individuals. A clinician learns with experience how to interpret the different symptoms but there is no adaptive diagnostic system for diagnosing stress. Decision support systems (DSS) diagnosing stress would be valuable both for junior clinicians and as second opinion for experts. Due to the large individual variations and no general set of rules, DSS are difficult to build for this task. The proposed solution combines a calibration phase with case-based reason¬ing approach and fuzzification of cases. During the calibration phase a number of individual parameters and case specific fuzzy membership functions are es-tablishes. This case-based approach may help the clinician to make a diagnosis, classification and treatment plan. The case may also be used to follow the treat-ment progress. This may be done using the proposed system. Initial tests show promising results. The individual cases including calibration and fuzzy mem-bership functions may also be used in an autonomous system in home environ-ment for treatment programs for individuals often under high stress.

  • 306.
    Begum, Shahina
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Behnam, Moris
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Larsson, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Sandström, Kristian
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Towards a Compositional Service Architecture for Real-Time Cloud Robotics2016Ingår i: ACM SIGBED Review, 63-64 s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In this paper we present our ongoing work towards a compositional service architecture that integrates cloud technology for computational capacity targeting real-time robotics applications. In particular we take a look at the challenges inherent within the data center where the services are executing. We outline characteristics of the services used in the real-time cloud robotics application, along with the service management and corresponding task model used to execute services. We identify several key central challenges that must be addressed towards integrating cloud technology in real-time robotics.

  • 307.
    Behere, Sagar
    KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Inbyggda styrsystem.
    Architecting Autonomous Automotive Systems: With an emphasis on Cooperative Driving2013Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    The increasing usage of electronics and software in a modern automobile enables realization of many advanced features. One such feature is autonomous driving. Autonomous driving means that a human driver’s intervention is not required to drive the automobile; rather, theautomobile is capable of driving itself. Achieving automobile autonomyrequires research in several areas, one of which is the area of automotive electrical/electronics (E/E) architectures. These architectures deal with the design of the computer hardware and software present inside various subsystems of the vehicle, with particular attention to their interaction and modularization. The aim of this thesis is to investigate how automotive E/E architectures should be designed so that 1) it ispossible to realize autonomous features and 2) a smooth transition canbe made from existing E/E architectures, which have no explicit support for autonomy, to future E/E architectures that are explicitly designed for autonomy.The thesis begins its investigation by considering the specific problem of creating autonomous behavior under cooperative driving condi-tions. Cooperative driving conditions are those where continuous wireless communication exists between a vehicle and its surroundings, which consist of the local road infrastructure as well as the other vehicles in the vicinity. In this work, we define an original reference architecture for cooperative driving. The reference architecture demonstrates how a subsystem with specific autonomy features can be plugged into an existing E/E architecture, in order to realize autonomous driving capabilities. Two salient features of the reference architecture are that it isminimally invasive and that it does not dictate specific implementation technologies. The reference architecture has been instantiated on two separate occasions and is the main contribution of this thesis. Another contribution of this thesis is a novel approach to the design of general, autonomous, embedded systems architectures. The approach introduces an artificial consciousness within the architecture, that understands the overall purpose of the system and also how the different existing subsystems should work together in order to meet that purpose.This approach can enable progressive autonomy in existing embedded systems architectures, over successive design iterations.

  • 308.
    Behere, Sagar
    KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Inbyggda styrsystem.
    Scoop Technical Report: Year 20112011Rapport (Övrigt vetenskapligt)
    Abstract [en]

    This report deals with the technical solution that was implemented for the Grand Cooperative Driving Challenge (GCDC) 2011. The GCDC involved developing a system to drive a vehicle autonomously in specific situations. Some reflections on the design process are also included. The goal of the report is to make the user understand the technical solution and the motivations behind the design choices made.

  • 309.
    Behere, Sagar
    et al.
    KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Inbyggda styrsystem.
    Törngren, Martin
    KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Inbyggda styrsystem.
    Chen, DeJiu
    KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Inbyggda styrsystem.
    A reference architecture for cooperative driving2013Ingår i: Journal of systems architecture, ISSN 1383-7621, E-ISSN 1873-6165, Vol. 59, nr 10: Part C, 1095-1112 s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Cooperative driving systems enable vehicles to adapt their motion to the surrounding traffic situation by utilizing information communicated by other vehicles and infrastructure in the vicinity. How should these systems be designed and integrated into the modern automobile? What are the needed functions, key architectural elements and their relationships? We created a reference architecture that systematically answers these questions and validated it in real world usage scenarios. Key findings concern required services and enabling them via the architecture. We present the reference architecture and discuss how it can influence the design and implementation of such features in automotive systems.

  • 310.
    Behnam, Moris
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ciccozzi, Federico
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Sjödin, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Bruhn, Fredrik
    Bruhnspace AB, Uppsala, Sweden .
    Software architecture for next generation hyperparallel cyber-physical hardware platforms: challenges and opportunities2015Ingår i: ECSAW '15 Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015, Vol. Article No. 19Konferensbidrag (Refereegranskat)
    Abstract [en]

    We present what is destined to become the de-facto standard for hardware platforms for next generation cyber-physical systems. Heterogeneous System Architecture (HSA) is an initiative to harmonize the industry around a common architecture which is easier to program and is an open standard defining the key interfaces for parallel computation. Since HSA is supported by virtually all major players in the silicon market we can conjecture that HSA, with its capabilities and quirks, will highly influence both the hardware and software for next generation cyber-physical systems. In this paper we describe HSA and discuss how its nature will influence architectures of system software and application software. Specifically, we believe that the system software needs to both leverage the hyperparallel nature of HSA while providing predictable and efficient resource allocation to different parallel activities. The application software, on the other hand, should be isolated from the complexity of the hardware architecture but yet be able to efficiently use the full potential of the hyperparallel nature of HSA.

  • 311.
    Behnam, Moris
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Isovic, Damir
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Real-Time Control Design for Flexible Scheduling using Jitter Margin2007Rapport (Övrigt vetenskapligt)
    Abstract [en]

    Real-time control algorithms are designed based on the characteristics of the controlled plants and they require good performance without delays. However, digital control implementation typically introduces delays and jitters due to insufficient CPU processing power and the limitations of the real-time scheduling method used. This can degrade the system performance or even make it unstable. In this paper we propose an integrated approach for control design and real-time scheduling, suitable for both discrete-time and continuous-time controllers. It guarantees system performance by accepting a certain minimum value of jitter for control tasks and feasibly schedules them together with other tasks in the system. Results from comparison with other approaches from real-time and control theory domains underline the effectiveness of our method.

  • 312.
    Behnam, Moris
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    J. Bril, Reinder
    Mälardalens högskola, Akademin för innovation, design och teknik.
    A new approach for global synchronization in hierarchical scheduled real-time systems2009Ingår i: Work-in-Progress (WiP) session of the 21st Euromicro Conference on Real-Time Systems (ECRTS'09), 2009Konferensbidrag (Refereegranskat)
  • 313.
    Behnam, Moris
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Shin, Insik
    Mälardalens högskola, Akademin för innovation, design och teknik.
    A Hierarchical Approach for Reconfigurable and Adaptive Embedded Systems2008Ingår i: APRES'08 Adaptive and Reconfigurable Embedded Systems: First International Workshop on Adaptive and Reconfigurable Embedded Systems, 2008, 51-54 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Adaptive and reconfigurable embedded systems have been gaining an increasing interest in the past year from both academics and industry. This paper presents our work on hierarchical scheduling frameworks (HSF) intended as a backbone architecture facilitating the implementation of operating system support for adaptability and reconfigurability.

  • 314.
    Behnam, Moris
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Nolte, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Åsberg, Mikael
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Shin, Insik
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Synchronization protocols for hierarchical real-time scheduling frameworks2008Ingår i: Proceedings of the 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'08) in conjunction with the 29th IEEE International Real-Time Systems Symposium (RTSS'08), Barcelona, Spain, 2008Konferensbidrag (Refereegranskat)
  • 315.
    Behnam, Moris
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Shin, Insik
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Nolte, Thomas
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Sjödin, Mikael
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Independent Abstraction and Dynamic Slack Reclaiming in Hierarchical Real-Time Open Systems2007Ingår i: Proceedings of the Work-In-Progress (WIP) session of the 19th Euromicro Conference on Real-Time Systems (ECRTS'07), Pisa, Italy, 2007, 1-4 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Independent subsystem abstraction allows subsystems to be developed and validated separately and supports an easier subsystem integration. In particular, this approach is desirable in open systems, since it does not require knowledge of temporal behaviour of other subsystems. However, independent

    abstraction, assuming the worst-case CPU supply pattern, requires extra CPU allocations. We present our work in progress on dynamic slack reclamation, which keeps track of such extra CPU allocations at run time. We are also investigating how to utilize those extra resources for supporting soft real-time tasks.

  • 316.
    Behnam, Moris
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Shin, Insik
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Nolte, Thomas
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Sjödin, Mikael
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    SIRAP: A Global Resource Sharing Protocol Facilitating Integration of Semi-independent Real-Time Systems2007Rapport (Övrigt vetenskapligt)
    Abstract [en]

    This paper presents a protocol for resource sharing in a hierarchical real-time scheduling framework. Together, the protocol and the scheduling framework significantly reduce the efforts and errors associated with integrating multiple semi-independent subsystems on a single processor. Thus, our proposed techniques facilitate modern software development processes, where subsystems are developed by independent teams (or subcontractors) and at a later stage integrated into a single product. Using our solution, a subsystem need not know, and is not dependent on, the timing behaviour of other subsystems; even though they share mutually exclusive resources. In this paper we also prove the correctness of our approach and evaluate its efficiency.

  • 317.
    Beijert, Lotte
    Högskolan i Jönköping, Internationella Handelshögskolan, IHH, Informatik.
    Designating Legacy Status to IT Systems: A framework in relation to a future-oriented perspective on legacy systems2016Självständigt arbete på avancerad nivå (masterexamen), 30 poäng / 45 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Organizations that have come to depend on legacy systems face quite a paradoxical problem. Maintaining the system might prove ineffective in accommodating necessary changes, but a system migration project is expensive and incurs a high amount of risk. Organizations are therefore hesitant to respond to the legacy system problem by undertaking action. Legacy system are often not causing their organization any problems at present, but a focus on the future with regard to the legacy system problem is lacking. This results in IT systems reaching an end-of-life state. The research therefore set out to explore a future-oriented perspective on legacy systems by means of observation, a literature review and a survey. The researcher found the key concept of a future-oriented perspective to be that any system that is limiting an organization to grow and innovate can be regarded as a legacy system. A framework to designate legacy status to IT systems is proposed in order to guide practitioners to acknowledge a problematic IT system to facilitate appropriate response at the right time. In relation to a future-oriented perspective, when to designate legacy status is best determined according to the system’s flexibility towards change and the alignment of the system with the business. In that regard, IT systems are end-of-life systems when they are too inflexible to change, and as a result become unaligned with either current operations or a future business opportunity or need.

  • 318.
    Belli, Fevzi
    et al.
    University of Paderborn, Germany.
    Seceleanu, Cristina
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Panel Description: 40 Years of Software Engineering2008Ingår i: Proceedings 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC2008, 2008, 7-7 s.Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    In the fall of 1968, NATO hosted in Garmisch- Partenkirchen, close to Munich, a conference devoted to the problems of the computer industry that was having a great deal of trouble in producing large and complex programs. The term Software Engineering (SE) was not in general use at that time, its adoption for the title of this conference was deliberately provocative. As a result, the conference and its report have played a major role in gaining general acceptance of the term SE.

  • 319.
    Bello, L. L.
    et al.
    University of Catania, Catania, Italy.
    Åkerberg, J.
    ABB Corporate Research, Västerås, Sweden.
    Gidlund, M.
    Mid Sweden University, Sundsvall, Sweden.
    Uhlemann, Elisabeth
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Guest Editorial Special Section on New Perspectives on Wireless Communications in Automation: From Industrial Monitoring and Control to Cyber-Physical Systems2017Ingår i: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, nr 3, 1393-1396 s., 7938563Artikel i tidskrift (Refereegranskat)
  • 320.
    Bello, Luciano
    et al.
    Chalmers University of Technology, Gothenburg, Sweden.
    Hedin, Daniel
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Chalmers University of Technology, Gothenburg, Sweden.
    Sabelefeld, Andrei
    Chalmers University of Technology, Gothenburg, Sweden.
    Value Sensitivity and Observable Abstract Values for Information Flow Control2015Ingår i: 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR'15, 2015, 63-78 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Much progress has recently been made on information flow control, enabling the enforcement of increasingly rich policies for increasingly expressive programming languages. This has resulted in tools for mainstream programming languages as JavaScript, Java, Caml, and Ada that enforce versatile security policies. However, a roadblock on the way to wider adoption of these tools has been their limited permissiveness (high number of false positives). Flow-, context-, and object-sensitive techniques have been suggested to improve the precision of static information flow control and dynamic monitors have been explored to leverage the knowledge about the current run for precision. This paper explores value sensitivity to boost the permissiveness of information flow control. We show that both dynamic and hybrid information flow mechanisms benefit from value sensitivity. Further, we introduce the concept of observable abstract values to generalize and leverage the power of value sensitivity to richer programming languages. We demonstrate the usefulness of the approach by comparing it to known disciplines for dealing with information flow in dynamic and hybrid settings.

  • 321.
    Belwal, Chaitanya
    et al.
    Dept. of Computer Science, University of Houston, Houston, USA.
    Cheng, Albert M.K.
    Dept. of Computer Science, University of Houston, Houston, USA.
    Taha, Walid
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration2011Ingår i: 2011 IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Piscataway, N.J.: IEEE Press, 2011, 950-957 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Functional*Reactive Programming (FRP) is a declarative approach to modeling and building reactive systems. Priority-based FRP (P-FRP) is a formalism of FRP that guarantees real-time response. Unlike the classical preemptive model1 of real-time systems, preempted tasks in PFRP are aborted and have to restart when higher priority tasks have completed. Due to this abort-restart of nature of preemption, there is no single critical instant of release that leads to Worst-Case Response Time (WCRT) of lower priority P-FRP tasks. At this time, the only method for determining the WCRT is through an exhaustive enumeration of all release offsets of higher priority tasks between the release and deadline of the lower priority task. This makes the computational cost of WCRT dependent on the deadline of a task, and when such deadlines are large the computational costs of this technique make it infeasible even for small task sets. In this paper, we show that the release offsets of higher priority tasks have a lower and upper bound and present techniques to derive these bounds. By enumerating only those release offsets while lie within our derived bounds the number of release scenarios that have to be enumerated is significantly reduced. This leads to lower computational costs and makes determination of the WCRT in P-FRP a practically feasible proposition. © 2011 IEEE.

  • 322.
    Belwal, Chaitanya
    et al.
    Department of Computer Science, University of Houston, Houston, Texas, USA.
    Cheng, Albert M.K.
    Department of Computer Science, University of Houston, Houston, Texas, USA.
    Taha, Walid
    Department of Computer Science, University of Houston, Houston, Texas, USA.
    Zhu, Angela
    Department of Computer Science, University of Houston, Houston, Texas, USA.
    Timing Analysis of the Priority based FRP System2008Ingår i: Proceedings Work-In-Progress Session of the 14th Real-Time and Embedded Technology and Applications Symposium: 22-24 April, 2008: St. Louis, USA / [ed] Ying Lu, Lincoln, NE: University of Nebraska–Lincoln, Computer Science and Engineering , 2008, 89-92 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Kaiabachev, Taha, Zhu [1] have presented a declarative programming paradigm called Functional Reactive Programming, which is based on behaviors and events. An improved system called P-FRP uses fixed priority scheduling for tasks. The system allows for the currently executing lower priority tasks to be rolled back to restoring the original state and allowing a higher priority task to run. These aborted tasks will restart again when no tasks of higher priority are in the queue. Since P-FRP has many applications in the real time domain it is critical to understand the time bound in which the tasks which have been aborted are guaranteed to run, and if the task set is schedulable. In this paper we provide an analysis of the unique execution paradigm of the P-FRP system and study the timing bounds using different constraint variables.

    1. R. Kaiabachev, W. Taha, A. Zhu, E-FRP with priorities, In the Proceedings of the 7th ACM & IEEE international conference on Embedded software, Pages: 221 - 230, 2007.

  • 323.
    Benaceur, Amel
    et al.
    INRIA Rocquencourt.
    Chilton, Chris
    University of Oxford.
    Isberner, Malte
    Technical University of Dortmund.
    Jonsson, Bengt
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
    Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning2013Ingår i: SEFM 2013, 11th Int. Conf. on Software Engineering and Formal Methods / [ed] Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti, Springer, 2013, 274-288 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    Software systems are increasingly composed of independentlydeveloped heterogeneous components. To ensure interoperability, medi-ators are needed that coordinate actions and translate exchanged mes-sages between the components. We present a technique for automatedsynthesis of mediators, by means of a quotient operator, that is based onbehavioural models of the components and an ontological model of thedata domain. By not requiring a specification of the composed system,the method supports both off-line and run-time synthesis. The obtainedmediator is the most general component that ensures freedom of bothcommunication mismatches and deadlock in the composition. Validationof the approach is given by implementation of a prototype tool, while ap-plicability is illustrated on heterogeneous holiday booking components.

  • 324.
    Benaissa, Zine El-Abidine
    et al.
    Oregon Graduate Institute, Portland, OR, USA.
    Moggi, Eugenio
    DISI, University of Genoa, Genoa, Italy.
    Taha, Walid
    Oregon Graduate Institute, Portland, OR, USA.
    Sheard, Tim
    Oregon Graduate Institute, Portland, OR, USA.
    Logical Modalities and Multi-Stage Programming1999Konferensbidrag (Refereegranskat)
    Abstract [en]

    Multi-stage programming is a method for improving the performance of programs through the introduction of controlled program specialization. This paper makes a case for multi-stage programming with open code and closed values. We argue that a simple language exploiting interactions between two logical modalities is well suited for multi-stage programming, and report the results from our study of categorical models for multi-stage languages.

  • 325.
    Bengtsson, Marcus
    Mälardalens högskola, Institutionen för innovation, design och produktutveckling.
    Condition Based Maintenance Systems Technology: Where is Development Heading?2004Ingår i: Proceedings of the 17th Congress of Euromaintenance, 2004Konferensbidrag (Övrigt vetenskapligt)
  • 326.
    Bengtsson, Marcus
    Mälardalens högskola, Institutionen för innovation, design och produktutveckling.
    Standardization Issues in Condition Based Maintenance2003Ingår i: Proceedings of the 16th International Congress, August 27-29, 2003, Växjö University, Sweden, Växjö: Växjö University Press , 2003Konferensbidrag (Övrigt vetenskapligt)
  • 327.
    Bengtsson, Marcus
    et al.
    Mälardalens högskola, Institutionen för innovation, design och produktutveckling.
    Jackson, Mats
    Important Aspects to take into Consideration when Deciding to Implement Condition Based Maintenance2004Konferensbidrag (Övrigt vetenskapligt)
  • 328.
    Bengtsson, Matilda
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Color adjustment of digital images of clothes for truthful rendering2016Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    E-commerce is a growing market for selling gods and digital images are often used to display the product. However, there is a problem when the color of the object does not match the reality. This can lead to a dissatisfaction of the customer and a return of the product. Returned goods causes a significant loss in revenue for the suppliers. One reason for untruthful rendering of colors in images is due to different temperatures, or colors, of the illumination sources lighting the scene and the object. This effect can be reduced by a method called white balance. In this thesis, an algorithm based on the technique in Hsu et al. was implemented for a more truthful rendering of images of clothes and toys used in e-commerce. The algorithm removes unwanted color casts induced in the image from two different illumination sources. The thesis also marks important details missing in aforementioned paper as well as some drawbacks of the proposed technique, such as high processing time.

  • 329.
    Benjamin, Andersson
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system.
    En teoretisk och praktisk jämförelse av alternativ till OpenLayers2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Med att de mobila enheterna blir allt mer kraftigare och webbtekniken går allt fortare framåt, så har webbapplikationer börjat blivit ett fullgott alternativ till vanliga nativeapplikationer. Presentera webbkartor med hjälp av ramverket OpenLayers har aldrig varit en större användarupplevelse på  mobil enhet då det är både stort och tungkört för en segare enhet. Samt att de aldrig var tänkte från början att fungera för  touchbaserade enheter, utan de är stöd som  senare har lagts på.

    Därför har jag hittat ett annat fullgott  alternativ till OpenLayers som heter Leaflet, som är anpassat att ha alla funktioner som  man kan kräva av en webbaserad karta och samtidigt fungera i mobila touch enheteter. Leaflet använder alla nya webbtekniker som HTML5 och CSS3 i största möjliga mån för att få sådan bra upplevelse som möjligt.

    Jag gjorde om hela klientdelen av en realtidskarta för blixtar i Leaflet istället, så att den skulle fungera bättre på en mobil enhet än vad den tidigare gjorde. Med denna implementation så visade sig att Leaflet kunde nå upp till alla krav som man kan ställa på en webbaserad karta. Resultatet blev en mycket lättare och snabbare klient med samma funktionalitet som den förra hade.

  • 330.
    Bennulf, Mattias
    et al.
    Högskolan Väst, Institutionen för ingenjörsvetenskap, Avd för data- och elektroteknik.
    Svedman, Jacob
    Högskolan Väst, Institutionen för ingenjörsvetenskap, Avd för data- och elektroteknik.
    Automatiserat hem: med gränssnitt för anslutning av utrustning2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Syftet med arbetet är att ta reda på hur man kan utveckla ett system för automatiserade hem, där användaren enkelt kan ansluta egenbyggd utrustning. Det kan exempelvis vara styrning av en vattenspridare eller mätning av vindhastighet. Det ska även finnas möjlighet att utveckla mer avancerade tillbehör.

    För att skapa ett system som uppfyller detta måste det finnas en central för samordning av enheter och data. Det behövs också ett öppet gränssnitt för kommunikation mellan cen-tralen och användarnas enheter. Man bör ersätta direkt ändring i kod och databas i cen-tralen med att istället skapa grafiska gränssnitt till användarna, det gör det lättare för dem att lära sig systemet. Man bör däremot inte begränsa användarnas frihet att utveckla enheter mer än funktionaliteten på de gränssnitt och centralens konfigurationsmöjligheter.

    Delar av kraven implementerades i en prototyp, för att göra en utvärdering av hur systemet fungerar i verkligheten. Prototypen är baserad kring en server med Debian som central för hemmet. Den kan exempelvis ta beslut om larmet ska gå eller om en lampa ska tändas. I sy-stemet ska användaren enkelt kunna ge instruktioner till centralen och på så sätt program-mera hur den ska bete sig. En användare kan utveckla egen utrustning och sedan enkelt an-sluta den till centralen för att sedan konfigurera centralen via olika webbaserade verktyg. På så sätt kan tillbehör skapas och anslutas utan att ändra något mer på servern än innehållet i databasen. För att testa systemet skapades ett modulhus som är två väggar i ett kors, där ut-rustning och centralen placerades. Eftersom starkström och låskolv användes resulterade detta i att vissa störningar uppmärksammades och motverkades

  • 331.
    Bensch, Suna
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Björklund, Johanna
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Kutrib, Martin
    Institut fur Informatik, Universität Giessen.
    Deterministic Stack Transducers2016Ingår i: Implementation and Application of Automata / [ed] Yo-Sub Han and Kai Salomaa, Springer, 2016, 27-38 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    We introduce and investigate stack transducers, which are one-way stack automata with an output tape. A one-way stack automaton is a classical pushdown automaton with the additional ability to move the stack head inside the stack without altering the contents. For stack transducers, we distinguish between a digging and a non-digging mode. In digging mode, the stack transducer can write on the output tape when its stack head is inside the stack, whereas in non-digging mode, the stack transducer is only allowed to emit symbols when its stack head is at the top of the stack. These stack transducers have a motivation from natural language interface applications, as they capture long-distance dependencies in syntactic, semantic, and discourse structures.We study the computational capacity for deterministic digging and non-digging stack transducers, as well as for their non-erasing and checking versions. We finally show that even for the strongest variant of stack transducers the stack languages are regular.

  • 332.
    Bensch, Suna
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Kutrib, Martin
    Institut fuer Informatik, Universität Giessen.
    Malcher, Andreas
    Institut fuer Informatik, Universität Giessen.
    Extended Uniformly Limited T0L Languages and Mild Context-Sensitivity2016Ingår i: Eight Workshop on Non-Classical Models of Automata and Applications (NCMA 2016): Short Papers / [ed] Henning Bordihn, Rudolf Freund, Benedek Nagy, and György Vaszil, Wien: Institut für Computersprachen , 2016, 35-46 s.Konferensbidrag (Refereegranskat)
    Abstract [en]

    We study the fixed membership problem for k-uniformly-limited and propagating ET0L systems (kulEPT0L systems). To this end, the algorithm given in [7] is applied. It follows that kulEPT0L languages are parsable in polynomial time. Since kulEPT0L languages are semi-linear [1] and kulEPT0L systems generate certain non-context-free languages, which capture the non-context-free phenomena occurring in natural languages, this is the last building block to show that kulEPT0L languages, for k ≥ 2, belong to the family of mildly context-sensitive languages.

  • 333. Bentley, Frank
    et al.
    Tollmar, Konrad
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikationssystem, CoS, Mobile Service Laboratory (MS Lab). KTH, Skolan för informations- och kommunikationsteknik (ICT), Centra, KTH Center för Trådlösa System, Wireless@kth.
    Stephenson, Peter
    Levy, Laura
    Jones, Brian
    Robertson, Scott
    Price, Ed
    Catrambone, Richard
    Wilson, Jeff
    Health Mashups: Presenting Statistical Patterns between Wellbeing Data and Context in Natural Language to Promote Behavior Change2013Ingår i: ACM Transactions on Computer-Human Interaction, ISSN 1073-0516, Vol. 20, nr 5, 30- s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    People now have access to many sources of data about their health and wellbeing. Yet, most people cannot wade through all of this data to answer basic questions about their long-term wellbeing: Do I gain weight when I have busy days? Do I walk more when I work in the city? Do I sleep better on nights after I work out? We built the Health Mashups system to identify connections that are significant over time between weight, sleep, step count, calendar data, location, weather, pain, food intake, and mood. These significant observations are displayed in a mobile application using natural language, for example, "You are happier on days when you sleep more." We performed a pilot study, made improvements to the system, and then conducted a 90-day trial with 60 diverse participants, learning that interactions between wellbeing and context are highly individual and that our system supported an increased self-understanding that lead to focused behavior changes.

  • 334.
    Berg, Gustaf
    et al.
    Högskolan Väst, Institutionen för ingenjörsvetenskap, Avdelningen för data-, elektro- och lantmäteriteknik.
    Larsson, Daniel
    Högskolan Väst, Institutionen för ingenjörsvetenskap, Avdelningen för data-, elektro- och lantmäteriteknik.
    En jämförande studie av tekniker för trådlös platsanalys vid Universeum2016Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    In this thesis a comparison between a predictive site survey and two passive site surveys is performed, to see if only a predictive survey is enough to estimate a well-functioning wireless network. Some fundamental facts and techniques that are involved in wireless networks are presented and also the method of how the site surveys were planned and performed. The outcome is compiled in diagrams. The difference between a predictive and a passive site survey is analyzed, and shows if the prediction is trustworthy or needs to be verified.

  • 335.
    Berg Marklund, Björn
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Backlund, Per
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Dahlin, Carl-Johan
    ius information AB, Skövde, Sweden.
    Engström, Henrik
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Wilhelmsson, Ulf
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    A Game-Based Approach to Support Social Presence and Awareness in Distributed Project-Based Learning2014Ingår i: International Journal of Games Based Learning, ISSN 2155-6849, E-ISSN 2155-6857, Vol. 4, nr 1, 1-20 s.Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    An important factor for success in project-based learning (PBL) is that the involved project groups establish an atmosphere of social interaction in their working environment. In PBL-scenarios situated in distributed environments, most of a group's work-processes are mediated through the use of production-focused tools that are unconcerned with the important informal and social aspects of a project. On the other hand, there are plenty of tools and platforms that focus on doing the opposite and mainly support informal bonding (e.g., Facebook), but these types of environments can be obtrusive and contain distractions that can be detrimental to a group's productivity and are thus often excluded from working environments. The aim of this paper is to examine how a game-based multi-user environment (MUVE) can be designed to support project-based learning by bridging the gap between productivity-focused and social software. To explore this, the authors developed a game-based MUVE which was evaluated in a PBL-scenario. The result of the study revealed several crucial design elements that are needed to make such a MUVE work effectively, and that the acceptance towards game-based MUVEs is high, even with a rudimentary execution.

  • 336.
    Bergdahl, Otto
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Granli, Petter
    Linköpings universitet, Institutionen för datavetenskap.
    Grimsdal, Gunnar
    Linköpings universitet, Institutionen för datavetenskap.
    Nilsson, Johan
    Linköpings universitet, Institutionen för datavetenskap.
    Arvidsson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Bennich, Viktor
    Linköpings universitet, Institutionen för datavetenskap.
    Celik, Hakan
    Linköpings universitet, Institutionen för datavetenskap.
    Visual Care: Utveckling av en webbapplikation för att visualisera vårdprocesser2017Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Rapporten beskriver hur produkten Visual Care har tagits fram. Produkten är en webbapplikation för visualisering av statistik från kunden Region Östergötland. Målet med applikationen är att hjälpa anställda på Region Östergötland att planera behandling av cancerpatienter.

    Syften med den här rapporten är att analysera projektgruppens utvecklingsmetoder och processer för att ta fram produkten Visual Care. Produkten kommer inte att användas av Region Östergötlands anställda, utan kommer istället att användas som en prototyp och inspiration för framtida projekt av kunden. 

  • 337.
    Bergenhem, Carl
    et al.
    SP - Technical Research Institute of Sweden Department of Electronics, Borås, Sweden.
    Jonsson, Magnus
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Two Protocols with Heterogeneous Real-Time Services for High-Performance Embedded Networks2012Rapport (Övrigt vetenskapligt)
    Abstract [en]

    High-performance embedded networks are found in computer systems that perform applications such as radar signal processing and multimedia rendering. The system can be composed of multiple computer nodes that are interconnected with the network. Properties of the network such as latency and speed affect the performance of the entire system. A node´s access to the network is controlled by a medium access protocol. This protocol decides e.g. real-time properties and services that the network will offer its users, i.e. the nodes. Two such network protocols with heterogeneous real-time services are presented. The protocols offer different communication services and services for parallel and distributed real-time processing. The latter services include barrier synchronisation, global reduction and short message service. A network topology of a unidirectional pipelined optical fibre-ribbon ring is assumed for both presented protocols. In such a network several simultaneous transmissions in non-overlapping segments are possible. Both protocols are aimed for applications that require a high-performance embedded network such as radar signal processing and multimedia. In these applications the system can be organised as multiple interconnected computation nodes that co-operate in parallel to achieve higher performance. The computing performance of the whole system is greatly affected by the choice of network. Computing nodes in a system for radar signal processing should be tightly coupled, i.e., communications cost, such as latency, between nodes should be small. This is possible if a suitable network with an efficient protocol is used. The target applications have heterogeneous real-time requirements for communication in that different classes of data-traffic exist. The traffic can be classified according to its requirements. The proposed protocols partition data-traffic into three classes with distinctly different qualities. These classes are: traffic with hard real-time demands, such as mission critical commands; traffic with soft real-time demands, such as application data (a deadline miss here only leads to decreased performance); and traffic with no real-time constraints at all. The protocols are analysed and performance is tested through simulation with different data-traffic patterns.

  • 338. Berggren, Per
    et al.
    Hiljemark, Rasmus
    Mot grönare IT: En studie om att förstå hinder företag ställs inför vid införandet av grön-IT2015Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
  • 339.
    Berglund, Anders
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi.
    Understanding Network Protocols. A Phenomenographic study: Invited seminar at the 2nd Annual Finnish/Baltic Sea Conference on Computer Science Education2002Övrigt (Övrigt vetenskapligt)
    Abstract [en]

    How students who participate in a project-centered, internationally distributed, university course in computer systems taught jointly by two universities understand a network protocol, TCP, is described in this paper. Insights into students' understanding are gained through an empirical phenomenographic research approach. The use of phenomenography as a research approach makes it possible to learn about computer science, as it is experienced by the students. Some aspects that indicate good learning outcomes are identified, such as being capable of understanding a protocol in different ways and of making relevant choices between the ways it could be experienced according to the context in which it appears. Based on these results a discussion on learning and teaching is developed.

  • 340.
    Berglund, Anders
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi.
    Sundin, Peter
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, För teknisk-naturvetenskapliga fakulteten gemensamma enheter, International Science Programme (ISP).
    The Development of Cooperation Between Al Baha University and Uppsala University, Sweden2014Ingår i: International Exhibition and Conference on Higher Education, Riyadh, Saudi Arabia, 2014Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    Developing new master level education is a complex task. Not only is the competence within the discipline crucial; teaching and as a consequence, learning, must also be research-focused and must aim to encourage the students to develop into independent scholars.

    In this collaborative, multi-facetted project Al Baha University, Saudi Arabia, (ABU) and Uppsala University, Sweden, (UU) work jointly to develop ABU into a leading actor in master level education with a corresponding research profile. The schools/departments take their own decisions on design and priorities of the activities. In this way the project profits from the local competencies at both sites and becomes locally situated and thus closer to the needs and expectations of the ABU staff.

    The partners entered into collaboration 2011. Among initial achievements was the common identification of the need of a bridging year for tentative master’s students, to complement the skills from the undergraduate (UG) level, and reinforce the command of English, which is a necessary tool in international education. In addition, computer science and mathematics were selected as the initial development areas.

    Within mathematics, the Department of Mathematics at UU was engaged in a discussion aiming primarily to develop the UG curriculum to match the needs of a future master programme, and secondly to develop the curriculum of a ABU master programme in mathematics to match UU standards, with the possibility in mind of student exchange targeting specific courses and thesis studies.

    Meanwhile, in the autumn 2013 a female staff member of ABU was admitted as PhD student in mathematics at UU, and has now started her second semester of full time studies.

    Within computer science (CS), the project tackles the significant challenges to encourage students, teachers and the formal university structures to embrace the ideas of Scholarship of Teaching and Learning (SoTL). The aim is to promote staff and students to broaden their perspective on what research and investigation means and to critically examine teaching and learning. As a consequence, the ways to relate to the students, the subject area, the teaching and the colleagues must be scrutinised, with the intent of finding new teaching and learning forms.

    The project implements these ideas in several ways. Currently a staff development course is given as a starting point for the project within CS. With a focus on the changes needed to implement the ideas of SoTL, the course participants make their own pedagogical development projects, and study their own practice and its outcomes using rigorous research-based methods. As a continuation, during the coming years, the two universities will run a set of workshops, mainly with a methodological focus, followed by a series of three conferences, with the first one serving the local area, and the last being an internationally recognised Institute of Electrical and Electronics Engineers (IEEE) sponsored conference. 

  • 341.
    Berglund, Emil
    et al.
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Samhällsvetenskapliga fakulteten, Institutionen för informatik och media.
    Facklam, Alexander
    Uppsala universitet, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Samhällsvetenskapliga fakulteten, Institutionen för informatik och media.
    Framgång eller förfall?: Utvecklingen, riskerna och potentialen av BYOD2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Uppsatsen undersöker fenomenet Bring Your Own Device (BYOD), dess för- och nackdelar samt hur riskerna BYOD medför kan hanteras. För att uppnå detta har en litteraturstudie genomförts. Denna kompletteras av en enkätstudie på Stockholms Läns Landsting och tre intervjuer på Uppsala Kommun med målet att se hur dessa organisationer hanterar BYOD. Arbetet ger en djup insikt i BYOD olika aspekter och visar även på hur de risker som uppkommer kan hanteras.

  • 342.
    Berglund, Jessica
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Gallardo, Marielle
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Spektrumanalys och Dynamiska Management-system med Cisco Radio Resource Management och CleanAir2017Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Störningar är en av de vanligaste orsakerna till försämrad prestanda och tillförlitlighet i trådlösa nätverk. Frekvensstörningar och brus kan lokaliseras genom att utföra spektrumanalys för att mäta amplitud- och frekvensegenskaper hos elektromagnetiska signaler. Inledningsvis gjordes en teoretisk beskrivning av spektrumanalys och site survey. Manuell spektrumanalys undersöktes dessutom praktiskt genom laborationsmätningar och grafritning med Metageek Wi-Spy och dess mjukvara Chanalyzer. Signaler från 802.11-enheter betraktades med spektrumanalys, och analyserades utifrån hur störande dess signaler såg ut att vara. Detta jämfördes sedan mot den faktiska störningsinverkan enheterna hade. Analysen visade att manuellt genomförd spektrumanalys kan vara svårtolkad när det kommer till att identifiera störande moment, då signaler från enheter som såg ut att störa mycket i själva verket inte gjorde det. Enheternas kanalaccessmetod, i det här fallet CSMA/CA, bidrog till en låg störningsinverkan då enheterna väntade med att sända tills mediet var ledigt, vilket minskade risken för kollisioner. Ciscos nya CleanAir-teknologi har inbyggd spektrumanalysfunktionalitet, för att kunna upptäcka, klassificera och undvika radiofrekvensstörningar. Att störningar automatiskt kan upptäckas och åtgärdas sparar både driftskostnader och minimerar nätverksavbrott. Denna automatisering är möjlig tack vare Cisco Radio Resource Management (RRM) som är ett system bestående av flera protokoll, och innefattar bland annat funktioner för att byta kanal och ändra utsänd effekt automatiskt. De protokoll som ingår i RRM undersöktes och diskuterades sedan i förhållande till genomförda laborationsmätningar. Laborationsmätningar visade att Ciscos Aironet 2700-accesspunkt var mer robust mot störningar än en D-Link-router avsedd för hemmabruk och mindre kontorsmiljöer. En accesspunkts robusthet avgörs av dess trådlösa standard, modulationsteknik och dynamiska managementprotokoll. Trådlös kommunikation är ett komplext ämne, där många faktorer har betydelse för ett nätverks prestanda. Det är därför inte lämpligt att dra några konkreta slutsatser från de laborationsmätningar som genomfördes. För framtida arbeten bör liknande laborationer med störningar från icke-802.11-enheter genomföras för att jämföra störningsinverkan från CSMA- och icke-CSMA-kommunikation.

  • 343.
    Bergman, B.L.S
    et al.
    Chalmers university of .
    Fundin, Anders
    Chalmers university of technology, Sweden.
    Gremyr, I.C
    Chalmers university of technology, Sweden.
    Johansson, P.M
    Chalmers university of technology, Sweden.
    Beyond root-cause analysis2002Ingår i: Proceedings of the Annual Reliability and Maintainability Symposium (RAMS), 2002Konferensbidrag (Refereegranskat)
  • 344.
    Bergman, Jan E. S.
    et al.
    Swedish Institute of Space Physics, Sweden.
    Bruhn, Fredrik
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Funk, Peter
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Isham, Brett
    Interamerican University of Puerto Rico, Bayamón, Puerto Rico.
    Rincon-Charris, Amilcar
    Interamerican University of Puerto Rico, Bayamón, Puerto Rico.
    Capo-Lugo, Pedro
    NASA Marshall Space Flight Center, Huntsville, Alabama, USA.
    Åhlen, Lennart
    Swedish Institute of Space Physics, Sweden.
    Exploiting Artificial Intelligence for Analysis and Data Selection on-board the Puerto Rico CubeSat2015Konferensbidrag (Refereegranskat)
  • 345.
    Bergman, Jens
    et al.
    Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Avdelningen för informations- och kommunikationssystem.
    Wallin, Fredrik
    Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Avdelningen för informations- och kommunikationssystem.
    3D-portal: Kommunikation i 3D2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I dagens samhälle används internet för kommunikation mellan människor runtom i världen. Det första videosamtalet gjordes runt år 1940 och det är dags fören utveckling, där 3D är något som skulle kunna göra videomöten mer verkliga.För att möjliggöra detta så konstruerades ett system som skulle kunna ta in datafrån olika time-of-flight- och färgkameror och en ljudenhet. Denna data ska sedankomprimeras och sändas över internet för att kunna spelas upp på någonannans 3D-skärm. För att samtalet inte ska kännas fördröjt måste samtliga delartillsammans ske inom realtid. De utvecklingsmetoder som har använts är parprogrammeringoch en variant utav testdriven utveckling. Systemet har utvärderatsutifrån tidmätningar, bildkvalitet och datastorlek för att hitta en bra balansmellan tid och kvalitet. Systemet konstruerades med fem delar: insamling avbilder och ljud, bilduppskalning, komprimering och avkomprimering, internetöverföringsamt rendering. Resultatet visade att de delar som berörs av datastorlekoch bildkvalitet kunde uppnå en bra balans mellan tid och kvalitet. Dockkunde inte alla mål uppnås då vissa delar tog upp mer tid än realtidsmålet samtatt alla delar inte han konstrueras. Eftersom systemet byggdes upp modulärt såkan de delar som inte uppnådde målen förbättras eller bytas ut. Utifrån resultatetkunde sedan lösningsförslag ges för att förbättra resultaten för en eventuell vidareutveckling.

  • 346.
    Bergqvist, Emil
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Auditory displays: A study in effectiveness between binaural and stereo audio to support interface navigation2014Självständigt arbete på avancerad nivå (magisterexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    This thesis analyses if the change of auditory feedback can improve the effectiveness of performance in the interaction with a non-visual system, or with a system used by individuals with visual impairment. Two prototypes were developed, one with binaural audio and the other with stereo audio. The interaction was evaluated in an experiment where 22 participants, divided into two groups, performed a number of interaction tasks. A post-interview were conducted together with the experiment. The result of the experiment displayed that there were no great difference between binaural audio and stereo regarding the speed and accuracy of the interaction. The post-interviews displayed interesting differences in the way participants visualized the virtual environment that affected the interaction. This opened up interesting questions for future studies.

  • 347.
    Bergsaker, Agnethe
    Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för informatik (IK). Centrum för Informationslogistik.
    Standardsystem och användbarhet: Hur ska man som utvecklare säkra att användbarhet uppnås i små SharePoint-projekt?2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    IT (Informationsteknologi) används i dag mycket för att distribuera och förmedla information internt och externt. Ett bra verktyg för informationshantering är verksamhetens intranät. Arbetet handlar om användbarhet i små SharePoint-projekt. Med användbarhet omfattas faktorerna användarvänlighet, anpassning och användaracceptans. Små SharePoint-projekt (på under 300 timmar) innebär att det finns mindre resurser för att tillämpa användbarhet.

    Syftet med detta arbete är att undersöka utvecklare inom SharePoint sina åsikter och förhållningssätt kring användbarhet, samt hur användbarhet bäst kan uppnås i små projekt med begränsade resurser. En kvantitativ metod har används för att genomföra fallstudie av tre utvecklare i ett konsultföretag. Intervjuerna har varit semistrukturerade.

    Resultatet av forskningen drar slutsatsen att användaracceptansen är avgörande för att ett intranät ska uppfattas som användbart för användarna. Användarvänligheten är i standard SharePoint redan relativt definierad och fastställd. Anpassning av ett system istället för att använda inbyggda standarder är ofta kostsamt och resurskrävande. Utvecklarna bör därmed fokusera på utbildning, användarmedverkan, kommunikation och andra faktorer som kan öka acceptansen hos slutanvändarna.

  • 348.
    Bergström, Anton
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Dackner, Gustav
    Linköpings universitet, Institutionen för datavetenskap.
    Frank, Erik
    Linköpings universitet, Institutionen för datavetenskap.
    Olsson, Konrad
    Linköpings universitet, Institutionen för datavetenskap.
    Sjövall, Emil
    Linköpings universitet, Institutionen för datavetenskap.
    Sundqvist, Anton
    Linköpings universitet, Institutionen för datavetenskap.
    Wiksten, Elin
    Linköpings universitet, Institutionen för datavetenskap.
    Utveckling av webbapplikationen Folkbolaget: En e-handel med användbarhet i fokus2017Självständigt arbete på grundnivå (kandidatexamen), 12 poäng / 18 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Mikrobryggerier som brygger folköl kämpar idag med att nå ut med sina produkter till marknaden. Då e-handeln i Sverige växer kraftigt och befinner sig i en positiv trend skulle ett sätt att förbättra tillgängligheten till marknaden för mikrobryggerier vara att distribuera och marknadsföra hantverksfolköl via en webbapplikation. För att framgångsrikt lansera en sådan lösning och attrahera en stabil kundbas krävs att tilltänkta kunder finner den användbar. Denna rapport redogör för utvecklingsprocessen av en användbar webbapplikation ur ett navigerbarhets-, läsbarhets- och responsivitetsperspektiv. Rapporten tar stöd i teori baserad på vetenskaplig forskning om användbarhet i form av: navigerbarhet, läsbarhet och responsivitet. Programmeringsspråken Python och Flask har använts för serversidan. För klientsidan har HTML, CSS och Bootstrap använts. Vidare har JavaScript-biblioteket jQuery använts för kommunikation mellan klient- och serversidan. Efter utvecklingsfasen utvärderades webbapplikationen med hjälp av användartester. Utifrån presenterad teori och genomförda tester dras slutsatsen att webbapplikationen är användbar. Detta uppnås genom att användaren oavsett var på hemsidan den befinner sig kan navigera sig vidare till önskad del av webbapplikationen med maximalt tre klick. Färger, ikoner, textstorlek och typsnitt har valts så att innehållet är läsbart och slutligen har implementationen av CSS och Bootstrap gjort webbapplikationen responsiv.

  • 349.
    Bergström, Erik
    et al.
    Högskolan i Skövde, Forskningscentrum för Informationsteknologi. Högskolan i Skövde, Institutionen för informationsteknologi.
    Pehrsson, Helen
    Högskolan i Skövde, Forskningscentrum för Informationsteknologi. Högskolan i Skövde, Institutionen för informationsteknologi.
    Performance Assessments in Computer Science - An example of student perceptions2014Ingår i: Next Generation Learning Conference: Conference Summary / [ed] Erik Brunnert Walfridsson, 2014, 4-16 s.Konferensbidrag (Refereegranskat)
  • 350.
    Bergström, Henning
    Mälardalens högskola, Akademin för innovation, design och teknik.
    A Study on Timed Base Choice Criteria for Testing Embedded Software2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Programs for Programmable Logic Controller (PLC) are often written in graphical or textual languages. Control engineers design and use them in systems where safety is vital, such as avionics, nuclear power plants or transportation systems. Malfunction of such a computer could have severe consequences, therefore thorough testing of PLCs are important. The Base Choice (BC) combination strategy was proposed as a suitable technique for testing software. Test cases are created based on BC strategy by varying the values of one parameter at a time while keeping the values of the other parameters fixed on the values in the base choice. However, this strategy might not be as effective when used on embedded software where parameters need to be set for a certain amount of time in order to trigger a certain interesting behavior. By incorporating time as another parameter when generating the tests, the goal is to create a better strategy that will increase not only code coverage but also fault detection compared to base choice strategy. Timed Base Choice (TBC) coverage criteria is an improvement upon the regular Base Choice criteria with the inclusion of time. We define TBC as follows: The base test case in timed base choice criteria is determined by the tester of the program. A criterion suggested by Ammann and Offutt is the “most likely value” from the point of view of the user. In addition, a time choice T is determined by the tester as the most likely time for keeping the base test case to the same values. From the base test case, new test cases are created by varying the interesting values of one parameter at a time, keeping the values of the other parameters fixed on the base test case. Each new test case is executed with the input values set for a certain amount of time determined by the time choice T. The time choice is given in time units. The research questions stated in this thesis are as follows: Research Question 1 (RQ1) How does Timed Base Choice tests compare to Base Choice tests in terms of decision coverage? Research Question 2 (RQ2) How does Timed Base Choice tests compare to Base Choice tests in terms of fault detection? In order to answer these questions, an empirical study was made in which 11 programs was tested along with respective test cases generated by BC and TBC. Each program was executed on a PLC along with the belonging test cases and several faulty programs (mutants). From this testing we got the corresponding decision coverage for each program achieved by BC and TBC respectively as well as a mutation score measuring how many of the mutated programs was detected and killed. We found that TBC outperformed BC testing both in terms of decision coverage and fault detection. Using TBC testing we managed to achieve full decision coverage on several programs that we were unable to achieve using regular BC. This shows that TBC is an improvement upon the regular BC in both ways, thus answering our previously stated research questions.

45678910 301 - 350 av 2741
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf