Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "db:Swepub ;conttype:(scientificother);lar1:(mdh)"

Sökning: db:Swepub > Övrigt vetenskapligt > Mälardalens högskola

Sortera/gruppera träfflistan
  • Abbas Ali, Syed (författare)
  • WCET Analysis and Certification of Automatically Generated Code for CC-Systems AB
  • 2007
  • Rapport (övrigt vetenskapligt)abstract
    • In industry, certification of safety critical computer system is aiming to improve and project the safety of critical systems by following standards of design, development and manufacturing with professional responsibility.In the process of attaining certification we come across with different issues from inception till decommissioning, like which standard or standards are available and fit for product. Is process based certification enough for assuring system performance/reliability? What about legacy systems and how to certify them? Does the use of automated tools and code generation affect the certification? Which non-functional properties are useful for certification? Last but not least how useful is WCET analysis for certification along with the legal aspects of certification on component supplier, and metric for reliability?A case study of bridge panelÇs subsystem has been considered to suggest the solution of the above issues using the standards IEC 61508 and IEC 60945. IEC 61508 is a generic standard, but for safety industryÇs own standard are recommended. The targeted Safety Integrity Level for this product is SIL level 2, with respect to the software requirement.Certification does not guarantee, but they increases the chance that the product developed using the standards will be a safer product. The regulatory body also needed to be credible as it plays an important role by determining conformance with the standard and detail of the system.
  • Abelli, Björn, 1961- (författare)
  • On Stage! Playwriting, Directing and Enacting the Informing Processes
  • 2007
  • Doktorsavhandling (övrigt vetenskapligt)abstract
    • Within the discipline of information systems sometimes the conception of the main object is that the information system must be computer based. An example of an information system that is non-computer based is the scenic theatre performance. Input is the message or knowledge the participants of the theatre production want to pass over to the audience; output is the information and experiences the performance in itself mediates to the audience. This has been produced through a system development process; although the developers not always have been aware about what development model has been used.The dissertation combines some of the concepts found in theatre production with traditional system development concepts, and hence introduces new perspectives into the area of information systems. Some of the main findings in the study of theatre productions were the triplicity of a theatre production as a development process, an information system and an organization at the same time; the integrated relations of context, developers and users, which leads to spontaneous changes and overlaps of development roles; and the narrative and dramaturgical approach in the practical use of methods and techniques.These aspects should be useful also in development of other types of information systems, whether computer based or using other information technologies. The triplicity gives arguments to redefine each of these concepts. The generalizability of this approach has been validated through a second study, at a folk high school, which showed that models and concepts from theatre productions are possible to generalize to other information system areas than theatre, and that the borders of the organization coincides with the borders of the information system. Especially temporary organizations must be seen as ongoing, continuous development processes.
  • Abrahamsson, Henrik (författare)
  • Network overload avoidance by traffic engineering and content caching
  • 2012
  • Doktorsavhandling (övrigt vetenskapligt)abstract
    • The Internet traffic volume continues to grow at a great rate, now driven by video and TV distribution. For network operators it is important to avoid congestion in the network, and to meet service level agreements with their customers.  This thesis presents work on two methods operators can use to reduce links loads in their networks: traffic engineering and content caching.This thesis studies access patterns for TV and video and the potential for caching.  The investigation is done both using simulation and by analysis of logs from a large TV-on-Demand system over four months.The results show that there is a small set of programs that account for a large fraction of the requests and that a comparatively small local cache can be used to significantly reduce the peak link loads during prime time. The investigation also demonstrates how the popularity of programs changes over time and shows that the access pattern in a TV-on-Demand system very much depends on the content type.For traffic engineering the objective is to avoid congestion in the network and to make better use of available resources by adapting the routing to the current traffic situation. The main challenge for traffic engineering in IP networks is to cope with the dynamics of Internet traffic demands.This thesis proposes L-balanced routings that route the traffic on the shortest paths possible but make sure that no link is utilised to more than a given level L. L-balanced routing gives efficient routing of traffic and controlled spare capacity to handle unpredictable changes in traffic.  We present an L-balanced routing algorithm and a heuristic search method for finding L-balanced weight settings for the legacy routing protocols OSPF and IS-IS. We show that the search and the resulting weight settings work well in real network scenarios.
  • Abut, Hüseyin, et al. (författare)
  • Real-World Data Collection with UYANIK
  • 2009
  • Ingår i: In-Vehicle Corpus and Signal Processing for Driver Behavior. - Springer. - 978-0-387-79581-2 (Print) - 978-0-387-79582-9 (Online) ; s. 23-44
  • Bokkapitel (övrigt vetenskapligt)
