Refine
Year of publication
- 2016 (17) (remove)
Document Type
- Monograph/Edited Volume (17) (remove)
Language
- English (17) (remove)
Is part of the Bibliography
- yes (17) (remove)
Keywords
- virtual machines (2)
- virtuelle Maschinen (2)
- Armut (1)
- Authentizität (1)
- Cloud-Sicherheit (1)
- Cloud-Speicher (1)
- Discrimination Networks (1)
- FRP (1)
- Forschungskolleg (1)
- Functional Lenses (1)
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (7)
- Department Erziehungswissenschaft (2)
- Department Linguistik (2)
- Bürgerliches Recht (1)
- Institut für Mathematik (1)
- Institut für Romanistik (1)
- Institut für Umweltwissenschaften und Geographie (1)
- Wirtschafts- und Sozialwissenschaftliche Fakultät (1)
- Wirtschaftswissenschaften (1)
Writing-between-worlds
(2016)
Transmorphic
(2016)
Defining Graphical User Interfaces (GUIs) through functional abstractions can reduce the complexity that arises from mutable abstractions. Recent examples, such as Facebook's React GUI framework have shown, how modelling the view as a functional projection from the application state to a visual representation can reduce the number of interacting objects and thus help to improve the reliabiliy of the system. This however comes at the price of a more rigid, functional framework where programmers are forced to express visual entities with functional abstractions, detached from the way one intuitively thinks about the physical world.
In contrast to that, the GUI Framework Morphic allows interactions in the graphical domain, such as grabbing, dragging or resizing of elements to evolve an application at runtime, providing liveness and directness in the development workflow. Modelling each visual entity through mutable abstractions however makes it difficult to ensure correctness when GUIs start to grow more complex. Furthermore, by evolving morphs at runtime through direct manipulation we diverge more and more from the symbolic description that corresponds to the morph. Given that both of these approaches have their merits and problems, is there a way to combine them in a meaningful way that preserves their respective benefits?
As a solution for this problem, we propose to lift Morphic's concept of direct manipulation from the mutation of state to the transformation of source code. In particular, we will explore the design, implementation and integration of a bidirectional mapping between the graphical representation and a functional and declarative symbolic description of a graphical user interface within a self hosted development environment. We will present Transmorphic, a functional take on the Morphic GUI Framework, where the visual and structural properties of morphs are defined in a purely functional, declarative fashion. In Transmorphic, the developer is able to assemble different morphs at runtime through direct manipulation which is automatically translated into changes in the code of the application. In this way, the comprehensiveness and predictability of direct manipulation can be used in the context of a purely functional GUI, while the effects of the manipulation are reflected in a medium that is always in reach for the programmer and can even be used to incorporate the source transformations into the source files of the application.
When realizing a programming language as VM, implementing behavior as part of the VM, as primitive, usually results in reduced execution times. But supporting and developing primitive functions requires more effort than maintaining and using code in the hosted language since debugging is harder, and the turn-around times for VM parts are higher. Furthermore, source artifacts of primitive functions are seldom reused in new implementations of the same language. And if they are reused, the existing API usually is emulated, reducing the performance gains. Because of recent results in tracing dynamic compilation, the trade-off between performance and ease of implementation, reuse, and changeability might now be decided adversely.
In this work, we investigate the trade-offs when creating primitives, and in particular how large a difference remains between primitive and hosted function run times in VMs with tracing just-in-time compiler. To that end, we implemented the algorithmic primitive BitBlt three times for RSqueak/VM. RSqueak/VM is a Smalltalk VM utilizing the PyPy RPython toolchain. We compare primitive implementations in C, RPython, and Smalltalk, showing that due to the tracing just-in-time compiler, the performance gap has lessened by one magnitude to one magnitude.
Touring Katutura!
(2016)
Guided sightseeing tours of the former township of Katutura have been offered in Windhoek since the mid-1990s. City tourism in the Namibian capital had thus become, at quite an early point in time, part of the trend towards utilising poor urban areas for purposes of tourism – a trend that set in at the beginning of the same decade. Frequently referred to as “slum tourism” or “poverty tourism”, the phenomenon of guided tours around places of poverty has not only been causing some media sensation and much public outrage since its emergence; in the past few years, it has developed into a vital field of scientific research, too. “Global Slumming” provides the grounds for a rethinking of the relationship between poverty and tourism in world society.
This book is the outcome of a study project of the Institute of Geography at the School of Cultural Studies and Social Science of the University of Osnabrueck, Germany. It represents the first empirical case study on township tourism in Namibia. It focuses on four aspects:
1. Emergence, development and (market) structure of township tourism in Windhoek
2. Expectations/imaginations, representations as well as perceptions of the township and its inhabitants from the tourist’s perspective
3. Perception and assessment of township tourism from the residents’ perspective
4. Local economic effects and the poverty-alleviating impact of township tourism
The aim is to make an empirical contribution to the discussion around the tourism-poverty nexus and to an understanding of the global phenomenon of urban poverty tourism.
Since spring 2014 the relations between the EU and Russia are stuck in an Ice Age. From a Western point of view, especially the annexation of Crimea by Russia and the intervention in the conflict in Ukraine are responsible. The EU has frozen their relations to Russia and applied sanctions against it. Russia reacted in the same way. Can this vicious circle be broken without betraying the values of the EU? This book presents the analysis and ideas of social scientists from Germany, Poland and Russia. The reasons for this crisis are seen quite differently but all try to find a way out of the current confrontation.
The law of treaties; or, should this book exist? / Vaughan LoweThe law of treaties through the interplay of its different sources / Enzo Cannizzaro -- Regulating treaties: a comparative perspective / Martins Paparinskis -- Theorizing treaties: the consequences of the contractual analogy / Akbar Rasulov -- The effects of treaties in domestic law / André Nollkaemper -- The temporal dimension: non-retroactivity and its discontents / Markus Kotzur -- The spatial dimension: treaties and territory / Marko Milanovic -- The personal dimension: challenges to the pacta tertiis rule / Alexander Proelss -- Formalism versus flexibility in the law of treaties / Jean d'Aspremont -- Integrity versus flexibility in the application of treaties / Katherine del Mar -- Pacta sunt servanda versus flexibility in the suspension and termination of treaties / Sotirios-Ioannis Lekkas and Antonios Tzanakopoulos -- Uniformity versus specialisation (1): the quest for a uniform law of inter-state treaties / Malgosia Fitzmaurice and Panos Merkouris -- Uniformity versus specialisation (2): a uniform regime of treaty interpretation? / Michael Waibel -- Regime-collisions: tensions between treaties (and how to solve them) / Jasper Finke -- Responding to deliberately-created treaty conflicts / Surabhi Ranganathan -- Treaty breaches and responses / Christian J Tams -- Succession to treaties and the inherent limits of international law / Andreas Zimmermann and James G. Devaney -- Treaties and armed conflict / Yael Ronen -- Treaties and international organisations: uneasy analogies / Philippa Webb -- Treaty law and multinational enterprises: more than internationalized contracts? / Markos Karavias -- Treaties and individuals: of beneficiaries, duty-bearers, users, and participants / Ilias Plakokefalos
Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic “Operating the Cloud”. Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Hence, HPI’s Future SOC Lab is the adequate environment to host this event which is also supported by BITKOM.
On the occasion of this workshop we called for submissions of research papers and practitioner’s reports. ”Operating the Cloud” aims to be a platform for productive discussions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration.
In this workshop proceedings the results of the third HPI cloud symposium ”Operating the Cloud” 2015 are published. We thank the authors for exciting presentations and insights into their current work and research. Moreover, we look forward to more interesting submissions for the upcoming symposium in 2016.
TripleA is a workshop series founded by linguists from the University of Tübingen and the University of Potsdam. Its aim is to provide a forum for semanticists doing fieldwork on understudied languages, and its focus is on languages from Africa, Asia, Australia and Oceania. The second TripleA workshop was held at the University of Potsdam, June 3-5, 2015.
Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application.
Commonly used technologies, such as J2EE and .NET, form de facto standards for the realization of complex distributed systems. Evolution of component systems has lead to web services and service-based architectures. This has been manifested in a multitude of industry standards and initiatives such as XML, WSDL UDDI, SOAP, etc. All these achievements lead to a new and promising paradigm in IT systems engineering which proposes to design complex software solutions as collaboration of contractually defined software services.
Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns.
The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the research school, this technical report covers a wide range of topics. These include but are not limited to: Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; and Services Specification, Composition, and Enactment.
Graph queries have lately gained increased interest due to application areas such as social networks, biological networks, or model queries. For the relational database case the relational algebra and generalized discrimination networks have been studied to find appropriate decompositions into subqueries and ordering of these subqueries for query evaluation or incremental updates of query results. For graph database queries however there is no formal underpinning yet that allows us to find such suitable operationalizations. Consequently, we suggest a simple operational concept for the decomposition of arbitrary complex queries into simpler subqueries and the ordering of these subqueries in form of generalized discrimination networks for graph queries inspired by the relational case. The approach employs graph transformation rules for the nodes of the network and thus we can employ the underlying theory. We further show that the proposed generalized discrimination networks have the same expressive power as nested graph conditions.