@misc{Feinberg2010, author = {Feinberg, Anat}, title = {Yigal Schwartz: Maamin beli Kenessija : 4 Massot al Aharon Appelfeld [Ein Gl{\"a}ubiger ohne Kirche : vier Essays {\"u}ber Aharon Appelfeld] / [rezensiert von] Anat Feinberg}, number = {16}, issn = {1614-6492}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-43759}, pages = {238 -- 240}, year = {2010}, abstract = {rezensiertes Werk: Schwartz, Yigal: Maamin beli Kenessija : 4 Massot al Aharon Appelfeld. - Tel Aviv : Dvir, 2009.- 181 S.}, language = {en} } @misc{Groezinger2010, author = {Gr{\"o}zinger, Elvira}, title = {Yechiel Shraibman: Sieben Jahre und sieben Monate : meine Bukarester Jahre ; Roman / [rezensiert von] Elvira Gr{\"o}zinger}, series = {PaRDeS : Zeitschrift der Vereinigung f{\"u}r J{\"u}dische Studien e.V.}, journal = {PaRDeS : Zeitschrift der Vereinigung f{\"u}r J{\"u}dische Studien e.V.}, number = {16}, issn = {1614-6492}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-43733}, pages = {231 -- 235}, year = {2010}, abstract = {rezensiertes Werk: Shraibman, Yechiel: Sieben Jahre und sieben Monate : meine Bukarester Jahre ; Roman. - Berlin : be.bra, 2009. - 272 S. ISBN 978-3-937233-56-7}, language = {en} } @inproceedings{GebserHinrichsSchaubetal.2010, author = {Gebser, Martin and Hinrichs, Henrik and Schaub, Torsten H. and Thiele, Sven}, title = {xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41466}, year = {2010}, abstract = {We introduce a simple approach extending the input language of Answer Set Programming (ASP) systems by multi-valued propositions. Our approach is implemented as a (prototypical) preprocessor translating logic programs with multi-valued propositions into logic programs with Boolean propositions only. Our translation is modular and heavily benefits from the expressive input language of ASP. The resulting approach, along with its implementation, allows for solving interesting constraint satisfaction problems in ASP, showing a good performance.}, language = {en} } @article{Knufinke2010, author = {Knufinke, Ulrich}, title = {Wilhelm Zeev Haller (1884-1956)}, series = {PaRDeS : Zeitschrift der Vereinigung f{\"u}r J{\"u}dische Studien e.V.}, journal = {PaRDeS : Zeitschrift der Vereinigung f{\"u}r J{\"u}dische Studien e.V.}, number = {16}, issn = {1614-6492}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-43552}, pages = {177 -- 182}, year = {2010}, language = {en} } @inproceedings{Zhou2010, author = {Zhou, Neng-Fa}, title = {What I have learned from all these solver competitions}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41431}, year = {2010}, abstract = {In this talk, I would like to share my experiences gained from participating in four CSP solver competitions and the second ASP solver competition. In particular, I'll talk about how various programming techniques can make huge differences in solving some of the benchmark problems used in the competitions. These techniques include global constraints, table constraints, and problem-specific propagators and labeling strategies for selecting variables and values. I'll present these techniques with experimental results from B-Prolog and other CLP(FD) systems.}, language = {en} } @inproceedings{HannousseArdourelDouence2010, author = {Hannousse, Abdelhakim and Ardourel, Gilles and Douence, R{\´e}mi}, title = {Views for aspectualizing component models}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41359}, year = {2010}, abstract = {Component based software development (CBSD) and aspectoriented software development (AOSD) are two complementary approaches. However, existing proposals for integrating aspects into component models are direct transposition of object-oriented AOSD techniques to components. In this article, we propose a new approach based on views. Our proposal introduces crosscutting components quite naturally and can be integrated into different component models.}, language = {en} } @inproceedings{AbdennadherIsmailKhoury2010, author = {Abdennadher, Slim and Ismail, Haythem and Khoury, Frederick}, title = {Transforming imperative algorithms to constraint handling rules}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41533}, year = {2010}, abstract = {Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the proposal of a methodology to map imperative programs into equivalent CHR. The equivalence of both programs implies that if a property is satisfied for one, then it is satisfied for the other. The mapping methodology could be put to other beneficial uses. One such use is the automatic generation of global constraints, at an attempt to demonstrate the benefits of having a rule-based implementation for constraint solvers.}, language = {en} } @inproceedings{BynensVanLanduytTruyenetal.2010, author = {Bynens, Maarten and Van Landuyt, Dimitri and Truyen, Eddy and Joosen, Wouter}, title = {Towards reusable aspects: the callback mismatch problem}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41347}, year = {2010}, abstract = {Because software development is increasingly expensive and timeconsuming, software reuse gains importance. Aspect-oriented software development modularizes crosscutting concerns which enables their systematic reuse. Literature provides a number of AOP patterns and best practices for developing reusable aspects based on compelling examples for concerns like tracing, transactions and persistence. However, such best practices are lacking for systematically reusing invasive aspects. In this paper, we present the 'callback mismatch problem'. This problem arises in the context of abstraction mismatch, in which the aspect is required to issue a callback to the base application. As a consequence, the composition of invasive aspects is cumbersome to implement, difficult to maintain and impossible to reuse. We motivate this problem in a real-world example, show that it persists in the current state-of-the-art, and outline the need for advanced aspectual composition mechanisms to deal with this.}, language = {en} } @article{Nohr2010, author = {Nohr, Rolf F.}, title = {The naturalization of knowledge}, series = {DIGAREC series}, journal = {DIGAREC series}, number = {4}, issn = {1867-6227}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-42746}, pages = {130 -- 145}, year = {2010}, abstract = {Reflecting on how and with what kind of consequences something artificial, something manufactured becomes naturalized in video games will be the central issue of this text. It deals with the question of how the video game hides its artificiality in terms of technique. In a certain sense this retrieves one of the fundamental questions of modernity and industrialization: How does the manufacturing of our environment become a naturalized, self-evident and indubitable process?}, language = {en} } @article{CermakSassenrath2010, author = {Cermak-Sassenrath, Daniel}, title = {The logic of play in everyday human-computer interaction}, series = {DIGAREC series}, journal = {DIGAREC series}, number = {4}, issn = {1867-6227}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-42720}, pages = {80 -- 108}, year = {2010}, abstract = {Communication, simulation, interactive narrative and ubiquitous computing are widely accepted as perspectives in humancomputer interaction. This paper proposes play as another possible perspective. Everyday uses of the computer increasingly show signs of similarity to play. This is not discussed with regard to the so-called media society, the playful society, the growing cultural acceptance of the computer, the spread of computer games or a new version of Windows, but in view of the playful character of interaction with the computer that has always been part of it. The exploratory learning process involved with new software and the creative tasks that are often undertaken when using the computer may support this argument. Together with its high level of interactivity, these observations point to a sense of security, autonomy and freedom of the user that produce play and are, in turn, produced by play. This notion of play refers not to the playing of computer games, but to an implicit, abstract (or symbolic) process based on a certain attitude, the play spirit. This attitude is discussed regarding everyday computer use and related to the other mentioned perspectives.}, language = {en} }