@inproceedings{8433, author = {{Salger, Frank and Engels, Gregor and Hofmann, Alexander}}, booktitle = {{Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009)}}, pages = {{15--21}}, title = {{{Inspection Effectiveness for Different Quality Attributes of Software Requirement Specifications - An Industrial Case Study}}}, year = {{2009}}, } @inproceedings{8434, abstract = {{The software specification acts as a bridge between customers, architects, software developers and testers. If information gets lost or distorted when building this bridge, the wrong system will be built or the system will not be built in time and budget–or both! Standards and recommendations give advice on how to structure specifications or check software-engineering artefacts with reviews or inspections. But these constructive and analytical approaches are not well integrated with each other. Moreover, they are often too generic to efficiently support the specification of particular system types. In this paper, we present the integrated “specification framework” of Capgemini sd&m. It consists of our specification method for business information systems (BIS) and its concerted analytical counterpart, the “specification quality gate”. Since this framework is tailored to the specification of large BIS, it allows a quick ramp-up phase for software engineering projects without the need for extensive tailoring or extension.}}, author = {{Salger, Frank and Sauer, Stefan and Engels, Gregor}}, booktitle = {{Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands)}}, pages = {{25--30}}, publisher = {{CEUR}}, title = {{{An Integrated Quality Assurance Framework for Specifying Business Information Systems}}}, volume = {{453}}, year = {{2009}}, } @inproceedings{8435, abstract = {{Visual Process Pattern (VPP) is a visual language to describe constraints on the behavior of UML Activities. They have been developed for the sake of formulating and verifying requirements on business process models (with Activities being one possible description language). In the VPP approach, a visual pattern is translated into an LTL formula, which can then be verified against a transition system describing the behavior of the Activity under consideration. In this paper, we aim at generalizing VPP. We show how to formulate patterns more generally, using either concrete or abstract syntax of the behavioral model under consideration. Additionally, we describe how these more general patterns can be verified against a model’s behavior.}}, author = {{Soltenborn, Christian and Engels, Gregor}}, booktitle = {{Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)}}, publisher = {{European Association of Software Science and Technology}}, title = {{{Towards Generalizing Visual Process Pattern}}}, volume = {{25}}, year = {{2009}}, } @inproceedings{8436, author = {{von der Maßen, Thomas and Wübbeke, Andreas}}, booktitle = {{Proceedings of Produktlinien im Kontext (PIK09)}}, pages = {{15--23}}, title = {{{Lösungsorientierte Software Produktlinienentwicklung in heterogenen Systemlandschaften}}}, year = {{2009}}, } @inbook{9616, author = {{Kakvi, Saqib}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783642040511}}, issn = {{0302-9743}}, title = {{{Reinforcement Learning for Blackjack}}}, doi = {{10.1007/978-3-642-04052-8_43}}, year = {{2009}}, } @article{16429, author = {{Kutyłowski, Jarosław and Meyer auf der Heide, Friedhelm}}, issn = {{0304-3975}}, journal = {{Theoretical Computer Science}}, pages = {{3391--3405}}, title = {{{Optimal strategies for maintaining a chain of relays between an explorer and a base camp}}}, doi = {{10.1016/j.tcs.2008.04.010}}, year = {{2009}}, } @inproceedings{16430, author = {{Mehler, Jan and Meyer auf der Heide, Friedhelm}}, booktitle = {{Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures - SPAA '09}}, isbn = {{9781605586069}}, title = {{{Power-aware online file allocation in mobile ad hoc networks}}}, doi = {{10.1145/1583991.1584072}}, year = {{2009}}, } @proceedings{16431, editor = {{Meyer auf der Heide, Friedhelm and Bender, Michael A.}}, isbn = {{9781605586069}}, title = {{{Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures - SPAA '09}}}, doi = {{10.1145/1583991}}, year = {{2009}}, } @inproceedings{16637, author = {{Domik, Gitta}}, booktitle = {{ACM SIGGRAPH ASIA 2009 Educators Program}}, isbn = {{9781450379335}}, location = {{Asia}}, publisher = {{Association for Computing Machinery}}, title = {{{Who is on my Team: Building strong Teams in Interdisciplinary Visualization Courses }}}, doi = {{10.1145/1666611.1666620}}, volume = {{1}}, year = {{2009}}, } @inproceedings{10639, author = {{Boschmann, Alexander and Kaufmann, Paul and Platzner, Marco and Winkler, Michael}}, booktitle = {{Proc. Technically Assisted Rehabilitation (TAR)}}, title = {{{Towards multi-movement hand prostheses: Combining adaptive classification with high precision sockets}}}, year = {{2009}}, } @misc{10702, author = {{Kostin, Alexander}}, publisher = {{Paderborn University}}, title = {{{Evolvable Robot Controller}}}, year = {{2009}}, } @article{10703, author = {{Lübbers, Enno and Platzner, Marco}}, issn = {{1539-9087}}, journal = {{ACM Transactions on Embedded Computing Systems}}, keywords = {{Reconfigurable computing, multithreading, operating systems}}, number = {{1}}, pages = {{8:1--8:33}}, title = {{{ReconOS: Multithreaded Programming for Reconfigurable Computers}}}, doi = {{10.1145/1596532.1596540}}, volume = {{9}}, year = {{2009}}, } @misc{10746, author = {{Tofall, Martin}}, publisher = {{Paderborn University}}, title = {{{Compiler for a Custom Instruction Set CPU}}}, year = {{2009}}, } @misc{10749, author = {{Warkentin, Alexander}}, publisher = {{Paderborn University}}, title = {{{Coarse-grained CGP Model using Xilinx Virtex5 DSP48E Functional Units}}}, year = {{2009}}, } @misc{10753, author = {{Wildenhain, Benedikt}}, publisher = {{Paderborn University}}, title = {{{Implementierung von Kryptographie-Hardwarebeschleunigern für das HW/SW-Betriebssystem ReconOS}}}, year = {{2009}}, } @inproceedings{10777, author = {{Ghasemzadeh Mohammadi, Hassan and Miremadi, Seyed Ghassem and Ejlali, Alireza}}, booktitle = {{Dependable Computing (PRDC), 2009 IEEE Pacific Rim International Symposium on}}, pages = {{252--255}}, publisher = {{IEEE}}, title = {{{Signature Self Checking (SSC): A Low-Cost Reliable Control Logic for Pipelined Microprocessors}}}, doi = {{10.1109/PRDC.2009.69}}, year = {{2009}}, } @article{12060, author = {{Sommer, Christoph and Dietrich, Isabel and Dressler, Falko}}, issn = {{1383-469X}}, journal = {{Mobile Networks and Applications}}, pages = {{786--801}}, title = {{{Simulation of Ad Hoc Routing Protocols using OMNeT++}}}, doi = {{10.1007/s11036-009-0174-5}}, year = {{2009}}, } @article{15680, author = {{Börstler, Jürgen and S. Hall, Mark and Nordström, Marie and H. Paterson, James and Sanders, Kate and Schulte, Carsten and Thomas, Lynda}}, journal = {{SIGCSE Bulletin}}, number = {{4}}, pages = {{126--143}}, title = {{{An evaluation of object oriented example programs in introductory programming textbooks}}}, volume = {{41}}, year = {{2009}}, } @inproceedings{15681, author = {{Schulte, Carsten and Tolksdorf, Robert}}, booktitle = {{DeLFI Workshops}}, pages = {{219--225}}, publisher = {{Logos Verlag}}, title = {{{Qualitätssicherung in einer interaktiven und lerneraktivierenden E-Learning-Umgebung}}}, year = {{2009}}, } @inproceedings{15682, author = {{Ehlert, Albrecht and Schulte, Carsten}}, booktitle = {{ICER}}, pages = {{15--26}}, publisher = {{ACM}}, title = {{{Empirical comparison of objects-first and objects-later}}}, year = {{2009}}, }