Sökning: "Naturvetenskap Data- och informationsvetenskap Programvaruteknik"

Visar resultat 31 - 35 av 357 avhandlingar innehållade orden Naturvetenskap Data- och informationsvetenskap Programvaruteknik.

1. 31. Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains

   Författare :Mazen Mohamad; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Assurance case; Evidence; Automotive systems; Safety-critical; Security claims; Arguments; Security; Security; Assurance case; Safety-critical; Automotive systems; Arguments; Evidence; Security claims;

   Sammanfattning : The increasing demand for connectivity in safety-critical domains has made security assurance a crucial consideration. In safety-critical industry, software, and connectivity have become integral to meeting market expectations. LÄS MER

3. 32. Towards Efficiency and Quality Assurance in Threat Analysis of Software Systems

   Författare :Katja Tuma; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Secure Software Design; Threat Analysis Modeling ; Secure Software Design; Threat Analysis Modeling ;

   Sammanfattning : Context: Security threats have been a growing concern in many organizations. Organizations developing software products strive to plan for security as soon as possible to mitigate such potential threats. LÄS MER

4. 33. Guided Interaction and Collaborative Exploration in Heterogeneous Network Visualizations

   Författare :Björn Zimmer; Andreas Kerren; Hans-Jörg Schulz; Linnéuniversitetet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Information Visualization; Multivariate Networks; Visual Analytics; Exploration; Interaction; Collaboration; Provenance; Guidance; Informations- och programvisualisering; Information and software visualization;

   Sammanfattning : The visual exploration of large and complex network structures remains a challenge for many application fields, such as systems biology or social sciences. Often, various domain experts would like to work together to improve the analysis time or the quality of the analysis results. LÄS MER

5. 34. Effective Engineering of Multi-Robot Software Applications

   Författare :Sergio Garcia; Göteborgs universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Robotics; Multi-Robot; Autonomous Systems; Software Architecture; Empirical Research; Model-Driven Engineering; Domain-Specific Languages;

   Sammanfattning : Context: Service robots support humans by performing useful, repetitive or dangerous tasks. The development of service robots comes with severe software engineering challenges, since they require high levels of robustness and autonomy to operate and interact with highly heterogeneous, unconstrained, and partially known environments, often populated by humans. LÄS MER

7. 35. Two Optimization Problems in Genetics : Multi-dimensional QTL Analysis and Haplotype Inference

   Författare :Carl Nettelblad; Sverker Holmgren; José M. Álvarez-Castro; Jukka Corander; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; quantitative trait loci; genome-wide association studies; hidden Markov models; numerical optimization; linkage analysis; haplotype inference; genotype imputation; high performance computing;

   Sammanfattning : The existence of new technologies, implemented in efficient platforms and workflows has made massive genotyping available to all fields of biology and medicine. Genetic analyses are no longer dominated by experimental work in laboratories, but rather the interpretation of the resulting data. LÄS MER