Last 7 days
Bookmark and Share    
See detailVon Pong zur Panik? Videospiele als gesellschaftlich relevantes Forschungsthema
Melzer, André UL

in Amann, Wilhelm; Sieburg, Heinz (Eds.) Spiel-Räume. Das "Spiel" in Diskursen der Kultur und Wissenschaften (in press)

Detailed reference viewed: 11 (0 UL)
Full Text
Peer Reviewed
See detailFeasibility Analysis of Blockchain for Donation-based Crowdfunding of Ethical Projects
Khan, Nida UL; Ouaich, Rachid

in AUEIRC Proceeedings (in press)

Donation is a necessary social tool that is plagued by many inherent shortcomings. A novel model in the form of a decentralized app was designed in the Ethereum blockchain to solve the challenges present ... [more ▼]

Donation is a necessary social tool that is plagued by many inherent shortcomings. A novel model in the form of a decentralized app was designed in the Ethereum blockchain to solve the challenges present and optimize the process of Zakaah donation. Load and stress tests on the prototype of the smart contract in the public testnet of Ethereum were analyzed to gauge the feasibility of mass usage. Similar tests were done in Hyperledger to conclude on the optimum blockchain platform for Zakaah. An anomaly was detected during the testing phase of the decentralized app in the public testnet of Ethereum and it was exploited to propose a novel strategy to enhance the throughput of Ethereum. The testing is a pioneer in evaluating the throughput and feasibility of a blockchain based financial product and provides a benchmark to validate the business and technical hypotheses of other similar financial products and services. [less ▲]

Detailed reference viewed: 200 (15 UL)
See detailAlchemie und Magie als poetologische Verfahren in der Literatur um 1800. Prolegomena zu einem literatur- und wissensgeschichtlichen Spannungsfeld.
Küpper, Achim UL

in Ulbrechtová, Helena; Grub, Frank Thomas; Platen, Edgar (Eds.) et al Literatur und menschliches Wissen. Analysen zu einer grenzüberschreitenden Beziehung. (in press)

Detailed reference viewed: 8 (0 UL)
See detailFörderung von Deutsch als Fremd- und Amtssprache in den Benelux-Staaten
Leuschner, Torsten; Radke, Henning; Küpper, Achim UL

in Ammon, Ulrich (Ed.) Förderung von Deutsch weltweit. (in press)

Detailed reference viewed: 11 (0 UL)
See detailSchrift und Bild im Horizont des Liquiden. Christoph Ransmayrs und Willy Puchners strahlende Untergänge in Wasser und Wüste.
Küpper, Achim UL

in Brittnacher, Hans Richard; Küpper, Achim (Eds.) Seenöte, Schiffbrüche, feindliche Wasserwelten. Maritime Schreibweisen der Gefährdung und des Untergangs. (in press)

Detailed reference viewed: 8 (0 UL)
See detailDie Wüstenzone zwischen Klimadiagnostik, Anti-Anthropozentrismus und Autoreferenzialität. Bild- und Zeitordnungen der Wüste in Raoul Schrotts Die fünfte Welt.
Küpper, Achim UL

in Dürbeck, Gabriele; Kanz, Christine; Zschachlitz, Ralf (Eds.) Ökologischer Wandel in der deutschen Literatur des 20. und 21. Jahrhunderts – neue Perspektiven und Ansätze. (in press)

Detailed reference viewed: 7 (0 UL)
See detailÖkologie und Poetologie der Versandung: Raoul Schrotts Novelle Die Wüste Lop Nor als literarische Wüstenfiguration der Gegenwart.
Küpper, Achim UL

in Dürbeck, Gabriele; Zschachlitz, Ralf (Eds.) Ökologie und Umweltwandel in der deutschsprachigen Gegenwartsliteratur. (in press)

Detailed reference viewed: 9 (0 UL)
Full Text
Peer Reviewed
See detailThe competence to conclude the new generation of free trade agreements: lessons from Opinion 2/15
Neframi, Eleftheria UL

in Chaisse, Julien (Ed.) China-European Union Investment Relationships (in press)

Opinion 2/15 addresses the question of the external competence of the EU to conclude a free trade agreement with Singapore (EUSFTA). The nature of the EU’s competence determines the conclusion of an EU ... [more ▼]

Opinion 2/15 addresses the question of the external competence of the EU to conclude a free trade agreement with Singapore (EUSFTA). The nature of the EU’s competence determines the conclusion of an EU-only agreement, or a mixed agreement, jointly by the Union and its Member States. The Court of Justice of the European Union held that the EU competence to conclude the EUSFTA is not exclusive, as long as provisions concerning non-direct investments and dispute settlement fall under the shared competence of the Union and its Member States. The Court of Justice made valuable contributions to the interpretation of the scope of the Union’s competence in the field of common commercial policy, comprising sustainable development provisions, as well as to the interpretation of implied external competences, and clarified the status of non-substantive provisions. However, uncertainty remains as far as the meaning and the impact of a shared competence are concerned. [less ▲]

Detailed reference viewed: 27 (3 UL)
See detailEinleitung. Seenöte, Schiffbrüche, feindliche Wasserwelten: Ein Diskurs der fließenden Grenzen.
Brittnacher, Hans Richard; Küpper, Achim UL

in Brittnacher, Hans Richard; Küpper, Achim (Eds.) Seenöte, Schiffbrüche, feindliche Wasserwelten. Maritime Schreibweisen der Gefährdung und des Untergangs. (in press)

Detailed reference viewed: 6 (0 UL)
See detailÖkologie, Umwelt.
Küpper, Achim UL

in Vogl, Joseph; Wolf, Burkhardt (Eds.) Handbuch Literatur und Ökonomie. (in press)

