Sökning: "logik system"
Visar resultat 16 - 20 av 96 uppsatser innehållade orden logik system.
16. Anfall som bästa försvar - om det svenska straffandets drivkrafter och syften
Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakultetenSammanfattning : Under 1900-talets senare hälft kan straffrätten sägas ha bytt fot – från behandlingsideologi till nyklassicism. Behandlingsideologin betonar brottslingens behov av vård och vilar på individualpreventiv grund. Straff utmäts för att brottslingen ska behandlas till laglydighet. LÄS MER
17. Modernisering av mjukvaruarkitektur för äldre mjukvarusystem
M1-uppsats, KTH/Hälsoinformatik och logistikSammanfattning : Flera företag använder sig än idag av mjukvarusystem som är uppbyggda med äldre mjukvaruarkitektur som den monolitiska. Ett av dessa företag är Consid vars personalsystem är uppbyggt med det utdaterade ramverket klassisk ASP och där användargränssnitt samt logik kan direkt kommunicera med varandra. LÄS MER
18. Formalise Defense Strategies in Design Patterns of Threat Models
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Cyber-attacks are an increasing problem for organizations across the world. The attacks on systems are getting more and more sophisticated and thereby more and more difficult to protect against. The security of systems is crucial to protect your data from unauthorized access. LÄS MER
19. Company Intranet
Kandidat-uppsats, Högskolan i Halmstad/Akademin för informationsteknologiSammanfattning : Many companies use intranets where only authorized personnel can share, create, and access news, events, and knowledge in a company. An intranet is a web application with dynamic content. It consists of various functions and features that facilitate the information management and knowledge flow within the company. LÄS MER
20. Epistemic Logic for the Multi-Agent Knowledge-Based Subset Construction
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : We study multi-agent games on graphs, in relation to the multi-agent knowledgebased subset construction (MKBSC) – a mathematical tool for knowledgebased strategy synthesis. We consider the problem of applying a formal logic related to agent knowledge in this context. LÄS MER