Algorithmic problems in analysis of real time system specifications

I uppsatsen studeras representationen av William Shakespeares pjäs Hamlet i affischsammanhang. Ett antal Hamletaffischer från 1900-talet framtill 2008 beskrivs, tolkas och analyseras. Fokus ligger främst på det aktuella anslaget från 2008 års produktion på Dramaten i Stockholm. Bakgrunden innehåller kortare teoriavsnitt om klassisk och visuell retorik, bildstruktur, semiotik samt affischens historia och roll i dag. En kortare beskrivning av pjäsens handling ger en naturlig ingång till den kortare presentationen av samtliga affischer som följer. I analysen studeras Hamlet från 2008 i en djupare dimension, där en analysmodell av Roland Barthes tillämpas på ett detaljerat plan. Därefter följer en jämförande analys med tidigare affischer, vilket avslutningsvis följs av en sammanfattande diskussion kring tidigare affischer och hur dess framtida representation kan tänkas ta form.

SPARQL Aggregate Queries made easy with Diagrammatic Query Language ViziQuer

Abstract. We present a novel way to draw SPARQL aggregate queries via diagrammatic query language -ViziQuer. Since the introduction of SPARQL different graphical languages have been proposed to make SPARQL more userfriendly. In SPARQL 1.1 aggregate queries were introduced that are key to meaningful query formulation. However, diagrammatic query languages lacked this important end-user feature to make the diagrammatic SPARQL extensions powerful enough. Keywords The demonstration will show creation of aggregate SPARQL queries in the ViziQuer notation that is the main novelty of this paper. An extended outline of the design of the visual aggregate queries appears a

This document in subdirectoryRS/97/11/ Timed Modal Specification — Theory and Tools ∗

Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRIC

UML Style Graphical Notation

Samhället, kunder, intresseorganisationer och andra intressenter efterfrågar i allt större utsträckning att företag tar ett absolut ansvar för samhället och dess funktioner. Det finns dock ekonomer som anser att företagen i praktiken bara har som ansvar att maximera vinst till sina ägare. Detta är något som kan motsäga tesen om ett övergripande samhälleligt företagsansvar, CSR. Vad som är och inte är ett ansvarstagande är något som ständigt förändras och utvecklas varför det nödvändigtvis inte behöver innebära att företaget avstår från vinst. Syftet med denna rapport är att analysera hur företag rationaliserar sitt CSR-arbete och om detta görs uti ekonomiska premisser. Tillvägagångssättet grundar sig i fallstudier på två företag för att bredda det empiriska materialet för att sedan kunna jämföras med en teoretisk bas i områdena CSR, ekonomi och rationalitet. Den primära iakttagelsen är att allt CSR-arbete är rationellt på ett eller annat vis, men i de allra flesta typfall som analyserats går det att se det ekonomiskt rationella i agerandet. Två problem identifieras som kan leda till ineffektivitet för företagen och samhället. Problemen är att företag på grund av begränsade resurser kan hålla sig till att vara ansvarsfulla på ett uppenbart lönsamt sätt vilket betyder att mindre lönsamma eller finansiellt neutrala beslut riskeras att inte tas. Detta kan innebära att samtliga intressenter och företaget går miste om potentiellt stora positiva effekter. Det här problemet grundar sig i svårigheten i att kalkylera området CSR, då det inte är en produkt med klassiska betingelser som kostnad, marginal och vinst. Ytterligare en viktig slutsats är att ett gott CSR-arbete och förutsättningen för ett hållbart samhälle bör grunda sig i en efterfrågan från konsumenter.CSR (Corporate Social Responsibility) and the discussion thereof is often linked to the notion that a company has an absolute responsibility towards society as a whole. There is however researchers that argue for the notion that a companys’ only responsibility is to increase its profits, something that could be seen as a contradiction to the claim above. CSR is an area under constant development and change and thus CSR does not necessarily exclude maximization of profit. The purpose of this report is to analyze how companies rationalize their corporate citizenship and if this is done in an economical way. The approach is based on case studies in two companies in an effort to widen the empirical material. This is then compared to a foundation of theory in the areas: CSR, economy and rationality. The primary observation is that all CSR related work is indeed rational in one way or another, and in most cases it is also possibly financially rational. Two general problems is identified which can lead to corporate and social inefficiency. The problem is that a company with its limited resources may only be responsible in a way that is obviously profitable, while discarding less profitable or financially neutral decisions. This can, perhaps, lead to the company and its stakeholders losing out on enormous potential. The problem is more or less caused by the difficulty to make calculations of profit in the area due to the fact that CSR is not a product with attributes such as cost, margin and profit. Another key observation is that the base for a companies’ citizenship and the condition for a sustainable society should come from consumer demand