Detailed reference viewed: 8 (0 UL)
Full Text
Peer Reviewed
See detailChange Impact Analysis for Evolving Configuration Decisions in Product Line Use Case Models
Hajri, Ines UL; Göknil, Arda UL; Briand, Lionel UL et al

in Journal of Systems and Software (in press)

Product Line Engineering is becoming a key practice in many software development environments where complex systems are developed for multiple customers with varying needs. In many business contexts, use ... [more ▼]

Product Line Engineering is becoming a key practice in many software development environments where complex systems are developed for multiple customers with varying needs. In many business contexts, use cases are the main artifacts for communicating requirements among stakeholders. In such contexts, Product Line (PL) use cases capture variable and common requirements while use case-driven configuration generates Product Specific (PS) use cases for each new customer in a product family. In this paper, we propose, apply, and assess a change impact analysis approach for evolving configuration decisions in PL use case models. Our approach includes: (1) automated support to identify the impact of decision changes on prior and subsequent decisions in PL use case diagrams and (2) automated incremental regeneration of PS use case models from PL use case models and evolving configuration decisions. Our tool support is integrated with IBM Doors. Our approach has been evaluated in an industrial case study, which provides evidence that it is practical and beneficial to analyze the impact of decision changes and to incrementally regenerate PS use case models in industrial settings. [less ▲]

Detailed reference viewed: 55 (32 UL)
Full Text
Peer Reviewed
See detailAutomatic Generation of Tests to Exploit XML Injection Vulnerabilities in Web Applications
Jan, Sadeeq UL; Panichella, Annibale UL; Arcuri, Andrea UL et al

in IEEE Transactions on Software Engineering (in press)

Modern enterprise systems can be composed of many web services (e.g., SOAP and RESTful). Users of such systems might not have direct access to those services, and rather interact with them through a ... [more ▼]

Modern enterprise systems can be composed of many web services (e.g., SOAP and RESTful). Users of such systems might not have direct access to those services, and rather interact with them through a single-entry point which provides a GUI (e.g., a web page or a mobile app). Although the interactions with such entry point might be secure, a hacker could trick such systems to send malicious inputs to those internal web services. A typical example is XML injection targeting SOAP communications. Previous work has shown that it is possible to automatically generate such kind of attacks using search-based techniques. In this paper, we improve upon previous results by providing more efficient techniques to generate such attacks. In particular, we investigate four different algorithms and two different fitness functions. A large empirical study, involving also two industrial systems, shows that our technique is effective at automatically generating XML injection attacks. [less ▲]

Detailed reference viewed: 92 (10 UL)
Peer Reviewed
See detailDatemi gli occhi
Cicotti, Claudio UL

in Cicotti, Claudio (Ed.) The many faces of 1918 (in press)

Detailed reference viewed: 16 (0 UL)
Full Text
Peer Reviewed
See detailAffaire Berlioz : Enseignements de la CJUE et recommandations à l’attention du législateur
Chaouche, Fatima UL; Sinnig, Julia UL

in Revue Générale de Fiscalité Luxembourgeoise (in press)

Après avoir introduit un recours préjudiciel devant la Cour de Justice de l’Union Européenne (ci-après « CJUE ») quant à la compatibilité des dispositions luxembourgeoises en matière d’échange de ... [more ▼]

Après avoir introduit un recours préjudiciel devant la Cour de Justice de l’Union Européenne (ci-après « CJUE ») quant à la compatibilité des dispositions luxembourgeoises en matière d’échange de renseignements avec le droit de l’Union, la Cour administrative a statué dans la désormais célèbre affaire Berlioz dans son arrêt du 26 octobre 2017. Sans grande surprise, la Cour administrative a invalidé la décision directoriale enjoignant Berlioz de se conformer à la demande d’échange française en raison de l’absence de contrôle de la pertinence vraisemblable des informations demandées. Il incombe désormais au législateur luxembourgeois de proposer un texte cohérent et conforme au droit supranational. [less ▲]

Detailed reference viewed: 11 (1 UL)
See detailGesellschaftskritische Orientierungen linker Aktivisten – Ergebnisse einer qualitativen Studie.
Kühnel, Wolfgang; Willems, Helmut UL

in Behrmann, Günter C.; Schürmann, Eberhard; Willems, Helmut (Eds.) Der Felsengärtner. Freundesgabe für Roland Eckert. (in press)

Detailed reference viewed: 18 (2 UL)
Full Text
Peer Reviewed
See detailSmart Bound Selection for the Verification of UML/OCL Class Diagrams
Clarisó, Robert; Gonzalez Perez, Carlos Alberto UL; Cabot, Jordi

in IEEE Transactions on Software Engineering (in press)

Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults ... [more ▼]

Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults efficiently but, on the other hand, the absence of faults does not guarantee a correct behavior outside the bounded domain. Hence, choosing suitable bounds is a non-trivial process as there is a trade-off between the verification time (faster for smaller domains) and the confidence in the result (better for larger domains). Unfortunately, bounded verification tools provide little support in the bound selection process. In this paper, we present a technique that can be used to (i) automatically infer verification bounds whenever possible, (ii) tighten a set of bounds proposed by the user and (iii) guide the user in the bound selection process. This approach may increase the usability of UML/OCL bounded verification tools and improve the efficiency of the verification process. [less ▲]

Detailed reference viewed: 27 (6 UL)
See detailDer Felsengärtner. Freundesgabe für Roland Eckert.
Behrmann, Günter C.; Schürmann, Eberhard; Willems, Helmut UL

Book published by Spurbuch Verlag (in press)

Detailed reference viewed: 24 (0 UL)