Sökning: "c uppsats beteende problem"

Visar resultat 1 - 5 av 10 uppsatser innehållade orden c uppsats beteende problem.

  1. 1. Extracting scalable program models for TLA model checking

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Anders Ågren Thuné; Theo Puranen Åhfeldt; [2020]
    Nyckelord :;

    Sammanfattning : Program verification has long been of interest to researchers and practitioners for its role in asserting reliability in critical systems. Many such systems feature reactive behavior, where temporal properties are of interest. Consequently, a number of systems and program verification tools for dealing with temporal logic have been developed. LÄS MER

  3. 2. Beteendepåverkan genom hot, en fråga om trovärdighet?

    Magister-uppsats, Försvarshögskolan

    Författare :Jan Abrahamsson; [2016]
    Nyckelord :Peter Viggo Jakobsen; Daryl C. Press; Rob de Wijk; hot; militär trovärdighet; tvångsmaktsteori; tvångsmakt;

    Sammanfattning : Tvångsmaktsteorier försöker förstå och förklara vad som skapar framgång vid bruket av tvångsmakt. Tvångsmakt är att med hot, eller småskaliga stridshandlingar, från det militära maktmedlet åstadkomma en önskvärd förändring i en aktörs beteende. LÄS MER

  4. 3. Data Transfer and Management through the IKAROS framework : Adopting an asynchronous non-blocking event driven approach to implement the Elastic-Transfer's IMAP client-server connection

    Master-uppsats, KTH/Radio Systems Laboratory (RS Lab)

    Författare :Nikolaos Gkikas; [2015]
    Nyckelord :parallel file systems; distributed file systems; IKAROS file system; elastic-transfer; grid computing; storage systems; I O limitations; exascale; low power consumption; low cost devices; synchronous; blocking; asynchronous; non-blocking; event-driven; JSON.; parallella filsystem; distribuerade filsystem; IKAROS filsystem; elastic-transfer; grid computing; lagringssystem; I O-begränsningar; exa-skala; låg energiförbrukning; lågkostnadsenheter; synkron; blockerande; asynkron; icke-blockerande; händelsedriven; JSON;

    Sammanfattning : Given the current state of input/output (I/O) and storage devices in petascale systems, incremental solutions would be ineffective when implemented in exascale environments. According to the "The International Exascale Software Roadmap", by Dongarra, et al. LÄS MER

  5. 4. Svenska revisorers uppfattning av goodwillredovisning enligt IFRS

    Kandidat-uppsats, Högskolan i Gävle/Avdelningen för ekonomi

    Författare :Elin Elmehagen; Tomas Friberg; [2014]
    Nyckelord :Goodwill; Goodwill Accounting; IFRS; Impairments; IAS; Sweden; Goodwill; Goodwillredovisning; IFRS; Nedskrivningar; IAS; Sverige;

    Sammanfattning : Abstrakt Titel: Svenska revisorers uppfattning av goodwillredovisning enligt IFRS Nivå: C -uppsats i ämnet företagsekonomi Författare: Elin Elmehagen och Tomas Friberg Handledare: Jan Svanberg Datum: 2014- maj Syfte: Syftet med denna studie är att undersöka svenska revisorers uppfattning av goodwillredovisning enligt internationella redovisningsstandarder, IFRS. Mer specifikt syftar studien till att undersöka huruvida svenska revisorer anser att det existerar ett manipulativt beteende vid goodwillredovisning enligt IFRS och vilka bakgrundsfaktorer som kan förklara revisorernas uppfattningar. LÄS MER

  7. 5. The impact of climate change on agriculture in the Republic of Mauritius : a socio-econometric study on Mauritian farming

    Master-uppsats, SLU/Dept. of Economics

    Författare :Madeleine Jönsson; [2011]
    Nyckelord :econometrics; socio-economic survey; SWOT-analysis; statistical significance; ANOVA-testing; food crops; agriculture; Mauritius; Ricardian modelling;

    Sammanfattning : "Food security is a situation that exists when all people, at all times, have physical and economic access to sufficient, safe and nutritious food that meets their dietary needs and food preferences for an active and healthy life" (FAO Summit, 2003, pp. 28). LÄS MER