Skapa referenser, mejla, bekava och länka
fritt online (675)
Typ av publikation
bokkapitel (871)
rapport (470)
konferensbidrag (382)
doktorsavhandling (278)
licentiatavhandling (216)
annan publikation (195)
visa fler...
tidskriftsartikel (176)
bok (144)
samlingsverk (redaktörskap) (82)
recension (56)
proceedings (redaktörskap) (33)
forskningsöversikt (13)
visa färre...
Typ av innehåll
Biesta, Gert, (53)
Lundqvist, Kristina, (49)
Crnkovic, Ivica, (41)
Lönnermark, Anders, ... (36)
Sandberg, Anette, (35)
Pettersson, Paul, (32)
visa fler...
Eriksson, Maria, 196 ... (32)
Sjödin, Mikael, (31)
Pecorari, Diane, 196 ... (30)
Färnlöf, Hans, 1970- ... (29)
Nolte, Thomas, (28)
Ingason, Haukur (28)
Söderbaum, Peter, 19 ... (28)
Segelod, Esbjörn, (27)
Hallin, Anette (27)
Börjesson, Mats, (24)
Yan, Jinyue, (24)
Carlson, Jan, (24)
Berglund, Karin, (21)
Brunnberg, Elinor, 1 ... (21)
Hansson, Hans, (21)
Wiklund Gustin, Lena ... (21)
Packalén, Sture, 194 ... (21)
Seceleanu, Cristina, (20)
Dobers, Peter, 1966- (20)
Land, Rikard, (20)
Dodig-Crnkovic, Gord ... (20)
Papahristodoulou, Ch ... (20)
Johanson, Ulf, 1944- ... (19)
Dahlquist, Erik, (18)
Silvestrov, Dmitrii, (18)
Mäki-Turja, Jukka, (18)
Göransson, Kerstin, (18)
Björkman, Mats, (17)
Bonner, R., (17)
Bate, Iain, (17)
Bockgård, Gustav, 19 ... (17)
Kumm, Mia, 1967-, (17)
Silvestrov, Sergei, ... (16)
Asplund, Lars, (16)
Mårtensson, Maria, (16)
Segelod, Esbjörn, 19 ... (16)
Stier, Jonas, 1967-, (16)
Martin, Lene, 1953-, (16)
Eriksson, Yvonne, (15)
Norström, Christer, (15)
Pringle, Keith (15)
Östlund, Gunnel, 195 ... (15)
Le Duc, Michael, (14)
Funk, Peter, (14)
visa färre...
Uppsala universitet (160)
Stockholms universitet (67)
Linköpings universitet (47)
Kungliga Tekniska Högskolan (36)
Linnéuniversitetet (26)
visa fler...
Göteborgs universitet (21)
Örebro universitet (20)
Karolinska Institutet (19)
Högskolan i Jönköping (18)
Umeå universitet (12)
Högskolan Dalarna (11)
Röda Korsets Högskola (11)
Högskolan i Halmstad (9)
Ersta Sköndal högskola (8)
Lunds universitet (7)
Chalmers tekniska högskola (6)
Högskolan i Skövde (6)
Mittuniversitetet (6)
Södertörns högskola (6)
Karlstads universitet (5)
Blekinge Tekniska Högskola (4)
Luleå tekniska universitet (3)
Högskolan i Gävle (3)
Sveriges Lantbruksuniversitet (3)
Högskolan Väst (2)
Högskolan i Borås (2)
Malmö högskola (2)
Konstfack (1)
visa färre...
Engelska (1889)
Svenska (812)
Franska (25)
Tyska (17)
Norska (16)
Odefinierat språk (15)
visa fler...
Spanska (6)
Danska (2)
Finska (2)
Kurdiska (2)
Polska (1)
Nederländska (1)
Portugisiska (1)
Japanska (1)
Turkiska (1)
visa färre...
Ämne (HSV)
Samhällsvetenskap (15)
Medicin och hälsovetenskap (12)
Humaniora (4)
Teknik (2)
Naturvetenskap (1)


pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy