Sökning: "Viable System Model"

Visar resultat 11 - 15 av 125 avhandlingar innehållade orden Viable System Model.

  1. 11. Business Model Design for Strategic Sustainable Development

    Författare :César Levy França; Göran Broman; Karl-Henrik Robèrt; Louise Trygg; Cecilia Mark-Herbert; Blekinge Tekniska Högskola; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Business Model Innovation and Design; Strategic Sustainable Development; Sustainability; Sustainable Development; Sustainable Product-Service Systems; Value Network.;

    Sammanfattning : Humanity confronts an existential threat without historic precedent. Environmental pressures have reached such intensity and pace of change that the earth system may be irreversibly tipped into a new and unpredictable state. The emerging global reality is, in turn, redefining overall conditions for business success. LÄS MER

  3. 12. Intelligence-Driven Software Performance Assurance

    Författare :Mahshid Helali Moghadam; Markus Bohlin; Mehrdad Saadatmand; Markus Borg; Björn Lisper; Antonia Bertolino; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Software performance assurance is of great importance for the success of software products, which are nowadays involved in many parts of our life. Performance evaluation approaches such as performance modeling, testing, as well as runtime performance control methods, all can contribute to the realization of software performance assurance. LÄS MER

  4. 13. Automatic test generation for industrial control software

    Författare :Eduard Enoiu; Daniel Sundmark; Mats Heimdahl; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automatic test generation; software testing; automated test generation; Computer Science; datavetenskap;

    Sammanfattning : Since the early days of software testing, automatic test generation has been suggested as a way of allowing tests to be created at a lower cost. However, industrially useful and applicable tools for automatic test generation are still scarce. LÄS MER

  5. 14. Residential solar photovoltaics deployment: barriers and drivers in space

    Författare :Alvar Palm; Internationella miljöinstitutet; []
    Nyckelord :Solar photovoltaics PV ; renewable energy; sustainability transitions; technology deployment; diffusion of innovations; barriers; drivers; space; technological innovation system TIS ; technology adoption; business model; peer effects;

    Sammanfattning : In order to support a sustainability transition in the energy sector, actors need knowledge about barriers and drivers to the deployment of clean energy technologies. Solar photovoltaics (PV) is a renewable energy technology that is technically mature and on the verge of becoming economically competitive in numerous regions around the world. LÄS MER

  7. 15. Formal Verification of Tree Ensembles in Safety-Critical Applications

    Författare :John Törnblom; Simin Nadjm-Tehrani; Ingemar Söderquist; Joao Marques-Silva; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Machine learning; Tree ensembles;

    Sammanfattning : In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of learning complicated pattern recognition tasks and sophisticated decision policies, two key capabilities in autonomous cyber-physical systems. LÄS MER